[NFC][Static Analyzer] Rename and discuss about `NotNullConstraint` & `NotNullBufferConstraint`#131374

Merged

ziqingluo-90 merged 3 commits intollvm:mainfrom

ziqingluo-90:dev/ziqing/PR-130683-followup

Mar 25, 2025

Commits on Mar 14, 2025

[NFC][Static Analyzer] Rename `NotNullConstraint` & `NotNullBufferConstraint`
ziqingluo-90
committed

Commits on Mar 24, 2025

Change the assertion message to indicate that some cases are not implemented instread of should not happen
ziqingluo-90
committed
fix format
ziqingluo-90
committed