[clang] [analyzer] Do not use APInt methods on _BitInt() Types (PR #65887)
via cfe-commits
cfe-commits at lists.llvm.org
Sun Sep 17 12:08:43 PDT 2023
================
@@ -0,0 +1,11 @@
+ // RUN: %clang_analyze_cc1 -analyzer-checker=core \
+ // RUN: -analyzer-checker=debug.ExprInspection \
+ // RUN: -verify %s
+
+// Don't crash when using _BitInt()
+// expected-no-diagnostics
+_BitInt(256) a;
+_BitInt(129) b;
+void c() {
+ b = a;
+}
----------------
vabridgers wrote:
Hi Donat, if you mean something like this, this does not crash.
__int128 a;
__int128 b;
void c() {
b = a;
}
https://github.com/llvm/llvm-project/pull/65887
More information about the cfe-commits
mailing list