Home | History | Annotate | Download | only in Analysis

Lines Matching refs:stack

35 #include <stack>
343     /// This stack holds the state of the value solver during a query.
346     std::stack<std::pair<BasicBlock*, Value*> > BlockValueStack;
355         return false;  // It's already in the stack.
503     assert(BlockValueSet.count(e) && "Stack value should be in BlockValueSet!");
515       assert(BlockValueStack.top() != e && "Stack should have been pushed!");