* test for floating point precision conversion

git-svn-id: trunk@5756 -

.gitattributes

@@ -6243,6 +6243,7 @@ tests/tbs/tb0515.pp svneol=native#text/plain
 tests/tbs/tb0516.pp svneol=native#text/plain
 tests/tbs/tb0517.pp svneol=native#text/plain
 tests/tbs/tb0518.pp svneol=native#text/plain
+tests/tbs/tb0519.pp svneol=native#text/plain
 tests/tbs/ub0060.pp svneol=native#text/plain
 tests/tbs/ub0069.pp svneol=native#text/plain
 tests/tbs/ub0119.pp svneol=native#text/plain

tests/tbs/tb0519.pp

@@ -0,0 +1,8 @@
+var
+  e: extended;
+begin
+  e := pi;
+  if (sizeof(single) < sizeof(extended)) and
+     (single(e) = e) then
+    halt(1);
+end.