[PATCH] D77150: [Analyzer] New Option for ContainerModeling: AggressiveEraseModeling
Balogh, Ádám via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Mon Aug 3 09:11:18 PDT 2020
baloghadamsoftware updated this revision to Diff 282642.
baloghadamsoftware added a comment.
Option made hidden. However, I think we should create a category "advanced" for options which affect the internal modeling. Our users are programmers and the advanced among them should see this option (and others similar to this one).
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D77150/new/
https://reviews.llvm.org/D77150
Files:
clang/include/clang/StaticAnalyzer/Checkers/Checkers.td
clang/lib/StaticAnalyzer/Checkers/ContainerModeling.cpp
clang/lib/StaticAnalyzer/Checkers/Iterator.cpp
clang/test/Analysis/Inputs/system-header-simulator-cxx.h
clang/test/Analysis/analyzer-config.c
clang/test/Analysis/diagnostics/explicit-suppression.cpp
clang/test/Analysis/iterator-modeling.cpp
clang/test/Analysis/iterator-range-aggressive-erase-modeling.cpp
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D77150.282642.patch
Type: text/x-patch
Size: 62557 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20200803/9b7e7355/attachment-0001.bin>
More information about the cfe-commits
mailing list