reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
451 StateMap->setState(PInfo.getVar(), State); 589 ConsumedState VarState = StateMap->getState(PInfo.getVar()); 595 FunDecl->getNameAsString(), PInfo.getVar()->getNameAsString(), 668 StateMap->setState(PInfo.getVar(), mapSetTypestateAttrState(STA)); 678 PropagationInfo(PInfo.getVar(), testsFor(FunD))));