Home
last modified time | relevance | path

Searched defs:TrueState (Results 1 – 4 of 4) sorted by relevance

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DSmartPtrModeling.cpp500 ProgramStateRef TrueState, FalseState; in handleComparisionOp() local
H A DStreamChecker.cpp812 ProgramStateRef TrueState = bindAndAssumeTrue(State, C, CE); in evalFeofFerror() local
H A DMallocChecker.cpp1203 ProgramStateRef TrueState, FalseState; in performKernelMalloc() local
1539 ProgramStateRef TrueState, FalseState; in ProcessZeroAllocCheck() local
H A DCStringChecker.cpp1726 ProgramStateRef TrueState, FalseState; in evalStrcpyCommon() local