* use more precise vs_* information to replace less parameters of inlined

    procedures with const and value parameters with temps, allowing a bit
    more value propagation
  + tinline6.pp for testing wrong propagation of value parameters in
    dangerous situations


git-svn-id: http://svn.freepascal.org/svn/fpc/trunk@1914 3ad0048d-3df7-0310-abae-a5850022a9f2

1 files changed, 43 insertions, 0 deletions

diff --git a/tests/test/tinline6.pp b/tests/test/tinline6.pp
new file mode 100644
index 0000000000..acbfc39bfa
--- /dev/null
+++ b/tests/test/tinline6.pp
@@ -0,0 +1,43 @@
+{$inline on}
+{$mode objfpc}
+
+type
+  tc = class
+    lf: longint;
+    procedure t(l: longint); inline;
+  end;
+
+var
+  a: longint;
+
+procedure tc.t(l: longint); inline;
+begin
+  lf := 10;
+  if (l <> 5) then
+    begin
+      writeln('error class');
+      halt(1);
+    end;
+end;
+
+
+procedure t(l: longint); inline;
+begin
+  a := 10;
+  if (l <> 5) then
+    begin
+      writeln('error proc');
+      halt(1);
+    end;
+end;
+
+var
+  c: tc;
+
+begin
+  c := tc.create;
+  c.lf := 5;
+  c.t(c.lf);
+  a := 5;
+  t(a);
+end.