Searched refs:dynamicTypePropagationOnCasts (Results 1 – 1 of 1) sorted by relevance
65 ExplodedNode *dynamicTypePropagationOnCasts(const CastExpr *CE,277 ExplodedNode *DynamicTypePropagation::dynamicTypePropagationOnCasts( in dynamicTypePropagationOnCasts() function in DynamicTypePropagation537 ExplodedNode *AfterTypeProp = dynamicTypePropagationOnCasts(CE, State, C); in checkPostStmt()