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.

3 files changed, 7 insertions, 1 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 = {
 }
diff --git a/tests/slang-extension/atomic-int64-byte-address-buffer.slang b/tests/slang-extension/atomic-int64-byte-address-buffer.slang
index b40cc0f16..e16abb307 100644
--- a/tests/slang-extension/atomic-int64-byte-address-buffer.slang
+++ b/tests/slang-extension/atomic-int64-byte-address-buffer.slang
@@ -32,6 +32,6 @@ void computeMain(int3 dispatchThreadID : SV_DispatchThreadID)
     // Bit logical
     outputBuffer.InterlockedOrU64((idx << 3), (uint64_t(2) << 32) | (tid << 4));
     outputBuffer.InterlockedXorU64((idx << 3), tid << 8);
-    outputBuffer.InterlockedAndU64((idx << 3), (uint64_t(tid | 2) << 32) |  0xffffffffffffffff);
+    outputBuffer.InterlockedAndU64((idx << 3), (uint64_t(tid | 2) << 32) |  0xffffffffffffffffULL);
 }