================
@@ -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
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
