[all-commits] [llvm/llvm-project] 92bf65: [Static Analyzer] Small array binding policy

[isuckatcs via All-commits]

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

  Changed paths:
    M clang/include/clang/StaticAnalyzer/Core/AnalyzerOptions.def
    M clang/lib/StaticAnalyzer/Core/RegionStore.cpp
    M clang/test/Analysis/analyzer-config.c

  Log Message:
  -----------
  [Static Analyzer] Small array binding policy

If a lazyCompoundVal to a struct is bound to the store, there is a policy which decides
whether a copy gets created instead.

This patch introduces a similar policy for arrays, which is required to model structured
binding to arrays without false negatives.

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