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

/openbsd-current/gnu/llvm/clang/lib/StaticAnalyzer/Core/
H A DConstraintManager.cpp58 const ProgramState *RawSt = State.get(); local
59 if (LLVM_UNLIKELY(AssumeStack.contains(RawSt)))
61 AssumeStack.push(RawSt);

Completed in 109 milliseconds