[clang] [llvm] [analyzer] Correct Z3 test cases, fix exposed crashes (PR #146597)

[Donát Nagy via cfe-commits]

================
@@ -598,6 +598,9 @@ class SMTConv {
     if (APSIntBitwidth == 1 && Ty.isNull())
       return {Int.extend(Ctx.getTypeSize(Ctx.BoolTy)),
               getAPSIntType(Ctx, NewInt)};
+    else if (APSIntBitwidth == 1 && !Ty.isNull())
+      return {Int.extend(Ctx.getTypeSize(getAPSIntType(Ctx, Int))),
+              getAPSIntType(Ctx, NewInt)};
----------------
NagyDonat wrote:

```suggestion
    if (APSIntBitwidth == 1) {
      if (Ty.isNull())
        return {Int.extend(Ctx.getTypeSize(Ctx.BoolTy)),
                getAPSIntType(Ctx, NewInt)};
      else
        return {Int.extend(Ctx.getTypeSize(getAPSIntType(Ctx, Int))),
                getAPSIntType(Ctx, NewInt)};
    }
```

https://github.com/llvm/llvm-project/pull/146597
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits