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