Lines Matching refs:Stmt
222 ProcessStmt(const_cast<Stmt*>(E.getAs<CFGStmt>()->getStmt()), Pred);
465 void ExprEngine::Visit(const Stmt *S, ExplodedNode *Pred,
487 case Stmt::CXXDependentScopeMemberExprClass:
488 case Stmt::CXXPseudoDestructorExprClass:
489 case Stmt::CXXTryStmtClass:
490 case Stmt::CXXTypeidExprClass:
491 case Stmt::CXXUuidofExprClass:
492 case Stmt::CXXUnresolvedConstructExprClass:
493 case Stmt::CXXScalarValueInitExprClass:
494 case Stmt::DependentScopeDeclRefExprClass:
495 case Stmt::UnaryTypeTraitExprClass:
496 case Stmt::BinaryTypeTraitExprClass:
497 case Stmt::TypeTraitExprClass:
498 case Stmt::ArrayTypeTraitExprClass:
499 case Stmt::ExpressionTraitExprClass:
500 case Stmt::UnresolvedLookupExprClass:
501 case Stmt::UnresolvedMemberExprClass:
502 case Stmt::CXXNoexceptExprClass:
503 case Stmt::PackExpansionExprClass:
504 case Stmt::SubstNonTypeTemplateParmPackExprClass:
505 case Stmt::SEHTryStmtClass:
506 case Stmt::SEHExceptStmtClass:
507 case Stmt::LambdaExprClass:
508 case Stmt::SEHFinallyStmtClass: {
517 case Stmt::SubstNonTypeTemplateParmExprClass:
518 case Stmt::CXXDefaultArgExprClass:
521 case Stmt::ParenExprClass:
523 case Stmt::GenericSelectionExprClass:
527 case Stmt::BreakStmtClass:
528 case Stmt::CaseStmtClass:
529 case Stmt::CompoundStmtClass:
530 case Stmt::ContinueStmtClass:
531 case Stmt::CXXForRangeStmtClass:
532 case Stmt::DefaultStmtClass:
533 case Stmt::DoStmtClass:
534 case Stmt::ForStmtClass:
535 case Stmt::GotoStmtClass:
536 case Stmt::IfStmtClass:
537 case Stmt::IndirectGotoStmtClass:
538 case Stmt::LabelStmtClass:
539 case Stmt::AttributedStmtClass:
540 case Stmt::NoStmtClass:
541 case Stmt::NullStmtClass:
542 case Stmt::SwitchStmtClass:
543 case Stmt::WhileStmtClass:
545 llvm_unreachable("Stmt should not be in analyzer evaluation loop");
547 case Stmt::GNUNullExprClass: {
556 case Stmt::ObjCAtSynchronizedStmtClass:
563 case Stmt::ObjCSubscriptRefExprClass:
566 case Stmt::ObjCPropertyRefExprClass:
570 case Stmt::ImplicitValueInitExprClass: {
579 case Stmt::ExprWithCleanupsClass:
584 case Stmt::DesignatedInitExprClass:
585 case Stmt::ExtVectorElementExprClass:
586 case Stmt::ImaginaryLiteralClass:
587 case Stmt::ObjCAtCatchStmtClass:
588 case Stmt::ObjCAtFinallyStmtClass:
589 case Stmt::ObjCAtTryStmtClass:
590 case Stmt::ObjCAutoreleasePoolStmtClass:
591 case Stmt::ObjCEncodeExprClass:
592 case Stmt::ObjCIsaExprClass:
593 case Stmt::ObjCProtocolExprClass:
594 case Stmt::ObjCSelectorExprClass:
596 case Stmt::ParenListExprClass:
597 case Stmt::PredefinedExprClass:
598 case Stmt::ShuffleVectorExprClass:
599 case Stmt::VAArgExprClass:
600 case Stmt::CUDAKernelCallExprClass:
601 case Stmt::OpaqueValueExprClass:
602 case Stmt::AsTypeExprClass:
603 case Stmt::AtomicExprClass:
608 case Stmt::CXXThrowExprClass:
613 case Stmt::AddrLabelExprClass:
614 case Stmt::IntegerLiteralClass:
615 case Stmt::CharacterLiteralClass:
616 case Stmt::CXXBoolLiteralExprClass:
617 case Stmt::ObjCBoolLiteralExprClass:
618 case Stmt::FloatingLiteralClass:
619 case Stmt::SizeOfPackExprClass:
620 case Stmt::StringLiteralClass:
621 case Stmt::ObjCStringLiteralClass:
622 case Stmt::CXXBindTemporaryExprClass:
623 case Stmt::CXXNullPtrLiteralExprClass: {
662 case Stmt::ArraySubscriptExprClass:
668 case Stmt::AsmStmtClass:
674 case Stmt::BlockExprClass:
680 case Stmt::BinaryOperatorClass: {
712 case Stmt::CallExprClass:
713 case Stmt::CXXOperatorCallExprClass:
714 case Stmt::CXXMemberCallExprClass:
715 case Stmt::UserDefinedLiteralClass: {
722 case Stmt::CXXCatchStmtClass: {
729 case Stmt::CXXTemporaryObjectExprClass:
730 case Stmt::CXXConstructExprClass: {
740 case Stmt::CXXNewExprClass: {
748 case Stmt::CXXDeleteExprClass: {
758 case Stmt::ChooseExprClass: { // __builtin_choose_expr
766 case Stmt::CompoundAssignOperatorClass:
772 case Stmt::CompoundLiteralExprClass:
778 case Stmt::BinaryConditionalOperatorClass:
779 case Stmt::ConditionalOperatorClass: { // '?' operator
788 case Stmt::CXXThisExprClass:
794 case Stmt::DeclRefExprClass: {
802 case Stmt::DeclStmtClass:
808 case Stmt::ImplicitCastExprClass:
809 case Stmt::CStyleCastExprClass:
810 case Stmt::CXXStaticCastExprClass:
811 case Stmt::CXXDynamicCastExprClass:
812 case Stmt::CXXReinterpretCastExprClass:
813 case Stmt::CXXConstCastExprClass:
814 case Stmt::CXXFunctionalCastExprClass:
815 case Stmt::ObjCBridgedCastExprClass: {
847 case Stmt::InitListExprClass:
853 case Stmt::MemberExprClass:
859 case Stmt::ObjCIvarRefExprClass:
865 case Stmt::ObjCForCollectionStmtClass:
871 case Stmt::ObjCMessageExprClass: {
899 case Stmt::ObjCAtThrowStmtClass: {
906 case Stmt::ReturnStmtClass:
912 case Stmt::OffsetOfExprClass:
918 case Stmt::UnaryExprOrTypeTraitExprClass:
925 case Stmt::StmtExprClass: {
945 case Stmt::UnaryOperatorClass: {
959 case Stmt::PseudoObjectExprClass: {
1011 const Stmt *CE = CalleeSF->getCallSite();
1077 const Stmt *Terminator,
1085 case Stmt::BinaryOperatorClass: { // '&&' and '||'
1105 case Stmt::BinaryConditionalOperatorClass:
1106 case Stmt::ConditionalOperatorClass: { // ?:
1123 case Stmt::ChooseExprClass: { // ?:
1140 const Stmt *Condition,
1175 void ExprEngine::processBranch(const Stmt *Condition, const Stmt *Term,
1553 void ExprEngine::evalBind(ExplodedNodeSet &Dst, const Stmt *StoreE,
1711 const Stmt *NodeEx,
1712 const Stmt *BoundEx,
1887 const Stmt *S = L->getStmt();
1939 if (const Stmt *T = E.getSrc()->getTerminator()) {
1955 const Stmt *Label = E.getDst()->getLabel();
1963 if (const Stmt *RHS = C->getRHS()) {
