Add warnings for overflows of integer types (#8281)

The code int x4 = 0xFFFFFFFFFFFFFFFF previously did not produce a
warning due to the value being too large for the type. This patch now
checks for this and similar issues during parsing.

2 files changed, 6 insertions, 0 deletions

diff --git a/tests/diagnostics/int-literal.slang b/tests/diagnostics/int-literal.slang
index 920fb58eb..b3713ec49 100644
--- a/tests/diagnostics/int-literal.slang
+++ b/tests/diagnostics/int-literal.slang
@@ -37,6 +37,9 @@ int doSomething(int a)
     //
     // To not have this warning the lexer must scan the negative operator and number together.
     uint64_t d2 = -9223372036854775808;
+
+    // Warning, integer literal is too large for signed 64 bit, must be interpreted as unsigned.
+    int x4 = 0xFFFFFFFFFFFFFFFF;
     
     return a + int(b);
 }
diff --git a/tests/diagnostics/int-literal.slang.expected b/tests/diagnostics/int-literal.slang.expected
index 39ab66d1d..27e3e7102 100644
--- a/tests/diagnostics/int-literal.slang.expected
+++ b/tests/diagnostics/int-literal.slang.expected
@@ -9,6 +9,9 @@ tests/diagnostics/int-literal.slang(32): warning 39999: integer literal is too l
 tests/diagnostics/int-literal.slang(39): warning 39999: integer literal is too large to be represented in a signed integer type, interpreting as unsigned
     uint64_t d2 = -9223372036854775808;
                    ^~~~~~~~~~~~~~~~~~~
+tests/diagnostics/int-literal.slang(42): warning 39999: integer literal is too large to be represented in a signed integer type, interpreting as unsigned
+    int x4 = 0xFFFFFFFFFFFFFFFF;
+             ^~~~~~~~~~~~~~~~~~
 }
 standard output = {
 }