Searched refs:AfterTypeProp (Results 1 – 1 of 1) sorted by relevance
625 ExplodedNode *AfterTypeProp = dynamicTypePropagationOnCasts(CE, State, C); in checkPostStmt() local659 C.addTransition(State, AfterTypeProp); in checkPostStmt()678 ExplodedNode *N = C.addTransition(State, AfterTypeProp, &IllegalConv); in checkPostStmt()696 C.addTransition(State, AfterTypeProp); in checkPostStmt()