diff options
| author | Ziqing Luo <ziqing@udel.edu> | 2025-03-25 16:45:44 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-03-25 16:45:44 -0700 |
| commit | 584b24cd6de5fd8bcfefa0b4a57ddbbf58c14af1 (patch) | |
| tree | 30ffdc4b3b483c1790d2eebe4420dde146d31f83 /llvm/lib/Bitcode/Writer/BitcodeWriter.cpp | |
| parent | af267993a7e102e710d4c29a5253738038e1d2a4 (diff) | |
| download | llvm-584b24cd6de5fd8bcfefa0b4a57ddbbf58c14af1.zip llvm-584b24cd6de5fd8bcfefa0b4a57ddbbf58c14af1.tar.gz llvm-584b24cd6de5fd8bcfefa0b4a57ddbbf58c14af1.tar.bz2 | |
[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`.
Diffstat (limited to 'llvm/lib/Bitcode/Writer/BitcodeWriter.cpp')
0 files changed, 0 insertions, 0 deletions