================
@@ -60,3 +60,9 @@ long z3_crash3(long a) {
}
return 0;
}
+
+// Previously Z3 analysis crashed in this case, validate
+// that this no longer happens.
+int unary_operand_in_binary_op(int size, int mask) {
+ return size & ~mask;
----------------
steakhal wrote:
Please add a `// no-crash: GH #issue` comment to this line. That should encode
what you have spelleing an the comment above.
https://github.com/llvm/llvm-project/pull/205078
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
