Searched defs:TrueState (Results 1 – 4 of 4) sorted by relevance
| /freebsd-src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ | ||
| H A D | SmartPtrModeling.cpp | 502 ProgramStateRef TrueState, FalseState; in handleComparisionOp() local |
| H A D | MallocChecker.cpp | 1194 ProgramStateRef TrueState, FalseState; performKernelMalloc() local |
| H A D | StreamChecker.cpp | 1389 ProgramStateRef TrueState = bindAndAssumeTrue(State, C, CE); evalFeofFerror() local |
| H A D | CStringChecker.cpp | 1841 ProgramStateRef TrueState, FalseState; evalStrcpyCommon() local |