reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
534 ProgramStateRef State = C.getState(); 535 ExplodedNode *AfterTypeProp = dynamicTypePropagationOnCasts(CE, State, C); 537 ASTContext &ASTCtxt = C.getASTContext(); 551 SymbolRef Sym = C.getSVal(CE).getAsSymbol(); 569 C.addTransition(State, AfterTypeProp); 588 ExplodedNode *N = C.addTransition(State, AfterTypeProp, &IllegalConv); 589 reportGenericsBug(*TrackedType, DestObjectPtrType, N, Sym, C); 606 C.addTransition(State, AfterTypeProp);