Searched defs:StatePos (Results 1 – 2 of 2) sorted by relevance
89 struct StatePos { struct93 explicit StatePos(Node* node) : node(node), index(0) {} in StatePos() function94 StatePos() {} in StatePos() argument
144 ProgramStateRef StatePos, StateNeg; in checkPreStmt() local