[clang] [Clang] Overflow Pattern Exclusions (PR #100272)

Bill Wendling via cfe-commits cfe-commits at lists.llvm.org
Thu Aug 8 15:43:27 PDT 2024


================
@@ -2877,6 +2888,17 @@ ScalarExprEmitter::EmitScalarPrePostIncDec(const UnaryOperator *E, LValue LV,
   } else if (type->isIntegerType()) {
     QualType promotedType;
     bool canPerformLossyDemotionCheck = false;
+
+    // Is the pattern "while (i--)" and overflow exclusion?
+    bool disableSanitizer =
----------------
bwendling wrote:

This is difficult to read. I know it's nice to have it all in one big conditional, but it'd be more readable if split up a bit.

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


More information about the cfe-commits mailing list