================ @@ -1165,7 +1165,7 @@ ProgramStateRef StdLibraryFunctionsChecker::NotNullConstraint::apply( return State->assume(L, CannotBeNull); } -void StdLibraryFunctionsChecker::NotNullConstraint::describe( +void StdLibraryFunctionsChecker::NullnessConstraint::describe( DescriptionKind DK, const CallEvent &Call, ProgramStateRef State, const Summary &Summary, llvm::raw_ostream &Out) const { assert(CannotBeNull && ---------------- balazske wrote:
The `describeArgumentValue` should be really called only with a `ProgramState` where the current constraint is true. The purpose is to generate a description of the actual value and probably use the program state for this. It is exactly used on the negated version of a failed constraint in `reportBug`. https://github.com/llvm/llvm-project/pull/131374 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits