Stmt.h revision 606efdfeb9eef70871eb62a26dfd115e209e899c
15f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//===--- Stmt.h - Classes for representing statements -----------*- C++ -*-===// 25f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer// 35f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer// The LLVM Compiler Infrastructure 45f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer// 55f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer// This file was developed by Chris Lattner and is distributed under 65f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer// the University of Illinois Open Source License. See LICENSE.TXT for details. 75f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer// 85f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//===----------------------------------------------------------------------===// 95f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer// 105f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer// This file defines the Stmt interface and subclasses. 115f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer// 125f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//===----------------------------------------------------------------------===// 135f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 145f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#ifndef LLVM_CLANG_AST_STMT_H 155f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#define LLVM_CLANG_AST_STMT_H 165f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 175f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#include "clang/Basic/SourceLocation.h" 189caf8b1ca6beb254f420dada3c0e94d5ef027f58Ted Kremenek#include "clang/AST/StmtIterator.h" 195f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#include "llvm/ADT/SmallVector.h" 2077ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek#include "llvm/ADT/iterator" 210a449eed1dd2439b4b9c0a6291084816eab390c1Ted Kremenek#include "llvm/Bitcode/SerializationFwd.h" 225f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#include <iosfwd> 235f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 245f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencernamespace clang { 255f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer class Expr; 265f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer class Decl; 278e74c93ddaa8268a999e1b25c723dc1984a434b4Steve Naroff class ScopedDecl; 285f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer class IdentifierInfo; 290c727a35718556866a978f64ac549d9798735f08Chris Lattner class SourceManager; 306c36be5b383875b490684bcf439d6d427298c1afChris Lattner class SwitchStmt; 3142a509f6a4f71bb805cc4abbb26722a34dffdddeTed Kremenek class PrinterHelper; 3242a509f6a4f71bb805cc4abbb26722a34dffdddeTed Kremenek 335f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// Stmt - This represents one statement. 345f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 355f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass Stmt { 365f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 375f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer enum StmtClass { 385f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#define STMT(N, CLASS, PARENT) CLASS##Class = N, 395f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#define FIRST_STMT(N) firstStmtConstant = N, 405f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#define LAST_STMT(N) lastStmtConstant = N, 415f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#define FIRST_EXPR(N) firstExprConstant = N, 425f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#define LAST_EXPR(N) lastExprConstant = N 435f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#include "clang/AST/StmtNodes.def" 445f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 455f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerprivate: 465f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer const StmtClass sClass; 475f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 485f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Stmt(StmtClass SC) : sClass(SC) { 495f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer if (Stmt::CollectingStats()) Stmt::addStmtClass(SC); 505f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 515f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer virtual ~Stmt() {} 525f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 535f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer StmtClass getStmtClass() const { return sClass; } 545f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer const char *getStmtClassName() const; 55b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 56b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff /// SourceLocation tokens are not useful in isolation - they are low level 57b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff /// value objects created/interpreted by SourceManager. We assume AST 58b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff /// clients will have a pointer to the respective SourceManager. 59b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const = 0; 60311ff02fae0392bee6abe7723cdf5a69b2899a47Chris Lattner SourceLocation getLocStart() const { return getSourceRange().getBegin(); } 61311ff02fae0392bee6abe7723cdf5a69b2899a47Chris Lattner SourceLocation getLocEnd() const { return getSourceRange().getEnd(); } 625f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 635f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // global temp stats (until we have a per-module visitor) 645f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static void addStmtClass(const StmtClass s); 655f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool CollectingStats(bool enable=false); 665f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static void PrintStats(); 676000dace22f110d8768476989313e9d981d690d0Chris Lattner 686000dace22f110d8768476989313e9d981d690d0Chris Lattner /// dump - This does a local dump of the specified AST fragment. It dumps the 696000dace22f110d8768476989313e9d981d690d0Chris Lattner /// specified node and a few nodes underneath it, but not the whole subtree. 706000dace22f110d8768476989313e9d981d690d0Chris Lattner /// This is useful in a debugger. 715f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void dump() const; 72e300c870f08d08badf2ebcb53ded49f304af37fcChris Lattner void dump(SourceManager &SM) const; 736000dace22f110d8768476989313e9d981d690d0Chris Lattner 746000dace22f110d8768476989313e9d981d690d0Chris Lattner /// dumpAll - This does a dump of the specified AST fragment and all subtrees. 756000dace22f110d8768476989313e9d981d690d0Chris Lattner void dumpAll() const; 76e300c870f08d08badf2ebcb53ded49f304af37fcChris Lattner void dumpAll(SourceManager &SM) const; 776000dace22f110d8768476989313e9d981d690d0Chris Lattner 786000dace22f110d8768476989313e9d981d690d0Chris Lattner /// dumpPretty/printPretty - These two methods do a "pretty print" of the AST 796000dace22f110d8768476989313e9d981d690d0Chris Lattner /// back to its original source language syntax. 806000dace22f110d8768476989313e9d981d690d0Chris Lattner void dumpPretty() const; 8142a509f6a4f71bb805cc4abbb26722a34dffdddeTed Kremenek void printPretty(std::ostream &OS, PrinterHelper* = NULL) const; 825f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 83d2a4a1af1088fca80e2dc76eb3369db0fbbfdefdTed Kremenek /// viewAST - Visualize an AST rooted at this Stmt* using GraphViz. Only 84d2a4a1af1088fca80e2dc76eb3369db0fbbfdefdTed Kremenek /// works on systems with GraphViz (Mac OS X) or dot+gv installed. 85d2a4a1af1088fca80e2dc76eb3369db0fbbfdefdTed Kremenek void viewAST() const; 86d2a4a1af1088fca80e2dc76eb3369db0fbbfdefdTed Kremenek 875f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // Implement isa<T> support. 888297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek static bool classof(const Stmt *) { return true; } 8977ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek 90d48ade633d96b94cb435d73e2c935ea457152decTed Kremenek /// hasImplicitControlFlow - Some statements (e.g. short circuited operations) 91d48ade633d96b94cb435d73e2c935ea457152decTed Kremenek /// contain implicit control-flow in the order their subexpressions 92d48ade633d96b94cb435d73e2c935ea457152decTed Kremenek /// are evaluated. This predicate returns true if this statement has 93d48ade633d96b94cb435d73e2c935ea457152decTed Kremenek /// such implicit control-flow. Such statements are also specially handled 94d48ade633d96b94cb435d73e2c935ea457152decTed Kremenek /// within CFGs. 95d48ade633d96b94cb435d73e2c935ea457152decTed Kremenek bool hasImplicitControlFlow() const; 96d48ade633d96b94cb435d73e2c935ea457152decTed Kremenek 9777ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek /// Child Iterators: All subclasses must implement child_begin and child_end 9877ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek /// to permit easy iteration over the substatements/subexpessions of an 9977ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek /// AST node. This permits easy iteration over all nodes in the AST. 1009caf8b1ca6beb254f420dada3c0e94d5ef027f58Ted Kremenek typedef StmtIterator child_iterator; 1019caf8b1ca6beb254f420dada3c0e94d5ef027f58Ted Kremenek typedef ConstStmtIterator const_child_iterator; 10277ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek 1038297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin() = 0; 1048297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end() = 0; 10577ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek 10677ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek const_child_iterator child_begin() const { 1079caf8b1ca6beb254f420dada3c0e94d5ef027f58Ted Kremenek return const_child_iterator(const_cast<Stmt*>(this)->child_begin()); 10877ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek } 10977ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek 11077ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek const_child_iterator child_end() const { 1119caf8b1ca6beb254f420dada3c0e94d5ef027f58Ted Kremenek return const_child_iterator(const_cast<Stmt*>(this)->child_end()); 11277ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek } 1135f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 1145f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1155f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// DeclStmt - Adaptor class for mixing declarations with statements and 1165f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// expressions. For example, CompoundStmt mixes statements, expressions 1175f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// and declarations (variables, types). Another example is ForStmt, where 1185f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// the first statement can be an expression or a declaration. 1195f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 1205f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass DeclStmt : public Stmt { 1218e74c93ddaa8268a999e1b25c723dc1984a434b4Steve Naroff ScopedDecl *TheDecl; 1225f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 1238e74c93ddaa8268a999e1b25c723dc1984a434b4Steve Naroff DeclStmt(ScopedDecl *D) : Stmt(DeclStmtClass), TheDecl(D) {} 1245f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1258e74c93ddaa8268a999e1b25c723dc1984a434b4Steve Naroff const ScopedDecl *getDecl() const { return TheDecl; } 1268e74c93ddaa8268a999e1b25c723dc1984a434b4Steve Naroff ScopedDecl *getDecl() { return TheDecl; } 127b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 128b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { return SourceRange(); } 1295f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1305f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 1315f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == DeclStmtClass; 1325f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 1335f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const DeclStmt *) { return true; } 1348297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 1358297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 1368297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 1378297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 1385f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 1395f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1405f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// NullStmt - This is the null statement ";": C99 6.8.3p3. 1415f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 1425f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass NullStmt : public Stmt { 1435f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation SemiLoc; 1445f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 1455f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer NullStmt(SourceLocation L) : Stmt(NullStmtClass), SemiLoc(L) {} 1465f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1475f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation getSemiLoc() const { return SemiLoc; } 148b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 149507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff virtual SourceRange getSourceRange() const { return SourceRange(SemiLoc); } 1505f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1515f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 1525f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == NullStmtClass; 1535f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 1545f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const NullStmt *) { return true; } 1558297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 1568297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 1578297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 1588297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 1595f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 1605f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1615f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// CompoundStmt - This represents a group of statements like { stmt stmt }. 1625f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 1635f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass CompoundStmt : public Stmt { 1645f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer llvm::SmallVector<Stmt*, 16> Body; 165b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation LBracLoc, RBracLoc; 1665f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 167b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff CompoundStmt(Stmt **StmtStart, unsigned NumStmts, 168b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation LB, SourceLocation RB) 169b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff : Stmt(CompoundStmtClass), Body(StmtStart, StmtStart+NumStmts), 170b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff LBracLoc(LB), RBracLoc(RB) {} 17154395d440dc82a5e51b945c6c2a7f4bc4bea0358Ted Kremenek 172ab18c4c0ac1a46a38aa84c2c8ea485612e21a614Chris Lattner bool body_empty() const { return Body.empty(); } 173ab18c4c0ac1a46a38aa84c2c8ea485612e21a614Chris Lattner 1745f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer typedef llvm::SmallVector<Stmt*, 16>::iterator body_iterator; 1755f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer body_iterator body_begin() { return Body.begin(); } 1765f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer body_iterator body_end() { return Body.end(); } 177ab18c4c0ac1a46a38aa84c2c8ea485612e21a614Chris Lattner Stmt *body_back() { return Body.back(); } 1785f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1795f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer typedef llvm::SmallVector<Stmt*, 16>::const_iterator const_body_iterator; 1805f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer const_body_iterator body_begin() const { return Body.begin(); } 1815f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer const_body_iterator body_end() const { return Body.end(); } 182ab18c4c0ac1a46a38aa84c2c8ea485612e21a614Chris Lattner const Stmt *body_back() const { return Body.back(); } 1834ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek 1844ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek typedef llvm::SmallVector<Stmt*, 16>::reverse_iterator reverse_body_iterator; 1854ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek reverse_body_iterator body_rbegin() { return Body.rbegin(); } 1864ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek reverse_body_iterator body_rend() { return Body.rend(); } 1874ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek 1884ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek typedef llvm::SmallVector<Stmt*, 16>::const_reverse_iterator 1894ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek const_reverse_body_iterator; 1904ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek const_reverse_body_iterator body_rbegin() const { return Body.rbegin(); } 1914ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek const_reverse_body_iterator body_rend() const { return Body.rend(); } 1924ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek 1935f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void push_back(Stmt *S) { Body.push_back(S); } 194b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 195b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 196b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(LBracLoc, RBracLoc); 197b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 19854395d440dc82a5e51b945c6c2a7f4bc4bea0358Ted Kremenek 199cc326204dd97771c336b9aab3b9963ea30d69c29Ted Kremenek SourceLocation getLBracLoc() const { return LBracLoc; } 200cc326204dd97771c336b9aab3b9963ea30d69c29Ted Kremenek SourceLocation getRBracLoc() const { return RBracLoc; } 20154395d440dc82a5e51b945c6c2a7f4bc4bea0358Ted Kremenek 2025f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 2035f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == CompoundStmtClass; 2045f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 2055f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const CompoundStmt *) { return true; } 2068297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 2078297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 2088297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 2098297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 2105f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 2115f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 212c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson// SwitchCase is the base class for CaseStmt and DefaultStmt, 213c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlssonclass SwitchCase : public Stmt { 214c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson // A pointer to the following CaseStmt or DefaultStmt class, 215c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson // used by SwitchStmt. 216c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson SwitchCase *NextSwitchCase; 217c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlssonprotected: 218d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek SwitchCase(StmtClass SC) : Stmt(SC), NextSwitchCase(0) {} 219c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson 220c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlssonpublic: 221c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson const SwitchCase *getNextSwitchCase() const { return NextSwitchCase; } 222c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson 223c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson SwitchCase *getNextSwitchCase() { return NextSwitchCase; } 224c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson 225c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson void setNextSwitchCase(SwitchCase *SC) { NextSwitchCase = SC; } 226d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek 227d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek virtual Stmt* v_getSubStmt() = 0; 228d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek Stmt *getSubStmt() { return v_getSubStmt(); } 229b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 230b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { return SourceRange(); } 231edcc752060be38bfa7e7b32691c0cc4d843622a8Ted Kremenek 232c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson static bool classof(const Stmt *T) { 233c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson return T->getStmtClass() == CaseStmtClass || 234c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson T->getStmtClass() == DefaultStmtClass; 235c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson } 236c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson static bool classof(const SwitchCase *) { return true; } 237c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson}; 238c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson 239c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlssonclass CaseStmt : public SwitchCase { 240d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek enum { SUBSTMT, LHS, RHS, END_EXPR }; 241d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek Stmt* SubExprs[END_EXPR]; // The expression for the RHS is Non-null for 242d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek // GNU "case 1 ... 4" extension 243b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation CaseLoc; 2445f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 245b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff CaseStmt(Expr *lhs, Expr *rhs, Stmt *substmt, SourceLocation caseLoc) 246d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek : SwitchCase(CaseStmtClass) { 247d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek SubExprs[SUBSTMT] = substmt; 248d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek SubExprs[LHS] = reinterpret_cast<Stmt*>(lhs); 249d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek SubExprs[RHS] = reinterpret_cast<Stmt*>(rhs); 250b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff CaseLoc = caseLoc; 251d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek } 2525f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 253764a7ce5217f9569e100a3445f47496ee82daf86Chris Lattner SourceLocation getCaseLoc() const { return CaseLoc; } 254764a7ce5217f9569e100a3445f47496ee82daf86Chris Lattner 255d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek Expr *getLHS() { return reinterpret_cast<Expr*>(SubExprs[LHS]); } 256d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek Expr *getRHS() { return reinterpret_cast<Expr*>(SubExprs[RHS]); } 257d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek Stmt *getSubStmt() { return SubExprs[SUBSTMT]; } 258d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek virtual Stmt* v_getSubStmt() { return getSubStmt(); } 25951b09f2c528c8460b5465c676173324e44176d62Devang Patel const Expr *getLHS() const { 26051b09f2c528c8460b5465c676173324e44176d62Devang Patel return reinterpret_cast<const Expr*>(SubExprs[LHS]); 26151b09f2c528c8460b5465c676173324e44176d62Devang Patel } 26251b09f2c528c8460b5465c676173324e44176d62Devang Patel const Expr *getRHS() const { 26351b09f2c528c8460b5465c676173324e44176d62Devang Patel return reinterpret_cast<const Expr*>(SubExprs[RHS]); 26451b09f2c528c8460b5465c676173324e44176d62Devang Patel } 26551b09f2c528c8460b5465c676173324e44176d62Devang Patel const Stmt *getSubStmt() const { return SubExprs[SUBSTMT]; } 2665f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 267b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 268b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(CaseLoc, SubExprs[SUBSTMT]->getLocEnd()); 269b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 2705f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 2715f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == CaseStmtClass; 2725f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 2735f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const CaseStmt *) { return true; } 274d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek 275d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek // Iterators 276d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek virtual child_iterator child_begin(); 277d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek virtual child_iterator child_end(); 2785f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 2795f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 280c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlssonclass DefaultStmt : public SwitchCase { 281d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek Stmt* SubStmt; 2826c36be5b383875b490684bcf439d6d427298c1afChris Lattner SourceLocation DefaultLoc; 2835f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 284edcc752060be38bfa7e7b32691c0cc4d843622a8Ted Kremenek DefaultStmt(SourceLocation DL, Stmt *substmt) : 285d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek SwitchCase(DefaultStmtClass), SubStmt(substmt), DefaultLoc(DL) {} 286b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 287d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek Stmt *getSubStmt() { return SubStmt; } 288d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek virtual Stmt* v_getSubStmt() { return getSubStmt(); } 28951b09f2c528c8460b5465c676173324e44176d62Devang Patel const Stmt *getSubStmt() const { return SubStmt; } 290d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek 2916c36be5b383875b490684bcf439d6d427298c1afChris Lattner SourceLocation getDefaultLoc() const { return DefaultLoc; } 2925f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 293b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 294b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(DefaultLoc, SubStmt->getLocEnd()); 295b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 2965f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 2975f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == DefaultStmtClass; 2985f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 2995f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const DefaultStmt *) { return true; } 300d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek 301d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek // Iterators 302d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek virtual child_iterator child_begin(); 303d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek virtual child_iterator child_end(); 3045f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 3055f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3065f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass LabelStmt : public Stmt { 3075f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer IdentifierInfo *Label; 3085f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Stmt *SubStmt; 309b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation IdentLoc; 3105f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 311b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff LabelStmt(SourceLocation IL, IdentifierInfo *label, Stmt *substmt) 312b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff : Stmt(LabelStmtClass), Label(label), 313b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SubStmt(substmt), IdentLoc(IL) {} 3145f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3155f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation getIdentLoc() const { return IdentLoc; } 3165f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer IdentifierInfo *getID() const { return Label; } 3175f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer const char *getName() const; 3185f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Stmt *getSubStmt() { return SubStmt; } 3195f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer const Stmt *getSubStmt() const { return SubStmt; } 3205f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3215f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void setIdentLoc(SourceLocation L) { IdentLoc = L; } 3225f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void setSubStmt(Stmt *SS) { SubStmt = SS; } 323b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 324b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 325b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(IdentLoc, SubStmt->getLocEnd()); 326b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 3275f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 3285f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == LabelStmtClass; 3295f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 3305f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const LabelStmt *) { return true; } 3318297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 3328297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 3338297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 3348297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 3355f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 3365f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3375f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3385f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// IfStmt - This represents an if/then/else. 3395f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 3405f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass IfStmt : public Stmt { 3418297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek enum { COND, THEN, ELSE, END_EXPR }; 3428297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt* SubExprs[END_EXPR]; 343b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation IfLoc; 3445f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 345b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff IfStmt(SourceLocation IL, Expr *cond, Stmt *then, Stmt *elsev = 0) 346b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff : Stmt(IfStmtClass) { 3478297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[COND] = reinterpret_cast<Stmt*>(cond); 3488297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[THEN] = then; 3498297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[ELSE] = elsev; 350b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff IfLoc = IL; 3518297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek } 3525f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3538297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Expr *getCond() const { return reinterpret_cast<Expr*>(SubExprs[COND]);} 3548297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Stmt *getThen() const { return SubExprs[THEN]; } 3558297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Stmt *getElse() const { return SubExprs[ELSE]; } 3565f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3578297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Expr *getCond() { return reinterpret_cast<Expr*>(SubExprs[COND]); } 3588297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt *getThen() { return SubExprs[THEN]; } 3598297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt *getElse() { return SubExprs[ELSE]; } 360b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 361b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 362b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff if (SubExprs[ELSE]) 363b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(IfLoc, SubExprs[ELSE]->getLocEnd()); 364b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff else 365b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(IfLoc, SubExprs[THEN]->getLocEnd()); 366b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 3675f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3685f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 3695f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == IfStmtClass; 3705f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 3715f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const IfStmt *) { return true; } 3728297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 3738297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 3748297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 3758297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 3765f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 3775f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3785f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// SwitchStmt - This represents a 'switch' stmt. 3795f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 3805f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass SwitchStmt : public Stmt { 3818297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek enum { COND, BODY, END_EXPR }; 3828297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt* SubExprs[END_EXPR]; 383c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson // This points to a linked list of case and default statements. 384c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson SwitchCase *FirstCase; 3859dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff SourceLocation SwitchLoc; 3865f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 3878297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SwitchStmt(Expr *cond) : Stmt(SwitchStmtClass), FirstCase(0) { 3888297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[COND] = reinterpret_cast<Stmt*>(cond); 3898297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[BODY] = NULL; 3908297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek } 3915f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3928297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Expr *getCond() const { return reinterpret_cast<Expr*>(SubExprs[COND]);} 3938297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Stmt *getBody() const { return SubExprs[BODY]; } 394c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson const SwitchCase *getSwitchCaseList() const { return FirstCase; } 395c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson 3968297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Expr *getCond() { return reinterpret_cast<Expr*>(SubExprs[COND]);} 3978297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt *getBody() { return SubExprs[BODY]; } 398c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson SwitchCase *getSwitchCaseList() { return FirstCase; } 399c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson 4009dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff void setBody(Stmt *S, SourceLocation SL) { 4019dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff SubExprs[BODY] = S; 4029dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff SwitchLoc = SL; 4039dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff } 404c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson void addSwitchCase(SwitchCase *SC) { 405c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson if (FirstCase) 406c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson SC->setNextSwitchCase(FirstCase); 407c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson 408c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson FirstCase = SC; 409c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson } 4109dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff virtual SourceRange getSourceRange() const { 4119dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff return SourceRange(SwitchLoc, SubExprs[BODY]->getLocEnd()); 4129dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff } 4135f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 4145f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == SwitchStmtClass; 4155f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 4165f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const SwitchStmt *) { return true; } 4178297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 4188297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 4198297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 4208297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 4215f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 4225f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 4235f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 4245f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// WhileStmt - This represents a 'while' stmt. 4255f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 4265f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass WhileStmt : public Stmt { 4278297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek enum { COND, BODY, END_EXPR }; 4288297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt* SubExprs[END_EXPR]; 429b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation WhileLoc; 4305f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 431b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff WhileStmt(Expr *cond, Stmt *body, SourceLocation WL) : Stmt(WhileStmtClass) { 4328297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[COND] = reinterpret_cast<Stmt*>(cond); 4338297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[BODY] = body; 434b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff WhileLoc = WL; 4358297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek } 4365f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 4378297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Expr *getCond() { return reinterpret_cast<Expr*>(SubExprs[COND]); } 4388297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Expr *getCond() const { return reinterpret_cast<Expr*>(SubExprs[COND]);} 4398297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt *getBody() { return SubExprs[BODY]; } 4408297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Stmt *getBody() const { return SubExprs[BODY]; } 441b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 442b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 443b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(WhileLoc, SubExprs[BODY]->getLocEnd()); 444b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 4455f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 4465f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == WhileStmtClass; 4475f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 4485f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const WhileStmt *) { return true; } 4498297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 4508297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 4518297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 4528297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 4535f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 4545f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 4555f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// DoStmt - This represents a 'do/while' stmt. 4565f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 4575f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass DoStmt : public Stmt { 4588297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek enum { COND, BODY, END_EXPR }; 4598297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt* SubExprs[END_EXPR]; 460b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation DoLoc; 4615f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 462b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff DoStmt(Stmt *body, Expr *cond, SourceLocation DL) 463b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff : Stmt(DoStmtClass), DoLoc(DL) { 4648297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[COND] = reinterpret_cast<Stmt*>(cond); 4658297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[BODY] = body; 466b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff DoLoc = DL; 4678297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek } 4685f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 4698297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Expr *getCond() { return reinterpret_cast<Expr*>(SubExprs[COND]); } 4708297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Expr *getCond() const { return reinterpret_cast<Expr*>(SubExprs[COND]);} 4718297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt *getBody() { return SubExprs[BODY]; } 4728297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Stmt *getBody() const { return SubExprs[BODY]; } 473b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 474b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 475b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(DoLoc, SubExprs[BODY]->getLocEnd()); 476b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 4775f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 4785f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == DoStmtClass; 4795f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 4805f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const DoStmt *) { return true; } 4818297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 4828297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 4838297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 4848297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 4855f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 4865f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 4875f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 4885f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// ForStmt - This represents a 'for (init;cond;inc)' stmt. Note that any of 4895f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// the init/cond/inc parts of the ForStmt will be null if they were not 4905f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// specified in the source. 4915f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 4925f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass ForStmt : public Stmt { 4938297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek enum { INIT, COND, INC, BODY, END_EXPR }; 4948297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt* SubExprs[END_EXPR]; // SubExprs[INIT] is an expression or declstmt. 495b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation ForLoc; 4965f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 497b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff ForStmt(Stmt *Init, Expr *Cond, Expr *Inc, Stmt *Body, SourceLocation FL) 498b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff : Stmt(ForStmtClass) { 499af458c9f658335bdea482395ff4a25c75935e129Chris Lattner SubExprs[INIT] = Init; 500af458c9f658335bdea482395ff4a25c75935e129Chris Lattner SubExprs[COND] = reinterpret_cast<Stmt*>(Cond); 501af458c9f658335bdea482395ff4a25c75935e129Chris Lattner SubExprs[INC] = reinterpret_cast<Stmt*>(Inc); 502af458c9f658335bdea482395ff4a25c75935e129Chris Lattner SubExprs[BODY] = Body; 503b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff ForLoc = FL; 504af458c9f658335bdea482395ff4a25c75935e129Chris Lattner } 5055f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5068297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt *getInit() { return SubExprs[INIT]; } 5078297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Expr *getCond() { return reinterpret_cast<Expr*>(SubExprs[COND]); } 5088297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Expr *getInc() { return reinterpret_cast<Expr*>(SubExprs[INC]); } 5098297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt *getBody() { return SubExprs[BODY]; } 5108297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 5118297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Stmt *getInit() const { return SubExprs[INIT]; } 5128297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Expr *getCond() const { return reinterpret_cast<Expr*>(SubExprs[COND]);} 5138297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Expr *getInc() const { return reinterpret_cast<Expr*>(SubExprs[INC]); } 5148297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Stmt *getBody() const { return SubExprs[BODY]; } 515b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 516b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 517b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(ForLoc, SubExprs[BODY]->getLocEnd()); 518b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 5195f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 5205f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == ForStmtClass; 5215f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 5225f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const ForStmt *) { return true; } 5238297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 5248297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 5258297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 5268297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 5275f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 5285f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5295f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// GotoStmt - This represents a direct goto. 5305f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 5315f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass GotoStmt : public Stmt { 5325f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer LabelStmt *Label; 533507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff SourceLocation GotoLoc; 53461f62165220e75694fe333179c78815e2e48d71fTed Kremenek SourceLocation LabelLoc; 5355f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 53661f62165220e75694fe333179c78815e2e48d71fTed Kremenek GotoStmt(LabelStmt *label, SourceLocation GL, SourceLocation LL) 53761f62165220e75694fe333179c78815e2e48d71fTed Kremenek : Stmt(GotoStmtClass), Label(label), GotoLoc(GL), LabelLoc(LL) {} 5385f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5395f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer LabelStmt *getLabel() const { return Label; } 540b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 541507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff virtual SourceRange getSourceRange() const { 54261f62165220e75694fe333179c78815e2e48d71fTed Kremenek return SourceRange(GotoLoc, LabelLoc); 543507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff } 5445f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 5455f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == GotoStmtClass; 5465f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 5475f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const GotoStmt *) { return true; } 5488297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 5498297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 5508297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 5518297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 5525f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 5535f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5545f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// IndirectGotoStmt - This represents an indirect goto. 5555f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 5565f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass IndirectGotoStmt : public Stmt { 5575f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Expr *Target; 5585f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 5596000dace22f110d8768476989313e9d981d690d0Chris Lattner IndirectGotoStmt(Expr *target) : Stmt(IndirectGotoStmtClass), Target(target){} 5605f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5615f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Expr *getTarget() { return Target; } 5626000dace22f110d8768476989313e9d981d690d0Chris Lattner const Expr *getTarget() const { return Target; } 563b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 564b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { return SourceRange(); } 5655f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5665f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 5675f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == IndirectGotoStmtClass; 5685f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 5695f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const IndirectGotoStmt *) { return true; } 5708297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 5718297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 5728297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 5738297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 5745f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 5755f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5765f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5775f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// ContinueStmt - This represents a continue. 5785f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 5795f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass ContinueStmt : public Stmt { 580507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff SourceLocation ContinueLoc; 5815f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 582507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff ContinueStmt(SourceLocation CL) : Stmt(ContinueStmtClass), ContinueLoc(CL) {} 583b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 584507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff virtual SourceRange getSourceRange() const { 585507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff return SourceRange(ContinueLoc); 586507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff } 5875f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 5885f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == ContinueStmtClass; 5895f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 5905f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const ContinueStmt *) { return true; } 5918297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 5928297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 5938297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 5948297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 5955f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 5965f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5975f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// BreakStmt - This represents a break. 5985f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 5995f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass BreakStmt : public Stmt { 600507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff SourceLocation BreakLoc; 6015f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 602507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff BreakStmt(SourceLocation BL) : Stmt(BreakStmtClass), BreakLoc(BL) {} 603b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 604507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff virtual SourceRange getSourceRange() const { return SourceRange(BreakLoc); } 605b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 6065f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 6075f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == BreakStmtClass; 6085f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 6095f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const BreakStmt *) { return true; } 6108297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 6118297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 6128297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 6138297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 6145f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 6155f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6165f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6175f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// ReturnStmt - This represents a return, optionally of an expression. 6185f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 6195f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass ReturnStmt : public Stmt { 6205f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Expr *RetExpr; 621507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff SourceLocation RetLoc; 6225f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 623507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff ReturnStmt(SourceLocation RL, Expr *E = 0) : Stmt(ReturnStmtClass), 624507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff RetExpr(E), RetLoc(RL) {} 6255f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6265f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer const Expr *getRetValue() const { return RetExpr; } 6275f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Expr *getRetValue() { return RetExpr; } 628b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 629507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff virtual SourceRange getSourceRange() const; 6305f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6315f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 6325f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == ReturnStmtClass; 6335f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 6345f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const ReturnStmt *) { return true; } 6358297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 6368297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 6378297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 6388297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 6395f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 6405f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 641fe795956194141c91ae555985c9b930595bff43fChris Lattner/// AsmStmt - This represents a GNU inline-assembly statement extension. 642fe795956194141c91ae555985c9b930595bff43fChris Lattner/// 643fe795956194141c91ae555985c9b930595bff43fChris Lattnerclass AsmStmt : public Stmt { 644fe795956194141c91ae555985c9b930595bff43fChris Lattner SourceLocation AsmLoc, RParenLoc; 645fe795956194141c91ae555985c9b930595bff43fChris Lattner // FIXME: This doesn't capture most of the interesting pieces. 646fe795956194141c91ae555985c9b930595bff43fChris Lattnerpublic: 647fe795956194141c91ae555985c9b930595bff43fChris Lattner AsmStmt(SourceLocation asmloc, SourceLocation rparenloc) 648fe795956194141c91ae555985c9b930595bff43fChris Lattner : Stmt(AsmStmtClass), AsmLoc(asmloc), RParenLoc(rparenloc) {} 649fe795956194141c91ae555985c9b930595bff43fChris Lattner 650fe795956194141c91ae555985c9b930595bff43fChris Lattner virtual SourceRange getSourceRange() const { 651fe795956194141c91ae555985c9b930595bff43fChris Lattner return SourceRange(AsmLoc, RParenLoc); 652fe795956194141c91ae555985c9b930595bff43fChris Lattner } 653fe795956194141c91ae555985c9b930595bff43fChris Lattner 654fe795956194141c91ae555985c9b930595bff43fChris Lattner static bool classof(const Stmt *T) {return T->getStmtClass() == AsmStmtClass;} 655fe795956194141c91ae555985c9b930595bff43fChris Lattner static bool classof(const AsmStmt *) { return true; } 656fe795956194141c91ae555985c9b930595bff43fChris Lattner 657fe795956194141c91ae555985c9b930595bff43fChris Lattner virtual child_iterator child_begin(); 658fe795956194141c91ae555985c9b930595bff43fChris Lattner virtual child_iterator child_end(); 659fe795956194141c91ae555985c9b930595bff43fChris Lattner}; 660b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 661b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian/// ObjcAtCatchStmt - This represents objective-c's @catch statement. 662b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanianclass ObjcAtCatchStmt : public Stmt { 663b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanianprivate: 664b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian // Points to next @catch statement, or null 665b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian ObjcAtCatchStmt *NextAtCatchStmt; 6663b1191d7eaf2f4984564e01ab84b6713a9d80e70Fariborz Jahanian enum { SELECTOR, BODY, END_EXPR }; 6673b1191d7eaf2f4984564e01ab84b6713a9d80e70Fariborz Jahanian Stmt *SubExprs[END_EXPR]; 668b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian SourceLocation AtCatchLoc, RParenLoc; 6693b1191d7eaf2f4984564e01ab84b6713a9d80e70Fariborz Jahanian 670b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanianpublic: 671b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian ObjcAtCatchStmt(SourceLocation atCatchLoc, SourceLocation rparenloc, 6723b1191d7eaf2f4984564e01ab84b6713a9d80e70Fariborz Jahanian Stmt *catchVarStmtDecl, Stmt *atCatchStmt, Stmt *atCatchList) 6733b1191d7eaf2f4984564e01ab84b6713a9d80e70Fariborz Jahanian : Stmt(ObjcAtCatchStmtClass), 6743b1191d7eaf2f4984564e01ab84b6713a9d80e70Fariborz Jahanian AtCatchLoc(atCatchLoc), RParenLoc(rparenloc) { 6753b1191d7eaf2f4984564e01ab84b6713a9d80e70Fariborz Jahanian SubExprs[SELECTOR] = catchVarStmtDecl; 6763b1191d7eaf2f4984564e01ab84b6713a9d80e70Fariborz Jahanian SubExprs[BODY] = atCatchStmt; 6773b1191d7eaf2f4984564e01ab84b6713a9d80e70Fariborz Jahanian SubExprs[END_EXPR] = NULL; 6783b1191d7eaf2f4984564e01ab84b6713a9d80e70Fariborz Jahanian if (!atCatchList) 6793b1191d7eaf2f4984564e01ab84b6713a9d80e70Fariborz Jahanian NextAtCatchStmt = NULL; 6803b1191d7eaf2f4984564e01ab84b6713a9d80e70Fariborz Jahanian else { 6813b1191d7eaf2f4984564e01ab84b6713a9d80e70Fariborz Jahanian ObjcAtCatchStmt *AtCatchList = 6823b1191d7eaf2f4984564e01ab84b6713a9d80e70Fariborz Jahanian static_cast<ObjcAtCatchStmt*>(atCatchList); 6833b1191d7eaf2f4984564e01ab84b6713a9d80e70Fariborz Jahanian while (AtCatchList->NextAtCatchStmt) 6843b1191d7eaf2f4984564e01ab84b6713a9d80e70Fariborz Jahanian AtCatchList = AtCatchList->NextAtCatchStmt; 6853b1191d7eaf2f4984564e01ab84b6713a9d80e70Fariborz Jahanian AtCatchList->NextAtCatchStmt = this; 6863b1191d7eaf2f4984564e01ab84b6713a9d80e70Fariborz Jahanian } 6873b1191d7eaf2f4984564e01ab84b6713a9d80e70Fariborz Jahanian } 688b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 689606efdfeb9eef70871eb62a26dfd115e209e899cFariborz Jahanian const Stmt *getCatchBody() const { return SubExprs[BODY]; } 690606efdfeb9eef70871eb62a26dfd115e209e899cFariborz Jahanian Stmt *getCatchBody() { return SubExprs[BODY]; } 691606efdfeb9eef70871eb62a26dfd115e209e899cFariborz Jahanian const Stmt *getNextCatchStmt() const { return NextAtCatchStmt; } 692606efdfeb9eef70871eb62a26dfd115e209e899cFariborz Jahanian Stmt *getNextCatchStmt() { return NextAtCatchStmt; } 693606efdfeb9eef70871eb62a26dfd115e209e899cFariborz Jahanian const Stmt *getCatchParamStmt() const { return SubExprs[SELECTOR]; } 694606efdfeb9eef70871eb62a26dfd115e209e899cFariborz Jahanian Stmt *getCatchParamStmt() { return SubExprs[SELECTOR]; } 6957794cb85d394750db0631c02b7aa7837ae56764cFariborz Jahanian 696b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian virtual SourceRange getSourceRange() const { 6973b1191d7eaf2f4984564e01ab84b6713a9d80e70Fariborz Jahanian return SourceRange(AtCatchLoc, SubExprs[BODY]->getLocEnd()); 698b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian } 699b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 700b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian static bool classof(const Stmt *T) { 701b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian return T->getStmtClass() == ObjcAtCatchStmtClass; 702b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian } 703b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian static bool classof(const ObjcAtCatchStmt *) { return true; } 704b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 705b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian virtual child_iterator child_begin(); 706b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian virtual child_iterator child_end(); 707b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 708b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian}; 709b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 710b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian/// ObjcAtFinallyStmt - This represent objective-c's @finally Statement 711b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanianclass ObjcAtFinallyStmt : public Stmt { 712b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian private: 713b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian Stmt *AtFinallyStmt; 714b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian SourceLocation AtFinallyLoc; 715b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 716b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian public: 717b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian ObjcAtFinallyStmt(SourceLocation atFinallyLoc, Stmt *atFinallyStmt) 718b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian : Stmt(ObjcAtFinallyStmtClass), 719b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian AtFinallyStmt(atFinallyStmt), AtFinallyLoc(atFinallyLoc) {} 720b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 7217794cb85d394750db0631c02b7aa7837ae56764cFariborz Jahanian Stmt *getFinallyBody () const { return AtFinallyStmt; } 7227794cb85d394750db0631c02b7aa7837ae56764cFariborz Jahanian 723b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian virtual SourceRange getSourceRange() const { 724b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian return SourceRange(AtFinallyLoc, AtFinallyStmt->getLocEnd()); 725b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian } 726b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 727b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian static bool classof(const Stmt *T) { 728b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian return T->getStmtClass() == ObjcAtFinallyStmtClass; 729b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian } 730b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian static bool classof(const ObjcAtFinallyStmt *) { return true; } 731b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 732b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian virtual child_iterator child_begin(); 733b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian virtual child_iterator child_end(); 734b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 735b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian}; 736b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 737b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian/// ObjcAtTryStmt - This represent objective-c's over-all 738b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian/// @try ... @catch ... @finally statement. 739b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanianclass ObjcAtTryStmt : public Stmt { 740b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanianprivate: 741b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian enum { TRY, CATCH, FINALLY, END_TRY }; 742b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian Stmt* SubStmts[END_TRY]; 743b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 744b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian SourceLocation AtTryLoc; 745b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 746b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanianpublic: 747b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian ObjcAtTryStmt(SourceLocation atTryLoc, Stmt *atTryStmt, 748bd49a647afd9cc534fef13cadf652d4e9c396e2bFariborz Jahanian Stmt *atCatchStmt, 749bd49a647afd9cc534fef13cadf652d4e9c396e2bFariborz Jahanian Stmt *atFinallyStmt) 750b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian : Stmt(ObjcAtTryStmtClass), AtTryLoc(atTryLoc) { 751b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian SubStmts[TRY] = atTryStmt; 752b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian SubStmts[CATCH] = atCatchStmt; 753b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian SubStmts[FINALLY] = atFinallyStmt; 754b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian SubStmts[END_TRY] = NULL; 755b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian } 756b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 7577794cb85d394750db0631c02b7aa7837ae56764cFariborz Jahanian Stmt *getTryBody() const { return SubStmts[TRY]; } 7587794cb85d394750db0631c02b7aa7837ae56764cFariborz Jahanian Stmt *getCatchStmts() const { return SubStmts[CATCH]; } 7597794cb85d394750db0631c02b7aa7837ae56764cFariborz Jahanian Stmt *getFinallyStmt() const { return SubStmts[FINALLY]; } 7607794cb85d394750db0631c02b7aa7837ae56764cFariborz Jahanian 761b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian virtual SourceRange getSourceRange() const { 762b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian return SourceRange(AtTryLoc, SubStmts[TRY]->getLocEnd()); 763b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian } 764b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 765b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian static bool classof(const Stmt *T) { 766b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian return T->getStmtClass() == ObjcAtTryStmtClass; 767b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian } 768b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian static bool classof(const ObjcAtTryStmt *) { return true; } 769b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 770b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian virtual child_iterator child_begin(); 771b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian virtual child_iterator child_end(); 772b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 773b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian}; 774fe795956194141c91ae555985c9b930595bff43fChris Lattner 7755f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer} // end namespace clang 7765f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 777cc326204dd97771c336b9aab3b9963ea30d69c29Ted Kremenek//===----------------------------------------------------------------------===// 778cc326204dd97771c336b9aab3b9963ea30d69c29Ted Kremenek// For Stmt serialization. 779cc326204dd97771c336b9aab3b9963ea30d69c29Ted Kremenek//===----------------------------------------------------------------------===// 780cc326204dd97771c336b9aab3b9963ea30d69c29Ted Kremenek 781cc326204dd97771c336b9aab3b9963ea30d69c29Ted Kremeneknamespace llvm { 782cc326204dd97771c336b9aab3b9963ea30d69c29Ted Kremenek 783cc326204dd97771c336b9aab3b9963ea30d69c29Ted Kremenektemplate<> struct SerializeTrait<clang::Stmt> { 7842e7d352dbec06755105237afba183492d31d03cbTed Kremenek static void Emit(Serializer& S, const clang::Stmt& stmt); 785cc326204dd97771c336b9aab3b9963ea30d69c29Ted Kremenek static clang::Stmt* Materialize(Deserializer& D); 786cc326204dd97771c336b9aab3b9963ea30d69c29Ted Kremenek}; 787cc326204dd97771c336b9aab3b9963ea30d69c29Ted Kremenek 788cc326204dd97771c336b9aab3b9963ea30d69c29Ted Kremenek} // end namespace llvm 789cc326204dd97771c336b9aab3b9963ea30d69c29Ted Kremenek 7905f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#endif 791