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 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
