Home
last modified time | relevance | path

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

/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DSmartPtrModeling.cpp502 ProgramStateRef TrueState, FalseState; in handleComparisionOp() local
H A DMallocChecker.cpp1118 ProgramStateRef TrueState, FalseState; performKernelMalloc() local
1504 ProgramStateRef TrueState, FalseState; ProcessZeroAllocCheck() local
H A DStreamChecker.cpp1709 ProgramStateRef FalseState = E.bindReturnValue(State, C, 0); evalFeofFerror() local
H A DCStringChecker.cpp1989 ProgramStateRef TrueState, FalseState; evalStrcpyCommon() local