[all-commits] [llvm/llvm-project] 8ef628: [analyzer] Structured binding to arrays

[isuckatcs via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 8ef628088b54aebd4a8317ce3a0029e3283b3aa0
      https://github.com/llvm/llvm-project/commit/8ef628088b54aebd4a8317ce3a0029e3283b3aa0
  Author: isuckatcs <65320245+isuckatcs at users.noreply.github.com>
  Date:   2022-06-23 (Thu, 23 Jun 2022)

  Changed paths:
    M clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h
    M clang/lib/StaticAnalyzer/Core/ExprEngine.cpp
    A clang/test/Analysis/array-init-loop.cpp
    A clang/test/Analysis/uninit-structured-binding-array.cpp

  Log Message:
  -----------
  [analyzer] Structured binding to arrays

Introducing structured binding to data members and more.
To handle binding to arrays, ArrayInitLoopExpr is also
evaluated, which enables the analyzer to store information
in two more cases. These are:
  - when a lambda-expression captures an array by value
  - in the implicit copy/move constructor for a class
    with an array member

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