Searched refs:OutputState (Results 1 - 1 of 1) sorted by relevance

/freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DNonnullGlobalConstantsChecker.cpp85 ProgramStateRef OutputState = State->assume(*Constr, true); local
86 C.addTransition(OutputState);

Completed in 32 milliseconds