[all-commits] [llvm/llvm-project] b032e3: [analyzer] Evaluate construction of non-POD type a...

[isuckatcs via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: b032e3ff6121a969b2e90ad7bf493c2d5d7ac3a2
      https://github.com/llvm/llvm-project/commit/b032e3ff6121a969b2e90ad7bf493c2d5d7ac3a2
  Author: isuckatcs <65320245+isuckatcs at users.noreply.github.com>
  Date:   2022-07-14 (Thu, 14 Jul 2022)

  Changed paths:
    M clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h
    M clang/lib/StaticAnalyzer/Core/ExprEngine.cpp
    M clang/lib/StaticAnalyzer/Core/ExprEngineCXX.cpp
    M clang/lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp
    A clang/test/Analysis/ctor-array.cpp
    M clang/test/Analysis/ctor.mm
    A clang/test/Analysis/cxxctr-array-evalcall-analysis-order.cpp
    M clang/test/Analysis/dtor.cpp
    M clang/test/Analysis/exploded-graph-rewriter/checker_messages.dot
    M clang/test/Analysis/exploded-graph-rewriter/checker_messages_diff.dot
    M clang/test/Analysis/exploded-graph-rewriter/constraints.dot
    M clang/test/Analysis/exploded-graph-rewriter/constraints_diff.dot
    M clang/test/Analysis/exploded-graph-rewriter/environment.dot
    M clang/test/Analysis/exploded-graph-rewriter/environment_diff.dot
    M clang/test/Analysis/exploded-graph-rewriter/store.dot
    M clang/test/Analysis/exploded-graph-rewriter/store_diff.dot
    M clang/test/Analysis/exploded-graph-rewriter/topology.dot
    M clang/test/Analysis/expr-inspection.c
    M clang/test/Analysis/handle_constructors_with_new_array.cpp
    M clang/test/Analysis/new-ctor-conservative.cpp
    M clang/test/Analysis/new.cpp
    M clang/test/Analysis/operator-calls.cpp
    M clang/utils/analyzer/exploded-graph-rewriter.py

  Log Message:
  -----------
  [analyzer] Evaluate construction of non-POD type arrays

Introducing the support for evaluating the constructor
of every element in an array. The idea is to record the
index of the current array member being constructed and
create a loop during the analysis. We looping over the
same CXXConstructExpr as many times as many elements
the array has.

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