[all-commits] [llvm/llvm-project] a917ae: [analyzer] Fix a crash from element region constru...

isuckatcs via All-commits all-commits at lists.llvm.org
Sat Oct 26 08:42:16 PDT 2024


  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: a917ae0b4fc0d792ee0e2c512c4ea539f98e1204
      https://github.com/llvm/llvm-project/commit/a917ae0b4fc0d792ee0e2c512c4ea539f98e1204
  Author: isuckatcs <65320245+isuckatcs at users.noreply.github.com>
  Date:   2024-10-26 (Sat, 26 Oct 2024)

  Changed paths:
    M clang/lib/StaticAnalyzer/Core/ExprEngineCXX.cpp
    M clang/test/Analysis/array-init-loop.cpp

  Log Message:
  -----------
  [analyzer] Fix a crash from element region construction during `ArrayInitLoopExpr` analysis (#113570)

This patch generalizes the way element regions are constructed when an
`ArrayInitLoopExpr` is being analyzed. Previously the base region of the
`ElementRegion` was determined with pattern matching, which led to
crashes, when an unhandled pattern was encountered.

Fixes #112813



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


More information about the All-commits mailing list