Searched refs:AfterTypeProp (Results 1 – 1 of 1) sorted by relevance
621 ExplodedNode *AfterTypeProp = dynamicTypePropagationOnCasts(CE, State, C); in checkPostStmt() local655 C.addTransition(State, AfterTypeProp); in checkPostStmt()680 C.generateNonFatalErrorNode(State, AfterTypeProp, &IllegalConv); in checkPostStmt()699 C.addTransition(State, AfterTypeProp); in checkPostStmt()