| // RUN: %clang_analyze_cc1 -analyzer-checker=core \ | |
| // RUN: -analyzer-checker=debug.ExprInspection \ | |
| // RUN: -triple x86_64-pc-linux-gnu \ | |
| // RUN: -verify %s | |
| // Don't crash when using _BitInt(). Pin to the x86_64 triple for now, | |
| // since not all architectures support _BitInt() | |
| // expected-no-diagnostics | |
| _BitInt(256) a; | |
| _BitInt(129) b; | |
| void c() { | |
| b = a; | |
| } |