tree 30ffdc4b3b483c1790d2eebe4420dde146d31f83
parent af267993a7e102e710d4c29a5253738038e1d2a4
author Ziqing Luo <ziqing@udel.edu> 1742946344 -0700
committer GitHub <noreply@github.com> 1742946344 -0700
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsFcBAABCAAQBQJn40AoCRC1aQ7uu5UhlAAA7HgQAJTtTIH5oboui6IMkiEEc3EW
 5Ga3tdRDeTsLksXCY6yzQ8t1Y9qaAOe+ri+2+H9qKseF9JGZd/mKbKHVkvgVmSCx
 yJ/PMyNYvGPfRbZel2eqq3etrgHZth2mUCu/Z/EiuDpQEsj1DJ79u4ceKM+XhiGF
 CltDszbW5EbAU8/oTLFWxWLVJ35DsCNbGGwLo480pVb2ZZWwe4kv8V2KaKGgi6Zd
 WNOtnCSliQCngefPvSdX4rKBh0vhMeaGF+t2VDVGEYaYXAbq8pKmt1V8nLQ3WxR+
 kg6kf3PcDqDjfrT66wHwlQDtwfFhCi+H7wC3fOr/wr2kUOvUsXg9om4TYlgSl2uy
 BOe3tt3e3Uoz8wPTu1axsHOsCeHK3ISXNMOxa5WFSsRvSo+iGQHA4dEJcr5cdbZq
 OU4sKGdMMqzhFR3iIO0TUfUpVJtvSb7azP5YmyE4zqCb4PwPTo8FeAp1gx6HP357
 fNsgmmWbgb2r7wHq+iGee5fCxfgnOCjkv2CA6VEspWjgq0RHLZrXdnFUlR+SgjWB
 F2UDRpe2pWNb1oICL1o+DxpTXFx9cbW78ALuea8rvpLWt74bUx08zl1bbc0C6bvt
 zDtJCUnGJtoJKkwJBUOqWBaha/gvHXEHRG944n6Ib+r6KwtrOwewjHg8A7JPyI9c
 /cja07ATRhRNk4PpMUdg
 =uV6N
 -----END PGP SIGNATURE-----
 

[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`.