Lines Matching refs:Stmt
139 const Stmt *S = getItem().getStmtOrNull(); in printJson()
833 const Stmt *S, in shouldRemoveDeadBindings()
859 const Stmt *ReferenceStmt, in removeDead()
861 const Stmt *DiagnosticStmt, in removeDead()
938 void ExprEngine::ProcessStmt(const Stmt *currStmt, ExplodedNode *Pred) { in ProcessStmt()
968 void ExprEngine::ProcessLoopExit(const Stmt* S, ExplodedNode *Pred) { in ProcessLoopExit()
1161 const Stmt *Arg = DE->getArgument(); in ProcessDeleteDtor()
1371 void ExprEngine::Visit(const Stmt *S, ExplodedNode *Pred, in Visit()
1382 case Stmt::CXXDependentScopeMemberExprClass: in Visit()
1383 case Stmt::CXXTryStmtClass: in Visit()
1384 case Stmt::CXXTypeidExprClass: in Visit()
1385 case Stmt::CXXUuidofExprClass: in Visit()
1386 case Stmt::CXXFoldExprClass: in Visit()
1387 case Stmt::MSPropertyRefExprClass: in Visit()
1388 case Stmt::MSPropertySubscriptExprClass: in Visit()
1389 case Stmt::CXXUnresolvedConstructExprClass: in Visit()
1390 case Stmt::DependentScopeDeclRefExprClass: in Visit()
1391 case Stmt::ArrayTypeTraitExprClass: in Visit()
1392 case Stmt::ExpressionTraitExprClass: in Visit()
1393 case Stmt::UnresolvedLookupExprClass: in Visit()
1394 case Stmt::UnresolvedMemberExprClass: in Visit()
1395 case Stmt::TypoExprClass: in Visit()
1396 case Stmt::RecoveryExprClass: in Visit()
1397 case Stmt::CXXNoexceptExprClass: in Visit()
1398 case Stmt::PackExpansionExprClass: in Visit()
1399 case Stmt::SubstNonTypeTemplateParmPackExprClass: in Visit()
1400 case Stmt::FunctionParmPackExprClass: in Visit()
1401 case Stmt::CoroutineBodyStmtClass: in Visit()
1402 case Stmt::CoawaitExprClass: in Visit()
1403 case Stmt::DependentCoawaitExprClass: in Visit()
1404 case Stmt::CoreturnStmtClass: in Visit()
1405 case Stmt::CoyieldExprClass: in Visit()
1406 case Stmt::SEHTryStmtClass: in Visit()
1407 case Stmt::SEHExceptStmtClass: in Visit()
1408 case Stmt::SEHLeaveStmtClass: in Visit()
1409 case Stmt::SEHFinallyStmtClass: in Visit()
1410 case Stmt::OMPCanonicalLoopClass: in Visit()
1411 case Stmt::OMPParallelDirectiveClass: in Visit()
1412 case Stmt::OMPSimdDirectiveClass: in Visit()
1413 case Stmt::OMPForDirectiveClass: in Visit()
1414 case Stmt::OMPForSimdDirectiveClass: in Visit()
1415 case Stmt::OMPSectionsDirectiveClass: in Visit()
1416 case Stmt::OMPSectionDirectiveClass: in Visit()
1417 case Stmt::OMPSingleDirectiveClass: in Visit()
1418 case Stmt::OMPMasterDirectiveClass: in Visit()
1419 case Stmt::OMPCriticalDirectiveClass: in Visit()
1420 case Stmt::OMPParallelForDirectiveClass: in Visit()
1421 case Stmt::OMPParallelForSimdDirectiveClass: in Visit()
1422 case Stmt::OMPParallelSectionsDirectiveClass: in Visit()
1423 case Stmt::OMPParallelMasterDirectiveClass: in Visit()
1424 case Stmt::OMPParallelMaskedDirectiveClass: in Visit()
1425 case Stmt::OMPTaskDirectiveClass: in Visit()
1426 case Stmt::OMPTaskyieldDirectiveClass: in Visit()
1427 case Stmt::OMPBarrierDirectiveClass: in Visit()
1428 case Stmt::OMPTaskwaitDirectiveClass: in Visit()
1429 case Stmt::OMPTaskgroupDirectiveClass: in Visit()
1430 case Stmt::OMPFlushDirectiveClass: in Visit()
1431 case Stmt::OMPDepobjDirectiveClass: in Visit()
1432 case Stmt::OMPScanDirectiveClass: in Visit()
1433 case Stmt::OMPOrderedDirectiveClass: in Visit()
1434 case Stmt::OMPAtomicDirectiveClass: in Visit()
1435 case Stmt::OMPTargetDirectiveClass: in Visit()
1436 case Stmt::OMPTargetDataDirectiveClass: in Visit()
1437 case Stmt::OMPTargetEnterDataDirectiveClass: in Visit()
1438 case Stmt::OMPTargetExitDataDirectiveClass: in Visit()
1439 case Stmt::OMPTargetParallelDirectiveClass: in Visit()
1440 case Stmt::OMPTargetParallelForDirectiveClass: in Visit()
1441 case Stmt::OMPTargetUpdateDirectiveClass: in Visit()
1442 case Stmt::OMPTeamsDirectiveClass: in Visit()
1443 case Stmt::OMPCancellationPointDirectiveClass: in Visit()
1444 case Stmt::OMPCancelDirectiveClass: in Visit()
1445 case Stmt::OMPTaskLoopDirectiveClass: in Visit()
1446 case Stmt::OMPTaskLoopSimdDirectiveClass: in Visit()
1447 case Stmt::OMPMasterTaskLoopDirectiveClass: in Visit()
1448 case Stmt::OMPMaskedTaskLoopDirectiveClass: in Visit()
1449 case Stmt::OMPMasterTaskLoopSimdDirectiveClass: in Visit()
1450 case Stmt::OMPMaskedTaskLoopSimdDirectiveClass: in Visit()
1451 case Stmt::OMPParallelMasterTaskLoopDirectiveClass: in Visit()
1452 case Stmt::OMPParallelMaskedTaskLoopDirectiveClass: in Visit()
1453 case Stmt::OMPParallelMasterTaskLoopSimdDirectiveClass: in Visit()
1454 case Stmt::OMPParallelMaskedTaskLoopSimdDirectiveClass: in Visit()
1455 case Stmt::OMPDistributeDirectiveClass: in Visit()
1456 case Stmt::OMPDistributeParallelForDirectiveClass: in Visit()
1457 case Stmt::OMPDistributeParallelForSimdDirectiveClass: in Visit()
1458 case Stmt::OMPDistributeSimdDirectiveClass: in Visit()
1459 case Stmt::OMPTargetParallelForSimdDirectiveClass: in Visit()
1460 case Stmt::OMPTargetSimdDirectiveClass: in Visit()
1461 case Stmt::OMPTeamsDistributeDirectiveClass: in Visit()
1462 case Stmt::OMPTeamsDistributeSimdDirectiveClass: in Visit()
1463 case Stmt::OMPTeamsDistributeParallelForSimdDirectiveClass: in Visit()
1464 case Stmt::OMPTeamsDistributeParallelForDirectiveClass: in Visit()
1465 case Stmt::OMPTargetTeamsDirectiveClass: in Visit()
1466 case Stmt::OMPTargetTeamsDistributeDirectiveClass: in Visit()
1467 case Stmt::OMPTargetTeamsDistributeParallelForDirectiveClass: in Visit()
1468 case Stmt::OMPTargetTeamsDistributeParallelForSimdDirectiveClass: in Visit()
1469 case Stmt::OMPTargetTeamsDistributeSimdDirectiveClass: in Visit()
1470 case Stmt::OMPTileDirectiveClass: in Visit()
1471 case Stmt::OMPInteropDirectiveClass: in Visit()
1472 case Stmt::OMPDispatchDirectiveClass: in Visit()
1473 case Stmt::OMPMaskedDirectiveClass: in Visit()
1474 case Stmt::OMPGenericLoopDirectiveClass: in Visit()
1475 case Stmt::OMPTeamsGenericLoopDirectiveClass: in Visit()
1476 case Stmt::OMPTargetTeamsGenericLoopDirectiveClass: in Visit()
1477 case Stmt::OMPParallelGenericLoopDirectiveClass: in Visit()
1478 case Stmt::OMPTargetParallelGenericLoopDirectiveClass: in Visit()
1479 case Stmt::CapturedStmtClass: in Visit()
1480 case Stmt::OMPUnrollDirectiveClass: in Visit()
1481 case Stmt::OMPMetaDirectiveClass: { in Visit()
1487 case Stmt::ParenExprClass: in Visit()
1489 case Stmt::GenericSelectionExprClass: in Visit()
1493 case Stmt::BreakStmtClass: in Visit()
1494 case Stmt::CaseStmtClass: in Visit()
1495 case Stmt::CompoundStmtClass: in Visit()
1496 case Stmt::ContinueStmtClass: in Visit()
1497 case Stmt::CXXForRangeStmtClass: in Visit()
1498 case Stmt::DefaultStmtClass: in Visit()
1499 case Stmt::DoStmtClass: in Visit()
1500 case Stmt::ForStmtClass: in Visit()
1501 case Stmt::GotoStmtClass: in Visit()
1502 case Stmt::IfStmtClass: in Visit()
1503 case Stmt::IndirectGotoStmtClass: in Visit()
1504 case Stmt::LabelStmtClass: in Visit()
1505 case Stmt::NoStmtClass: in Visit()
1506 case Stmt::NullStmtClass: in Visit()
1507 case Stmt::SwitchStmtClass: in Visit()
1508 case Stmt::WhileStmtClass: in Visit()
1511 case Stmt::ImplicitValueInitExprClass: in Visit()
1517 case Stmt::ObjCSubscriptRefExprClass: in Visit()
1518 case Stmt::ObjCPropertyRefExprClass: in Visit()
1521 case Stmt::GNUNullExprClass: { in Visit()
1531 case Stmt::ObjCAtSynchronizedStmtClass: in Visit()
1538 case Stmt::ExprWithCleanupsClass: in Visit()
1542 case Stmt::CXXBindTemporaryExprClass: { in Visit()
1553 case Stmt::ArrayInitLoopExprClass: in Visit()
1559 case Stmt::DesignatedInitExprClass: in Visit()
1560 case Stmt::DesignatedInitUpdateExprClass: in Visit()
1561 case Stmt::ArrayInitIndexExprClass: in Visit()
1562 case Stmt::ExtVectorElementExprClass: in Visit()
1563 case Stmt::ImaginaryLiteralClass: in Visit()
1564 case Stmt::ObjCAtCatchStmtClass: in Visit()
1565 case Stmt::ObjCAtFinallyStmtClass: in Visit()
1566 case Stmt::ObjCAtTryStmtClass: in Visit()
1567 case Stmt::ObjCAutoreleasePoolStmtClass: in Visit()
1568 case Stmt::ObjCEncodeExprClass: in Visit()
1569 case Stmt::ObjCIsaExprClass: in Visit()
1570 case Stmt::ObjCProtocolExprClass: in Visit()
1571 case Stmt::ObjCSelectorExprClass: in Visit()
1572 case Stmt::ParenListExprClass: in Visit()
1573 case Stmt::ShuffleVectorExprClass: in Visit()
1574 case Stmt::ConvertVectorExprClass: in Visit()
1575 case Stmt::VAArgExprClass: in Visit()
1576 case Stmt::CUDAKernelCallExprClass: in Visit()
1577 case Stmt::OpaqueValueExprClass: in Visit()
1578 case Stmt::AsTypeExprClass: in Visit()
1579 case Stmt::ConceptSpecializationExprClass: in Visit()
1580 case Stmt::CXXRewrittenBinaryOperatorClass: in Visit()
1581 case Stmt::RequiresExprClass: in Visit()
1586 case Stmt::PredefinedExprClass: in Visit()
1587 case Stmt::AddrLabelExprClass: in Visit()
1588 case Stmt::AttributedStmtClass: in Visit()
1589 case Stmt::IntegerLiteralClass: in Visit()
1590 case Stmt::FixedPointLiteralClass: in Visit()
1591 case Stmt::CharacterLiteralClass: in Visit()
1592 case Stmt::CXXScalarValueInitExprClass: in Visit()
1593 case Stmt::CXXBoolLiteralExprClass: in Visit()
1594 case Stmt::ObjCBoolLiteralExprClass: in Visit()
1595 case Stmt::ObjCAvailabilityCheckExprClass: in Visit()
1596 case Stmt::FloatingLiteralClass: in Visit()
1597 case Stmt::NoInitExprClass: in Visit()
1598 case Stmt::SizeOfPackExprClass: in Visit()
1599 case Stmt::StringLiteralClass: in Visit()
1600 case Stmt::SourceLocExprClass: in Visit()
1601 case Stmt::ObjCStringLiteralClass: in Visit()
1602 case Stmt::CXXPseudoDestructorExprClass: in Visit()
1603 case Stmt::SubstNonTypeTemplateParmExprClass: in Visit()
1604 case Stmt::CXXNullPtrLiteralExprClass: in Visit()
1605 case Stmt::OMPArraySectionExprClass: in Visit()
1606 case Stmt::OMPArrayShapingExprClass: in Visit()
1607 case Stmt::OMPIteratorExprClass: in Visit()
1608 case Stmt::SYCLUniqueStableNameExprClass: in Visit()
1609 case Stmt::TypeTraitExprClass: { in Visit()
1618 case Stmt::CXXDefaultArgExprClass: in Visit()
1619 case Stmt::CXXDefaultInitExprClass: { in Visit()
1662 case Stmt::CXXStdInitializerListExprClass: in Visit()
1703 case Stmt::ArraySubscriptExprClass: in Visit()
1709 case Stmt::MatrixSubscriptExprClass: in Visit()
1713 case Stmt::GCCAsmStmtClass: in Visit()
1719 case Stmt::MSAsmStmtClass: in Visit()
1725 case Stmt::BlockExprClass: in Visit()
1731 case Stmt::LambdaExprClass: in Visit()
1742 case Stmt::BinaryOperatorClass: { in Visit()
1774 case Stmt::CXXOperatorCallExprClass: { in Visit()
1799 case Stmt::CallExprClass: in Visit()
1800 case Stmt::CXXMemberCallExprClass: in Visit()
1801 case Stmt::UserDefinedLiteralClass: in Visit()
1807 case Stmt::CXXCatchStmtClass: in Visit()
1813 case Stmt::CXXTemporaryObjectExprClass: in Visit()
1814 case Stmt::CXXConstructExprClass: in Visit()
1820 case Stmt::CXXInheritedCtorInitExprClass: in Visit()
1827 case Stmt::CXXNewExprClass: { in Visit()
1842 case Stmt::CXXDeleteExprClass: { in Visit()
1859 case Stmt::ChooseExprClass: { // __builtin_choose_expr in Visit()
1867 case Stmt::CompoundAssignOperatorClass: in Visit()
1873 case Stmt::CompoundLiteralExprClass: in Visit()
1879 case Stmt::BinaryConditionalOperatorClass: in Visit()
1880 case Stmt::ConditionalOperatorClass: { // '?' operator in Visit()
1888 case Stmt::CXXThisExprClass: in Visit()
1894 case Stmt::DeclRefExprClass: { in Visit()
1902 case Stmt::DeclStmtClass: in Visit()
1908 case Stmt::ImplicitCastExprClass: in Visit()
1909 case Stmt::CStyleCastExprClass: in Visit()
1910 case Stmt::CXXStaticCastExprClass: in Visit()
1911 case Stmt::CXXDynamicCastExprClass: in Visit()
1912 case Stmt::CXXReinterpretCastExprClass: in Visit()
1913 case Stmt::CXXConstCastExprClass: in Visit()
1914 case Stmt::CXXFunctionalCastExprClass: in Visit()
1915 case Stmt::BuiltinBitCastExprClass: in Visit()
1916 case Stmt::ObjCBridgedCastExprClass: in Visit()
1917 case Stmt::CXXAddrspaceCastExprClass: { in Visit()
1942 case Stmt::InitListExprClass: in Visit()
1948 case Stmt::MemberExprClass: in Visit()
1954 case Stmt::AtomicExprClass: in Visit()
1960 case Stmt::ObjCIvarRefExprClass: in Visit()
1966 case Stmt::ObjCForCollectionStmtClass: in Visit()
1972 case Stmt::ObjCMessageExprClass: in Visit()
1978 case Stmt::ObjCAtThrowStmtClass: in Visit()
1979 case Stmt::CXXThrowExprClass: in Visit()
1985 case Stmt::ReturnStmtClass: in Visit()
1991 case Stmt::OffsetOfExprClass: { in Visit()
2005 case Stmt::UnaryExprOrTypeTraitExprClass: in Visit()
2012 case Stmt::StmtExprClass: { in Visit()
2033 case Stmt::UnaryOperatorClass: { in Visit()
2047 case Stmt::PseudoObjectExprClass: { in Visit()
2088 const Stmt *CE = CalleeSF->getCallSite(); in replayWithoutInlining()
2126 NewNodeState->set<ReplayWithoutInlining>(const_cast<Stmt *>(CE)); in replayWithoutInlining()
2154 const Stmt *Term = nodeBuilder.getContext().getBlock()->getTerminatorStmt(); in processCFGBlockEntrance()
2175 const Stmt *Term = nodeBuilder.getContext().getBlock()->getTerminatorStmt(); in processCFGBlockEntrance()
2227 const Stmt *Condition, in RecoverCastedSymbol()
2264 static const Stmt *getRightmostLeaf(const Stmt *Condition) { in getRightmostLeaf()
2290 static const Stmt *ResolveCondition(const Stmt *Condition, in ResolveCondition()
2316 const Stmt *LastStmt = CS->getStmt(); in ResolveCondition()
2354 assumeCondition(const Stmt *Condition, ExplodedNode *N) { in assumeCondition()
2400 void ExprEngine::processBranch(const Stmt *Condition, in processBranch()
3218 void ExprEngine::evalBind(ExplodedNodeSet &Dst, const Stmt *StoreE, in evalBind()
3337 const Stmt *NodeEx, in evalLocation()
3338 const Stmt *BoundEx, in evalLocation()