diff options
Diffstat (limited to 'contrib/llvm-project/clang/lib/StaticAnalyzer/Core/MemRegion.cpp')
-rw-r--r-- | contrib/llvm-project/clang/lib/StaticAnalyzer/Core/MemRegion.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/MemRegion.cpp b/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/MemRegion.cpp index f0cda835e07c..81c11099e93f 100644 --- a/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/MemRegion.cpp +++ b/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/MemRegion.cpp @@ -794,7 +794,11 @@ DefinedOrUnknownSVal MemRegionManager::getStaticSize(const MemRegion *MR, if (Size.isZero()) return true; + if (getContext().getLangOpts().StrictFlexArrays >= 2) + return false; + const AnalyzerOptions &Opts = SVB.getAnalyzerOptions(); + // FIXME: this option is probably redundant with -fstrict-flex-arrays=1. if (Opts.ShouldConsiderSingleElementArraysAsFlexibleArrayMembers && Size.isOne()) return true; |