[all-commits] [llvm/llvm-project] 584b24: [NFC][StaticAnalyzer] Rename `NotNullConstraint` &...

[Ziqing Luo via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 584b24cd6de5fd8bcfefa0b4a57ddbbf58c14af1
      https://github.com/llvm/llvm-project/commit/584b24cd6de5fd8bcfefa0b4a57ddbbf58c14af1
  Author: Ziqing Luo <ziqing at udel.edu>
  Date:   2025-03-25 (Tue, 25 Mar 2025)

  Changed paths:
    M clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp

  Log Message:
  -----------
  [NFC][StaticAnalyzer] Rename `NotNullConstraint` & `NotNullBufferConstraint` (#131374)

`NotNullConstraint` is used to check both null and non-null of a pointer.
So the name, which was created originally for just checking non-nullness, becomes less suitable.
The same reason applies to `NotNullBufferConstraint`.  This commit renames them.

In addition, messages of the assertions in `describe` and ` describeArgumentValue` 
are updated to indicate that these two functions can be called on any constraint 
though they were partially implemented for `NotNullConstraint` & `NotNullBufferConstraint`.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications