Searched refs:AfterTypeProp (Results 1 – 1 of 1) sorted by relevance
537 ExplodedNode *AfterTypeProp = dynamicTypePropagationOnCasts(CE, State, C); in checkPostStmt() local574 C.addTransition(State, AfterTypeProp); in checkPostStmt()577 C.addTransition(State, AfterTypeProp); in checkPostStmt()590 ExplodedNode *N = C.addTransition(State, AfterTypeProp, &IllegalConv); in checkPostStmt()608 C.addTransition(State, AfterTypeProp); in checkPostStmt()