[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