T-Gruber d63cc4c876

[analyzer] Unknown array lvalue element in Store (#133381) ...

Remove the early return for BaseRegions of type ElementRegion. Return
meaningful MemRegionVal for these cases as well.
Previous discussion:
https://discourse.llvm.org/t/lvalueelement-returns-unknownval-for-multi-dimensional-arrays/85476

2025-03-31 08:44:28 +02:00

..

assumption-reporting.c

…

assumptions.c

…

brief-tests.c

…

cplusplus.cpp

…

verbose-tests.c

…