[PATCH] D77150: [Analyzer] New Option for ContainerModeling: AggressiveEraseModeling
Kristóf Umann via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Fri Apr 3 12:58:03 PDT 2020
Szelethus added inline comments.
================
Comment at: clang/include/clang/StaticAnalyzer/Checkers/Checkers.td:647-653
CmdLineOption<Boolean,
"AggressiveStdFindModeling",
"Enables exploration of the failure branch in std::find-like "
"functions.",
"false",
Released>
]>,
----------------
Ah, okay, I see which one you refer to. We should totally make this non-user facing as well.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D77150/new/
https://reviews.llvm.org/D77150
More information about the cfe-commits
mailing list