[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