[all-commits] [llvm/llvm-project] aac73a: [analyzer] Process non-POD array element destructors

[isuckatcs via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: aac73a31add5e80c746a7794d832f2cdf226486c
      https://github.com/llvm/llvm-project/commit/aac73a31add5e80c746a7794d832f2cdf226486c
  Author: isuckatcs <65320245+isuckatcs at users.noreply.github.com>
  Date:   2022-08-24 (Wed, 24 Aug 2022)

  Changed paths:
    M clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h
    M clang/lib/Analysis/CFG.cpp
    M clang/lib/StaticAnalyzer/Core/ExprEngine.cpp
    M clang/lib/StaticAnalyzer/Core/ExprEngineCXX.cpp
    M clang/lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp
    M clang/lib/StaticAnalyzer/Core/ProgramState.cpp
    A clang/test/Analysis/dtor-array.cpp
    M clang/test/Analysis/new.cpp

  Log Message:
  -----------
  [analyzer] Process non-POD array element destructors

The constructors of non-POD array elements are evaluated under
certain conditions. This patch makes sure that in such cases
we also evaluate the destructors.

Differential Revision: https://reviews.llvm.org/D130737