Searched refs:AfterTypeProp (Results 1 – 1 of 1) sorted by relevance
628 ExplodedNode *AfterTypeProp = dynamicTypePropagationOnCasts(CE, State, C); in checkPostStmt() local662 C.addTransition(State, AfterTypeProp); in checkPostStmt()681 ExplodedNode *N = C.addTransition(State, AfterTypeProp, &IllegalConv); in checkPostStmt()699 C.addTransition(State, AfterTypeProp); in checkPostStmt()