[clang] Unknown array lvalue element (PR #133381)

DonĂ¡t Nagy via cfe-commits cfe-commits at lists.llvm.org
Fri Mar 28 04:04:02 PDT 2025


https://github.com/NagyDonat commented:

I'm really happy to see a fix for this weakness of the static analyzer, and overall I'm satisfied with the commit, but I didn't have time to think about the implications of this change (and picking the right representation: nested `ElementRegion`s vs a single `ElementRegion` with a `SymSymExpr` index), so I'm not giving a formal approval yet.

I'll try to revisit this PR next week; feel free to ping me if I forget. If somebody else gives an approval, there is no need to wait for me.

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


More information about the cfe-commits mailing list