[clang] [analyzer] Add hack in ArrayBound to cover up missing casts (PR #127117)

Gábor Horváth via cfe-commits cfe-commits at lists.llvm.org
Mon Feb 17 02:46:23 PST 2025


https://github.com/Xazax-hun approved this pull request.

Looks good! Suppressing results for cases we do not model properly is the right thing to do. That being said, I wonder if we should record the presence of casts when we produce `ElementRegion`s to better help checks suppress potentially false results. This would just make some workarounds easier to write rather than having full modelling. 

https://github.com/llvm/llvm-project/pull/127117


More information about the cfe-commits mailing list