Home
last modified time | relevance | path

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

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