reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
305 getCheckerManager().runCheckersForPreStmt(dstPreStmt, Pred, CastE, *this); 329 Pred = *I; 330 ProgramStateRef state = Pred->getState(); 331 const LocationContext *LCtx = Pred->getLocationContext(); 357 ProgramStateRef state = Pred->getState(); 358 const LocationContext *LCtx = Pred->getLocationContext(); 361 Bldr.generateNode(CastE, Pred, state); 372 Bldr.generateNode(CastE, Pred, state); 377 handleLValueBitCast(state, Ex, LCtx, T, ExTy, CastE, Bldr, Pred); 391 Bldr.generateNode(CastE, Pred, state); 396 handleLValueBitCast(state, Ex, LCtx, T, ExTy, CastE, Bldr, Pred); 426 handleLValueBitCast(state, Ex, LCtx, T, ExTy, CastE, Bldr, Pred); 434 Bldr.generateNode(CastE, Pred, state); 443 Bldr.generateNode(CastE, Pred, state); 468 Bldr.generateSink(CastE, Pred, state); 485 Bldr.generateNode(CastE, Pred, state); 507 Bldr.generateNode(CastE, Pred, state); 513 Bldr.generateNode(CastE, Pred, state); 519 Bldr.generateNode(CastE, Pred, state); 532 Bldr.generateNode(CastE, Pred, state); 536 state = handleLVectorSplat(state, LCtx, CastE, Bldr, Pred); 542 state = handleLVectorSplat(state, LCtx, CastE, Bldr, Pred);