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

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

Completed in 101 milliseconds