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

isuckatcs via All-commits all-commits at lists.llvm.org
Thu Jun 23 02:38:37 PDT 2022

  Branch: refs/heads/main
  Home:   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

More information about the All-commits mailing list