reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
323 if ((isSelfVar(loc, C)) && 324 !hasSelfFlag(val, SelfFlag_InitRes, C) && 325 !hasSelfFlag(val, SelfFlag_Self, C) && 326 !isSelfVar(val, C)) { 329 ProgramStateRef State = C.getState(); 333 C.addTransition(State);