瀏覽代碼

* register as known v1.0 problems

pierre 22 年之前
父節點
當前提交
ecae861d6a
共有 2 個文件被更改,包括 24 次插入0 次删除
  1. 2 0
      tests/tbs/tb0447.pp
  2. 22 0
      tests/tbs/tb0447a.pp

+ 2 - 0
tests/tbs/tb0447.pp

@@ -1,3 +1,5 @@
+{ %KNOWNRUNERROR=201 v1.0 computes cardinal > longint as cardinal values }
+
 {$R+}
 var
   a : cardinal;

+ 22 - 0
tests/tbs/tb0447a.pp

@@ -0,0 +1,22 @@
+{ %KNOWNRUNERROR=2 v10 computes cardinal > longint as cardinals }
+{$R-}
+var
+  a : cardinal;
+  b : longint;
+begin
+  a := 0;
+  b := -1;
+  if a > b then
+    writeln ('OK')
+  else
+{$ifdef VER0}
+    halt(2);
+{$else not VER0}
+{$ifdef VER1_0}
+    halt(2);
+{$else}
+    halt(1);
+{$endif}
+{$endif}
+end.
+