[clang] [analyzer] Fix unary/binary op support for SMT symbolic execution (PR #205078)

[Balázs Benics via cfe-commits]

================
@@ -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