[all-commits] [llvm/llvm-project] 92bf65: [Static Analyzer] Small array binding policy
isuckatcs via All-commits
all-commits at lists.llvm.org
Fri Jun 17 09:56:30 PDT 2022
Author: isuckatcs <65320245+isuckatcs at users.noreply.github.com>
Date: 2022-06-17 (Fri, 17 Jun 2022)
[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
More information about the All-commits