Lines Matching refs:Stmt
27 #include "clang/AST/Stmt.h"
127 if (const Stmt *S = getItem().getStmtOrNull())
147 const Stmt *S = getItem().getStmtOrNull();
664 const Stmt *S,
690 const Stmt *ReferenceStmt,
692 const Stmt *DiagnosticStmt,
769 void ExprEngine::ProcessStmt(const Stmt *currStmt, ExplodedNode *Pred) {
799 void ExprEngine::ProcessLoopExit(const Stmt* S, ExplodedNode *Pred) {
991 const Stmt *Arg = DE->getArgument();
1202 void ExprEngine::Visit(const Stmt *S, ExplodedNode *Pred,
1213 case Stmt::CXXDependentScopeMemberExprClass:
1214 case Stmt::CXXTryStmtClass:
1215 case Stmt::CXXTypeidExprClass:
1216 case Stmt::CXXUuidofExprClass:
1217 case Stmt::CXXFoldExprClass:
1218 case Stmt::MSPropertyRefExprClass:
1219 case Stmt::MSPropertySubscriptExprClass:
1220 case Stmt::CXXUnresolvedConstructExprClass:
1221 case Stmt::DependentScopeDeclRefExprClass:
1222 case Stmt::ArrayTypeTraitExprClass:
1223 case Stmt::ExpressionTraitExprClass:
1224 case Stmt::UnresolvedLookupExprClass:
1225 case Stmt::UnresolvedMemberExprClass:
1226 case Stmt::TypoExprClass:
1227 case Stmt::RecoveryExprClass:
1228 case Stmt::CXXNoexceptExprClass:
1229 case Stmt::PackExpansionExprClass:
1230 case Stmt::SubstNonTypeTemplateParmPackExprClass:
1231 case Stmt::FunctionParmPackExprClass:
1232 case Stmt::CoroutineBodyStmtClass:
1233 case Stmt::CoawaitExprClass:
1234 case Stmt::DependentCoawaitExprClass:
1235 case Stmt::CoreturnStmtClass:
1236 case Stmt::CoyieldExprClass:
1237 case Stmt::SEHTryStmtClass:
1238 case Stmt::SEHExceptStmtClass:
1239 case Stmt::SEHLeaveStmtClass:
1240 case Stmt::SEHFinallyStmtClass:
1241 case Stmt::OMPParallelDirectiveClass:
1242 case Stmt::OMPSimdDirectiveClass:
1243 case Stmt::OMPForDirectiveClass:
1244 case Stmt::OMPForSimdDirectiveClass:
1245 case Stmt::OMPSectionsDirectiveClass:
1246 case Stmt::OMPSectionDirectiveClass:
1247 case Stmt::OMPSingleDirectiveClass:
1248 case Stmt::OMPMasterDirectiveClass:
1249 case Stmt::OMPCriticalDirectiveClass:
1250 case Stmt::OMPParallelForDirectiveClass:
1251 case Stmt::OMPParallelForSimdDirectiveClass:
1252 case Stmt::OMPParallelSectionsDirectiveClass:
1253 case Stmt::OMPParallelMasterDirectiveClass:
1254 case Stmt::OMPTaskDirectiveClass:
1255 case Stmt::OMPTaskyieldDirectiveClass:
1256 case Stmt::OMPBarrierDirectiveClass:
1257 case Stmt::OMPTaskwaitDirectiveClass:
1258 case Stmt::OMPTaskgroupDirectiveClass:
1259 case Stmt::OMPFlushDirectiveClass:
1260 case Stmt::OMPDepobjDirectiveClass:
1261 case Stmt::OMPScanDirectiveClass:
1262 case Stmt::OMPOrderedDirectiveClass:
1263 case Stmt::OMPAtomicDirectiveClass:
1264 case Stmt::OMPTargetDirectiveClass:
1265 case Stmt::OMPTargetDataDirectiveClass:
1266 case Stmt::OMPTargetEnterDataDirectiveClass:
1267 case Stmt::OMPTargetExitDataDirectiveClass:
1268 case Stmt::OMPTargetParallelDirectiveClass:
1269 case Stmt::OMPTargetParallelForDirectiveClass:
1270 case Stmt::OMPTargetUpdateDirectiveClass:
1271 case Stmt::OMPTeamsDirectiveClass:
1272 case Stmt::OMPCancellationPointDirectiveClass:
1273 case Stmt::OMPCancelDirectiveClass:
1274 case Stmt::OMPTaskLoopDirectiveClass:
1275 case Stmt::OMPTaskLoopSimdDirectiveClass:
1276 case Stmt::OMPMasterTaskLoopDirectiveClass:
1277 case Stmt::OMPMasterTaskLoopSimdDirectiveClass:
1278 case Stmt::OMPParallelMasterTaskLoopDirectiveClass:
1279 case Stmt::OMPParallelMasterTaskLoopSimdDirectiveClass:
1280 case Stmt::OMPDistributeDirectiveClass:
1281 case Stmt::OMPDistributeParallelForDirectiveClass:
1282 case Stmt::OMPDistributeParallelForSimdDirectiveClass:
1283 case Stmt::OMPDistributeSimdDirectiveClass:
1284 case Stmt::OMPTargetParallelForSimdDirectiveClass:
1285 case Stmt::OMPTargetSimdDirectiveClass:
1286 case Stmt::OMPTeamsDistributeDirectiveClass:
1287 case Stmt::OMPTeamsDistributeSimdDirectiveClass:
1288 case Stmt::OMPTeamsDistributeParallelForSimdDirectiveClass:
1289 case Stmt::OMPTeamsDistributeParallelForDirectiveClass:
1290 case Stmt::OMPTargetTeamsDirectiveClass:
1291 case Stmt::OMPTargetTeamsDistributeDirectiveClass:
1292 case Stmt::OMPTargetTeamsDistributeParallelForDirectiveClass:
1293 case Stmt::OMPTargetTeamsDistributeParallelForSimdDirectiveClass:
1294 case Stmt::OMPTargetTeamsDistributeSimdDirectiveClass:
1295 case Stmt::CapturedStmtClass: {
1301 case Stmt::ParenExprClass:
1303 case Stmt::GenericSelectionExprClass:
1307 case Stmt::BreakStmtClass:
1308 case Stmt::CaseStmtClass:
1309 case Stmt::CompoundStmtClass:
1310 case Stmt::ContinueStmtClass:
1311 case Stmt::CXXForRangeStmtClass:
1312 case Stmt::DefaultStmtClass:
1313 case Stmt::DoStmtClass:
1314 case Stmt::ForStmtClass:
1315 case Stmt::GotoStmtClass:
1316 case Stmt::IfStmtClass:
1317 case Stmt::IndirectGotoStmtClass:
1318 case Stmt::LabelStmtClass:
1319 case Stmt::NoStmtClass:
1320 case Stmt::NullStmtClass:
1321 case Stmt::SwitchStmtClass:
1322 case Stmt::WhileStmtClass:
1324 llvm_unreachable("Stmt should not be in analyzer evaluation loop");
1325 case Stmt::ImplicitValueInitExprClass:
1331 case Stmt::ObjCSubscriptRefExprClass:
1332 case Stmt::ObjCPropertyRefExprClass:
1335 case Stmt::GNUNullExprClass: {
1344 case Stmt::ObjCAtSynchronizedStmtClass:
1351 case Stmt::ExprWithCleanupsClass:
1355 case Stmt::CXXBindTemporaryExprClass: {
1367 case Stmt::DesignatedInitExprClass:
1368 case Stmt::DesignatedInitUpdateExprClass:
1369 case Stmt::ArrayInitLoopExprClass:
1370 case Stmt::ArrayInitIndexExprClass:
1371 case Stmt::ExtVectorElementExprClass:
1372 case Stmt::ImaginaryLiteralClass:
1373 case Stmt::ObjCAtCatchStmtClass:
1374 case Stmt::ObjCAtFinallyStmtClass:
1375 case Stmt::ObjCAtTryStmtClass:
1376 case Stmt::ObjCAutoreleasePoolStmtClass:
1377 case Stmt::ObjCEncodeExprClass:
1378 case Stmt::ObjCIsaExprClass:
1379 case Stmt::ObjCProtocolExprClass:
1380 case Stmt::ObjCSelectorExprClass:
1381 case Stmt::ParenListExprClass:
1382 case Stmt::ShuffleVectorExprClass:
1383 case Stmt::ConvertVectorExprClass:
1384 case Stmt::VAArgExprClass:
1385 case Stmt::CUDAKernelCallExprClass:
1386 case Stmt::OpaqueValueExprClass:
1387 case Stmt::AsTypeExprClass:
1388 case Stmt::ConceptSpecializationExprClass:
1389 case Stmt::CXXRewrittenBinaryOperatorClass:
1390 case Stmt::RequiresExprClass:
1395 case Stmt::PredefinedExprClass:
1396 case Stmt::AddrLabelExprClass:
1397 case Stmt::AttributedStmtClass:
1398 case Stmt::IntegerLiteralClass:
1399 case Stmt::FixedPointLiteralClass:
1400 case Stmt::CharacterLiteralClass:
1401 case Stmt::CXXScalarValueInitExprClass:
1402 case Stmt::CXXBoolLiteralExprClass:
1403 case Stmt::ObjCBoolLiteralExprClass:
1404 case Stmt::ObjCAvailabilityCheckExprClass:
1405 case Stmt::FloatingLiteralClass:
1406 case Stmt::NoInitExprClass:
1407 case Stmt::SizeOfPackExprClass:
1408 case Stmt::StringLiteralClass:
1409 case Stmt::SourceLocExprClass:
1410 case Stmt::ObjCStringLiteralClass:
1411 case Stmt::CXXPseudoDestructorExprClass:
1412 case Stmt::SubstNonTypeTemplateParmExprClass:
1413 case Stmt::CXXNullPtrLiteralExprClass:
1414 case Stmt::OMPArraySectionExprClass:
1415 case Stmt::OMPArrayShapingExprClass:
1416 case Stmt::OMPIteratorExprClass:
1417 case Stmt::TypeTraitExprClass: {
1426 case Stmt::CXXDefaultArgExprClass:
1427 case Stmt::CXXDefaultInitExprClass: {
1470 case Stmt::CXXStdInitializerListExprClass:
1511 case Stmt::ArraySubscriptExprClass:
1517 case Stmt::MatrixSubscriptExprClass:
1521 case Stmt::GCCAsmStmtClass:
1527 case Stmt::MSAsmStmtClass:
1533 case Stmt::BlockExprClass:
1539 case Stmt::LambdaExprClass:
1550 case Stmt::BinaryOperatorClass: {
1582 case Stmt::CXXOperatorCallExprClass: {
1607 case Stmt::CallExprClass:
1608 case Stmt::CXXMemberCallExprClass:
1609 case Stmt::UserDefinedLiteralClass:
1615 case Stmt::CXXCatchStmtClass:
1621 case Stmt::CXXTemporaryObjectExprClass:
1622 case Stmt::CXXConstructExprClass:
1628 case Stmt::CXXInheritedCtorInitExprClass:
1635 case Stmt::CXXNewExprClass: {
1650 case Stmt::CXXDeleteExprClass: {
1667 case Stmt::ChooseExprClass: { // __builtin_choose_expr
1675 case Stmt::CompoundAssignOperatorClass:
1681 case Stmt::CompoundLiteralExprClass:
1687 case Stmt::BinaryConditionalOperatorClass:
1688 case Stmt::ConditionalOperatorClass: { // '?' operator
1696 case Stmt::CXXThisExprClass:
1702 case Stmt::DeclRefExprClass: {
1710 case Stmt::DeclStmtClass:
1716 case Stmt::ImplicitCastExprClass:
1717 case Stmt::CStyleCastExprClass:
1718 case Stmt::CXXStaticCastExprClass:
1719 case Stmt::CXXDynamicCastExprClass:
1720 case Stmt::CXXReinterpretCastExprClass:
1721 case Stmt::CXXConstCastExprClass:
1722 case Stmt::CXXFunctionalCastExprClass:
1723 case Stmt::BuiltinBitCastExprClass:
1724 case Stmt::ObjCBridgedCastExprClass:
1725 case Stmt::CXXAddrspaceCastExprClass: {
1750 case Stmt::InitListExprClass:
1756 case Stmt::MemberExprClass:
1762 case Stmt::AtomicExprClass:
1768 case Stmt::ObjCIvarRefExprClass:
1774 case Stmt::ObjCForCollectionStmtClass:
1780 case Stmt::ObjCMessageExprClass:
1786 case Stmt::ObjCAtThrowStmtClass:
1787 case Stmt::CXXThrowExprClass:
1793 case Stmt::ReturnStmtClass:
1799 case Stmt::OffsetOfExprClass: {
1813 case Stmt::UnaryExprOrTypeTraitExprClass:
1820 case Stmt::StmtExprClass: {
1841 case Stmt::UnaryOperatorClass: {
1855 case Stmt::PseudoObjectExprClass: {
1896 const Stmt *CE = CalleeSF->getCallSite();
1934 NewNodeState->set<ReplayWithoutInlining>(const_cast<Stmt *>(CE));
1962 const Stmt *Term = nodeBuilder.getContext().getBlock()->getTerminatorStmt();
1983 const Stmt *Term = nodeBuilder.getContext().getBlock()->getTerminatorStmt();
2036 const Stmt *Condition,
2073 static const Stmt *getRightmostLeaf(const Stmt *Condition) {
2099 static const Stmt *ResolveCondition(const Stmt *Condition,
2125 const Stmt *LastStmt = CS->getStmt();
2132 void ExprEngine::processBranch(const Stmt *Condition,
2823 void ExprEngine::evalBind(ExplodedNodeSet &Dst, const Stmt *StoreE,
2942 const Stmt *NodeEx,
2943 const Stmt *BoundEx,