reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
535 ExplodedNode *AfterTypeProp = dynamicTypePropagationOnCasts(CE, State, C); 556 State->get<MostSpecializedTypeArgsMap>(Sym); 568 State = State->remove<MostSpecializedTypeArgsMap>(Sym); 568 State = State->remove<MostSpecializedTypeArgsMap>(Sym); 569 C.addTransition(State, AfterTypeProp); 588 ExplodedNode *N = C.addTransition(State, AfterTypeProp, &IllegalConv); 604 if (storeWhenMoreInformative(State, Sym, TrackedType, LowerBound, UpperBound, 606 C.addTransition(State, AfterTypeProp);