[all-commits] [llvm/llvm-project] d63cc4: [analyzer] Unknown array lvalue element in Store (...

[T-Gruber via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: d63cc4c87689a79d25521c9aa2ce4a335e5984e3
      https://github.com/llvm/llvm-project/commit/d63cc4c87689a79d25521c9aa2ce4a335e5984e3
  Author: T-Gruber <100079402+T-Gruber at users.noreply.github.com>
  Date:   2025-03-31 (Mon, 31 Mar 2025)

  Changed paths:
    M clang/lib/StaticAnalyzer/Core/Store.cpp
    M clang/test/Analysis/ArrayBound/assumption-reporting.c
    A clang/test/Analysis/lvalue_elements.c

  Log Message:
  -----------
  [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



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications