[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