Home
last modified time | relevance | path

Searched refs:StNotSameBuf (Results 1 – 1 of 1) sorted by relevance

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DCStringChecker.cpp2048 ProgramStateRef StSameBuf, StNotSameBuf; in evalStrcmpCommon() local
2049 std::tie(StSameBuf, StNotSameBuf) = state->assume(SameBuf); in evalStrcmpCommon()
2059 if (!StNotSameBuf) in evalStrcmpCommon()
2063 assert(StNotSameBuf); in evalStrcmpCommon()
2064 state = StNotSameBuf; in evalStrcmpCommon()