Mercurial > hg > CbC > CbC_llvm

comparison clang/unittests/StaticAnalyzer/FalsePositiveRefutationBRVisitorTest.cpp @ 252:1f2b6ac9f198 llvm-original

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
LLVM16-1
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Fri, 18 Aug 2023 09:04:13 +0900
parents c4bab56944e8
children
comparison
equal deleted inserted replaced
237:c80f45b162ad 252:1f2b6ac9f198
28 using Self = FalsePositiveGenerator; 28 using Self = FalsePositiveGenerator;
29 const BuiltinBug FalsePositiveGeneratorBug{this, "FalsePositiveGenerator"}; 29 const BuiltinBug FalsePositiveGeneratorBug{this, "FalsePositiveGenerator"};
30 using HandlerFn = bool (Self::*)(const CallEvent &Call, 30 using HandlerFn = bool (Self::*)(const CallEvent &Call,
31 CheckerContext &) const; 31 CheckerContext &) const;
32 CallDescriptionMap<HandlerFn> Callbacks = { 32 CallDescriptionMap<HandlerFn> Callbacks = {
33 {{"reachedWithContradiction", 0}, &Self::reachedWithContradiction}, 33 {{{"reachedWithContradiction"}, 0}, &Self::reachedWithContradiction},
34 {{"reachedWithNoContradiction", 0}, &Self::reachedWithNoContradiction}, 34 {{{"reachedWithNoContradiction"}, 0}, &Self::reachedWithNoContradiction},
35 {{"reportIfCanBeTrue", 1}, &Self::reportIfCanBeTrue}, 35 {{{"reportIfCanBeTrue"}, 1}, &Self::reportIfCanBeTrue},
36 }; 36 };
37 37
38 bool report(CheckerContext &C, ProgramStateRef State, 38 bool report(CheckerContext &C, ProgramStateRef State,
39 StringRef Description) const { 39 StringRef Description) const {
40 ExplodedNode *Node = C.generateNonFatalErrorNode(State); 40 ExplodedNode *Node = C.generateNonFatalErrorNode(State);