[clang] [analyzer] Fix _Atomic crashes for Z3 symbolic execution (PR #212050)

Balázs Benics via cfe-commits cfe-commits at lists.llvm.org
Sun Jul 26 03:33:22 PDT 2026


================
@@ -31,6 +31,10 @@ class SMTConv {
     return Ctx.getTypeSize(Ty);
   }
 
+  static inline QualType getSymbolicValueType(QualType Ty) {
----------------
steakhal wrote:

It's perplexing to me to see both `static` and `inline`. What does it mean to have weak symbols (inline) with internal linkage (static).
Anyway, leave it as is, because the surrounding code already uses this.

https://github.com/llvm/llvm-project/pull/212050


More information about the cfe-commits mailing list