Searched refs:AfterTypeProp (Results 1 – 1 of 1) sorted by relevance
543 ExplodedNode *AfterTypeProp = dynamicTypePropagationOnCasts(CE, State, C); in checkPostStmt() local577 C.addTransition(State, AfterTypeProp); in checkPostStmt()596 ExplodedNode *N = C.addTransition(State, AfterTypeProp, &IllegalConv); in checkPostStmt()614 C.addTransition(State, AfterTypeProp); in checkPostStmt()