Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DCStringChecker.cpp2372 ProgramStateRef StSameBuf, StNotSameBuf; in evalStrcmpCommon() local
2373 std::tie(StSameBuf, StNotSameBuf) = state->assume(SameBuf); in evalStrcmpCommon()
2384 if (!StNotSameBuf) in evalStrcmpCommon()
2388 assert(StNotSameBuf); in evalStrcmpCommon()
2389 state = StNotSameBuf; in evalStrcmpCommon()