================ @@ -83,6 +83,8 @@ class StateUpdateReporter { AssumedUpperBound = UpperBoundVal; } + bool assumedNonNegative() { return AssumedNonNegative; } ---------------- balazske wrote:
This should be called `getAssumedNonNegative` or `hasAssumedNonNegative` (but the naming rule looks not very strict for this case)? https://github.com/llvm/llvm-project/pull/84201 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits