aboutsummaryrefslogtreecommitdiffstats
path: root/testsuite/gna/bug09/univ2.vhdl
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/gna/bug09/univ2.vhdl')
-rw-r--r--testsuite/gna/bug09/univ2.vhdl17
1 files changed, 17 insertions, 0 deletions
diff --git a/testsuite/gna/bug09/univ2.vhdl b/testsuite/gna/bug09/univ2.vhdl
new file mode 100644
index 000000000..af19d38e3
--- /dev/null
+++ b/testsuite/gna/bug09/univ2.vhdl
@@ -0,0 +1,17 @@
+
+entity univ2 is
+end entity;
+
+architecture foo of univ2 is
+
+begin
+ assert False
+ report "Time'HIGH = " & Time'IMAGE(Time'VAL(Time'POS(Time'HIGH)))
+ severity NOTE;
+ assert False
+ report "should produce 9223372036854775807"
+ severity NOTE;
+end architecture;
+
+-- 'POS returns universal integer
+-- 'VAL parameter is any integer type (including universal integer) \ No newline at end of file