Stmt.h revision 6e340496341a4704be0ede9c1ff4f8eacea7ee2c
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 177573098b83e780d1c5bea13b384b610d8f155676Steve Naroff#include "llvm/Support/Casting.h" 185f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#include "clang/Basic/SourceLocation.h" 199caf8b1ca6beb254f420dada3c0e94d5ef027f58Ted Kremenek#include "clang/AST/StmtIterator.h" 205f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#include "llvm/ADT/SmallVector.h" 2177ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek#include "llvm/ADT/iterator" 220a449eed1dd2439b4b9c0a6291084816eab390c1Ted Kremenek#include "llvm/Bitcode/SerializationFwd.h" 235f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#include <iosfwd> 246e340496341a4704be0ede9c1ff4f8eacea7ee2cChris Lattner#include <string> 255f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 267573098b83e780d1c5bea13b384b610d8f155676Steve Naroffusing llvm::dyn_cast_or_null; 277573098b83e780d1c5bea13b384b610d8f155676Steve Naroff 285f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencernamespace clang { 295f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer class Expr; 305f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer class Decl; 318e74c93ddaa8268a999e1b25c723dc1984a434b4Steve Naroff class ScopedDecl; 325f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer class IdentifierInfo; 330c727a35718556866a978f64ac549d9798735f08Chris Lattner class SourceManager; 346a0ef4b83c91a6d6d5acb4ed5577c4659fe022a3Anders Carlsson class StringLiteral; 356c36be5b383875b490684bcf439d6d427298c1afChris Lattner class SwitchStmt; 3642a509f6a4f71bb805cc4abbb26722a34dffdddeTed Kremenek class PrinterHelper; 3742a509f6a4f71bb805cc4abbb26722a34dffdddeTed Kremenek 385f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// Stmt - This represents one statement. 395f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 405f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass Stmt { 415f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 425f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer enum StmtClass { 435f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#define STMT(N, CLASS, PARENT) CLASS##Class = N, 445f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#define FIRST_STMT(N) firstStmtConstant = N, 455f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#define LAST_STMT(N) lastStmtConstant = N, 465f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#define FIRST_EXPR(N) firstExprConstant = N, 475f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#define LAST_EXPR(N) lastExprConstant = N 485f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#include "clang/AST/StmtNodes.def" 495f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 505f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerprivate: 515f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer const StmtClass sClass; 525f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 535f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Stmt(StmtClass SC) : sClass(SC) { 545f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer if (Stmt::CollectingStats()) Stmt::addStmtClass(SC); 555f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 565f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer virtual ~Stmt() {} 575f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 585f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer StmtClass getStmtClass() const { return sClass; } 595f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer const char *getStmtClassName() const; 60b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 61b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff /// SourceLocation tokens are not useful in isolation - they are low level 62b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff /// value objects created/interpreted by SourceManager. We assume AST 63b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff /// clients will have a pointer to the respective SourceManager. 64b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const = 0; 65311ff02fae0392bee6abe7723cdf5a69b2899a47Chris Lattner SourceLocation getLocStart() const { return getSourceRange().getBegin(); } 66311ff02fae0392bee6abe7723cdf5a69b2899a47Chris Lattner SourceLocation getLocEnd() const { return getSourceRange().getEnd(); } 675f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 685f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // global temp stats (until we have a per-module visitor) 695f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static void addStmtClass(const StmtClass s); 705f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool CollectingStats(bool enable=false); 715f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static void PrintStats(); 726000dace22f110d8768476989313e9d981d690d0Chris Lattner 736000dace22f110d8768476989313e9d981d690d0Chris Lattner /// dump - This does a local dump of the specified AST fragment. It dumps the 746000dace22f110d8768476989313e9d981d690d0Chris Lattner /// specified node and a few nodes underneath it, but not the whole subtree. 756000dace22f110d8768476989313e9d981d690d0Chris Lattner /// This is useful in a debugger. 765f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void dump() const; 77e300c870f08d08badf2ebcb53ded49f304af37fcChris Lattner void dump(SourceManager &SM) const; 786000dace22f110d8768476989313e9d981d690d0Chris Lattner 796000dace22f110d8768476989313e9d981d690d0Chris Lattner /// dumpAll - This does a dump of the specified AST fragment and all subtrees. 806000dace22f110d8768476989313e9d981d690d0Chris Lattner void dumpAll() const; 81e300c870f08d08badf2ebcb53ded49f304af37fcChris Lattner void dumpAll(SourceManager &SM) const; 826000dace22f110d8768476989313e9d981d690d0Chris Lattner 836000dace22f110d8768476989313e9d981d690d0Chris Lattner /// dumpPretty/printPretty - These two methods do a "pretty print" of the AST 846000dace22f110d8768476989313e9d981d690d0Chris Lattner /// back to its original source language syntax. 856000dace22f110d8768476989313e9d981d690d0Chris Lattner void dumpPretty() const; 8642a509f6a4f71bb805cc4abbb26722a34dffdddeTed Kremenek void printPretty(std::ostream &OS, PrinterHelper* = NULL) const; 875f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 88d2a4a1af1088fca80e2dc76eb3369db0fbbfdefdTed Kremenek /// viewAST - Visualize an AST rooted at this Stmt* using GraphViz. Only 89d2a4a1af1088fca80e2dc76eb3369db0fbbfdefdTed Kremenek /// works on systems with GraphViz (Mac OS X) or dot+gv installed. 90d2a4a1af1088fca80e2dc76eb3369db0fbbfdefdTed Kremenek void viewAST() const; 91d2a4a1af1088fca80e2dc76eb3369db0fbbfdefdTed Kremenek 925f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // Implement isa<T> support. 938297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek static bool classof(const Stmt *) { return true; } 9477ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek 95d48ade633d96b94cb435d73e2c935ea457152decTed Kremenek /// hasImplicitControlFlow - Some statements (e.g. short circuited operations) 96d48ade633d96b94cb435d73e2c935ea457152decTed Kremenek /// contain implicit control-flow in the order their subexpressions 97d48ade633d96b94cb435d73e2c935ea457152decTed Kremenek /// are evaluated. This predicate returns true if this statement has 98d48ade633d96b94cb435d73e2c935ea457152decTed Kremenek /// such implicit control-flow. Such statements are also specially handled 99d48ade633d96b94cb435d73e2c935ea457152decTed Kremenek /// within CFGs. 100d48ade633d96b94cb435d73e2c935ea457152decTed Kremenek bool hasImplicitControlFlow() const; 101d48ade633d96b94cb435d73e2c935ea457152decTed Kremenek 10277ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek /// Child Iterators: All subclasses must implement child_begin and child_end 10377ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek /// to permit easy iteration over the substatements/subexpessions of an 10477ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek /// AST node. This permits easy iteration over all nodes in the AST. 1059caf8b1ca6beb254f420dada3c0e94d5ef027f58Ted Kremenek typedef StmtIterator child_iterator; 1069caf8b1ca6beb254f420dada3c0e94d5ef027f58Ted Kremenek typedef ConstStmtIterator const_child_iterator; 10777ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek 1088297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin() = 0; 1098297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end() = 0; 11077ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek 11177ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek const_child_iterator child_begin() const { 1129caf8b1ca6beb254f420dada3c0e94d5ef027f58Ted Kremenek return const_child_iterator(const_cast<Stmt*>(this)->child_begin()); 11377ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek } 11477ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek 11577ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek const_child_iterator child_end() const { 1169caf8b1ca6beb254f420dada3c0e94d5ef027f58Ted Kremenek return const_child_iterator(const_cast<Stmt*>(this)->child_end()); 11777ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek } 1182dc9ac73a8a34cabf261a81a1653d7379065ac61Ted Kremenek 1192dc9ac73a8a34cabf261a81a1653d7379065ac61Ted Kremenek void Emit(llvm::Serializer& S) const; 1200f84c0059cec39fd1c73ac05bc2864dca664e7f4Ted Kremenek static Stmt* Create(llvm::Deserializer& D); 1212dc9ac73a8a34cabf261a81a1653d7379065ac61Ted Kremenek 122ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const { 1232dc9ac73a8a34cabf261a81a1653d7379065ac61Ted Kremenek // This method will eventually be a pure-virtual function. 1242dc9ac73a8a34cabf261a81a1653d7379065ac61Ted Kremenek assert (false && "Not implemented."); 1252dc9ac73a8a34cabf261a81a1653d7379065ac61Ted Kremenek } 1265f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 1275f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1285f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// DeclStmt - Adaptor class for mixing declarations with statements and 1295f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// expressions. For example, CompoundStmt mixes statements, expressions 1305f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// and declarations (variables, types). Another example is ForStmt, where 1315f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// the first statement can be an expression or a declaration. 1325f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 1335f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass DeclStmt : public Stmt { 1348e74c93ddaa8268a999e1b25c723dc1984a434b4Steve Naroff ScopedDecl *TheDecl; 1355f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 1368e74c93ddaa8268a999e1b25c723dc1984a434b4Steve Naroff DeclStmt(ScopedDecl *D) : Stmt(DeclStmtClass), TheDecl(D) {} 1375f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1388e74c93ddaa8268a999e1b25c723dc1984a434b4Steve Naroff const ScopedDecl *getDecl() const { return TheDecl; } 1398e74c93ddaa8268a999e1b25c723dc1984a434b4Steve Naroff ScopedDecl *getDecl() { return TheDecl; } 140b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 141b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { return SourceRange(); } 1425f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1435f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 1445f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == DeclStmtClass; 1455f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 1465f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const DeclStmt *) { return true; } 1478297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 1488297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 1498297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 1508297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 1510965f446e7685dc01fc0b5e718610530eed3cc63Ted Kremenek 152ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 153ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek static DeclStmt* CreateImpl(llvm::Deserializer& D); 1545f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 1555f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1565f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// NullStmt - This is the null statement ";": C99 6.8.3p3. 1575f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 1585f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass NullStmt : public Stmt { 1595f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation SemiLoc; 1605f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 1615f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer NullStmt(SourceLocation L) : Stmt(NullStmtClass), SemiLoc(L) {} 1625f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1635f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation getSemiLoc() const { return SemiLoc; } 164b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 165507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff virtual SourceRange getSourceRange() const { return SourceRange(SemiLoc); } 1665f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1675f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 1685f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == NullStmtClass; 1695f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 1705f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const NullStmt *) { return true; } 1718297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 1728297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 1738297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 1748297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 1754927be6102784fc69c50234f7e2253283b3e99e4Ted Kremenek 176ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 177ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek static NullStmt* CreateImpl(llvm::Deserializer& D); 1785f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 1795f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1805f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// CompoundStmt - This represents a group of statements like { stmt stmt }. 1815f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 1825f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass CompoundStmt : public Stmt { 1835f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer llvm::SmallVector<Stmt*, 16> Body; 184b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation LBracLoc, RBracLoc; 1855f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 186b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff CompoundStmt(Stmt **StmtStart, unsigned NumStmts, 187b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation LB, SourceLocation RB) 188b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff : Stmt(CompoundStmtClass), Body(StmtStart, StmtStart+NumStmts), 189b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff LBracLoc(LB), RBracLoc(RB) {} 19054395d440dc82a5e51b945c6c2a7f4bc4bea0358Ted Kremenek 191ab18c4c0ac1a46a38aa84c2c8ea485612e21a614Chris Lattner bool body_empty() const { return Body.empty(); } 192ab18c4c0ac1a46a38aa84c2c8ea485612e21a614Chris Lattner 1935f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer typedef llvm::SmallVector<Stmt*, 16>::iterator body_iterator; 1945f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer body_iterator body_begin() { return Body.begin(); } 1955f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer body_iterator body_end() { return Body.end(); } 196ab18c4c0ac1a46a38aa84c2c8ea485612e21a614Chris Lattner Stmt *body_back() { return Body.back(); } 1975f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1985f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer typedef llvm::SmallVector<Stmt*, 16>::const_iterator const_body_iterator; 1995f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer const_body_iterator body_begin() const { return Body.begin(); } 2005f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer const_body_iterator body_end() const { return Body.end(); } 201ab18c4c0ac1a46a38aa84c2c8ea485612e21a614Chris Lattner const Stmt *body_back() const { return Body.back(); } 2024ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek 2034ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek typedef llvm::SmallVector<Stmt*, 16>::reverse_iterator reverse_body_iterator; 2044ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek reverse_body_iterator body_rbegin() { return Body.rbegin(); } 2054ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek reverse_body_iterator body_rend() { return Body.rend(); } 2064ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek 2074ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek typedef llvm::SmallVector<Stmt*, 16>::const_reverse_iterator 2084ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek const_reverse_body_iterator; 2094ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek const_reverse_body_iterator body_rbegin() const { return Body.rbegin(); } 2104ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek const_reverse_body_iterator body_rend() const { return Body.rend(); } 2114ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek 2125f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void push_back(Stmt *S) { Body.push_back(S); } 213b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 214b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 215b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(LBracLoc, RBracLoc); 216b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 21754395d440dc82a5e51b945c6c2a7f4bc4bea0358Ted Kremenek 218cc326204dd97771c336b9aab3b9963ea30d69c29Ted Kremenek SourceLocation getLBracLoc() const { return LBracLoc; } 219cc326204dd97771c336b9aab3b9963ea30d69c29Ted Kremenek SourceLocation getRBracLoc() const { return RBracLoc; } 22054395d440dc82a5e51b945c6c2a7f4bc4bea0358Ted Kremenek 2215f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 2225f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == CompoundStmtClass; 2235f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 2245f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const CompoundStmt *) { return true; } 2258297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 2268297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 2278297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 2288297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 2292dc9ac73a8a34cabf261a81a1653d7379065ac61Ted Kremenek 230ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 231ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek static CompoundStmt* CreateImpl(llvm::Deserializer& D); 2325f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 2335f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 234c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson// SwitchCase is the base class for CaseStmt and DefaultStmt, 235c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlssonclass SwitchCase : public Stmt { 236103fc81f12aa635aa0a573c94b1aceb496b4e587Ted Kremenekprotected: 237c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson // A pointer to the following CaseStmt or DefaultStmt class, 238c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson // used by SwitchStmt. 239c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson SwitchCase *NextSwitchCase; 240103fc81f12aa635aa0a573c94b1aceb496b4e587Ted Kremenek 241d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek SwitchCase(StmtClass SC) : Stmt(SC), NextSwitchCase(0) {} 242c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson 243c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlssonpublic: 244c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson const SwitchCase *getNextSwitchCase() const { return NextSwitchCase; } 245c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson 246c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson SwitchCase *getNextSwitchCase() { return NextSwitchCase; } 247c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson 248c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson void setNextSwitchCase(SwitchCase *SC) { NextSwitchCase = SC; } 249d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek 250d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek virtual Stmt* v_getSubStmt() = 0; 251d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek Stmt *getSubStmt() { return v_getSubStmt(); } 252b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 253b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { return SourceRange(); } 254edcc752060be38bfa7e7b32691c0cc4d843622a8Ted Kremenek 255c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson static bool classof(const Stmt *T) { 256c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson return T->getStmtClass() == CaseStmtClass || 257c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson T->getStmtClass() == DefaultStmtClass; 258c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson } 259c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson static bool classof(const SwitchCase *) { return true; } 260c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson}; 261c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson 262c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlssonclass CaseStmt : public SwitchCase { 263d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek enum { SUBSTMT, LHS, RHS, END_EXPR }; 264d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek Stmt* SubExprs[END_EXPR]; // The expression for the RHS is Non-null for 265d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek // GNU "case 1 ... 4" extension 266b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation CaseLoc; 2675f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 268b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff CaseStmt(Expr *lhs, Expr *rhs, Stmt *substmt, SourceLocation caseLoc) 269d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek : SwitchCase(CaseStmtClass) { 270d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek SubExprs[SUBSTMT] = substmt; 271d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek SubExprs[LHS] = reinterpret_cast<Stmt*>(lhs); 272d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek SubExprs[RHS] = reinterpret_cast<Stmt*>(rhs); 273b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff CaseLoc = caseLoc; 274d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek } 2755f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 276764a7ce5217f9569e100a3445f47496ee82daf86Chris Lattner SourceLocation getCaseLoc() const { return CaseLoc; } 277764a7ce5217f9569e100a3445f47496ee82daf86Chris Lattner 278d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek Expr *getLHS() { return reinterpret_cast<Expr*>(SubExprs[LHS]); } 279d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek Expr *getRHS() { return reinterpret_cast<Expr*>(SubExprs[RHS]); } 280d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek Stmt *getSubStmt() { return SubExprs[SUBSTMT]; } 281d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek virtual Stmt* v_getSubStmt() { return getSubStmt(); } 28251b09f2c528c8460b5465c676173324e44176d62Devang Patel const Expr *getLHS() const { 28351b09f2c528c8460b5465c676173324e44176d62Devang Patel return reinterpret_cast<const Expr*>(SubExprs[LHS]); 28451b09f2c528c8460b5465c676173324e44176d62Devang Patel } 28551b09f2c528c8460b5465c676173324e44176d62Devang Patel const Expr *getRHS() const { 28651b09f2c528c8460b5465c676173324e44176d62Devang Patel return reinterpret_cast<const Expr*>(SubExprs[RHS]); 28751b09f2c528c8460b5465c676173324e44176d62Devang Patel } 28851b09f2c528c8460b5465c676173324e44176d62Devang Patel const Stmt *getSubStmt() const { return SubExprs[SUBSTMT]; } 2895f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 290b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 291b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(CaseLoc, SubExprs[SUBSTMT]->getLocEnd()); 292b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 2935f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 2945f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == CaseStmtClass; 2955f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 2965f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const CaseStmt *) { return true; } 297d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek 298d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek // Iterators 299d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek virtual child_iterator child_begin(); 300d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek virtual child_iterator child_end(); 3019eea2ca5f2cb5d77569274702b5b06273e426dc2Ted Kremenek 302ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 303ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek static CaseStmt* CreateImpl(llvm::Deserializer& D); 3045f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 3055f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 306c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlssonclass DefaultStmt : public SwitchCase { 307d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek Stmt* SubStmt; 3086c36be5b383875b490684bcf439d6d427298c1afChris Lattner SourceLocation DefaultLoc; 3095f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 310edcc752060be38bfa7e7b32691c0cc4d843622a8Ted Kremenek DefaultStmt(SourceLocation DL, Stmt *substmt) : 311d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek SwitchCase(DefaultStmtClass), SubStmt(substmt), DefaultLoc(DL) {} 312b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 313d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek Stmt *getSubStmt() { return SubStmt; } 314d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek virtual Stmt* v_getSubStmt() { return getSubStmt(); } 31551b09f2c528c8460b5465c676173324e44176d62Devang Patel const Stmt *getSubStmt() const { return SubStmt; } 316d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek 3176c36be5b383875b490684bcf439d6d427298c1afChris Lattner SourceLocation getDefaultLoc() const { return DefaultLoc; } 3185f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 319b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 320b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(DefaultLoc, SubStmt->getLocEnd()); 321b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 3225f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 3235f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == DefaultStmtClass; 3245f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 3255f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const DefaultStmt *) { return true; } 326d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek 327d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek // Iterators 328d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek virtual child_iterator child_begin(); 329d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek virtual child_iterator child_end(); 3309eea2ca5f2cb5d77569274702b5b06273e426dc2Ted Kremenek 331ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 332ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek static DefaultStmt* CreateImpl(llvm::Deserializer& D); 3335f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 3345f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3355f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass LabelStmt : public Stmt { 3365f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer IdentifierInfo *Label; 3375f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Stmt *SubStmt; 338b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation IdentLoc; 3395f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 340b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff LabelStmt(SourceLocation IL, IdentifierInfo *label, Stmt *substmt) 341b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff : Stmt(LabelStmtClass), Label(label), 342b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SubStmt(substmt), IdentLoc(IL) {} 3435f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3445f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation getIdentLoc() const { return IdentLoc; } 3455f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer IdentifierInfo *getID() const { return Label; } 3465f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer const char *getName() const; 3475f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Stmt *getSubStmt() { return SubStmt; } 3485f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer const Stmt *getSubStmt() const { return SubStmt; } 3495f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3505f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void setIdentLoc(SourceLocation L) { IdentLoc = L; } 3515f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void setSubStmt(Stmt *SS) { SubStmt = SS; } 352b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 353b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 354b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(IdentLoc, SubStmt->getLocEnd()); 355b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 3565f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 3575f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == LabelStmtClass; 3585f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 3595f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const LabelStmt *) { return true; } 3608297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 3618297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 3628297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 3638297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 364b15132fda52046ba65eafd6f4b448f7aa16b7e8dTed Kremenek 365ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 366ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek static LabelStmt* CreateImpl(llvm::Deserializer& D); 3675f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 3685f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3695f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3705f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// IfStmt - This represents an if/then/else. 3715f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 3725f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass IfStmt : public Stmt { 3738297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek enum { COND, THEN, ELSE, END_EXPR }; 3748297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt* SubExprs[END_EXPR]; 375b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation IfLoc; 3765f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 377b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff IfStmt(SourceLocation IL, Expr *cond, Stmt *then, Stmt *elsev = 0) 378b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff : Stmt(IfStmtClass) { 3798297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[COND] = reinterpret_cast<Stmt*>(cond); 3808297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[THEN] = then; 3818297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[ELSE] = elsev; 382b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff IfLoc = IL; 3838297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek } 3845f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3858297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Expr *getCond() const { return reinterpret_cast<Expr*>(SubExprs[COND]);} 3868297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Stmt *getThen() const { return SubExprs[THEN]; } 3878297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Stmt *getElse() const { return SubExprs[ELSE]; } 3885f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3898297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Expr *getCond() { return reinterpret_cast<Expr*>(SubExprs[COND]); } 3908297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt *getThen() { return SubExprs[THEN]; } 3918297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt *getElse() { return SubExprs[ELSE]; } 392b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 393b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 394b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff if (SubExprs[ELSE]) 395b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(IfLoc, SubExprs[ELSE]->getLocEnd()); 396b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff else 397b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(IfLoc, SubExprs[THEN]->getLocEnd()); 398b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 3995f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 4005f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 4015f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == IfStmtClass; 4025f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 4035f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const IfStmt *) { return true; } 4048297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 4058297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 4068297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 4078297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 4084210f3dfd73ad3482f9cfa0a382e1fd78f22976dTed Kremenek 409ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 410ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek static IfStmt* CreateImpl(llvm::Deserializer& D); 4115f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 4125f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 4135f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// SwitchStmt - This represents a 'switch' stmt. 4145f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 4155f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass SwitchStmt : public Stmt { 4168297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek enum { COND, BODY, END_EXPR }; 4178297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt* SubExprs[END_EXPR]; 418c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson // This points to a linked list of case and default statements. 419c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson SwitchCase *FirstCase; 4209dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff SourceLocation SwitchLoc; 4215f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 4228297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SwitchStmt(Expr *cond) : Stmt(SwitchStmtClass), FirstCase(0) { 4238297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[COND] = reinterpret_cast<Stmt*>(cond); 4248297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[BODY] = NULL; 4258297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek } 4265f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 4278297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Expr *getCond() const { return reinterpret_cast<Expr*>(SubExprs[COND]);} 4288297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Stmt *getBody() const { return SubExprs[BODY]; } 429c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson const SwitchCase *getSwitchCaseList() const { return FirstCase; } 430c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson 4318297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Expr *getCond() { return reinterpret_cast<Expr*>(SubExprs[COND]);} 4328297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt *getBody() { return SubExprs[BODY]; } 433c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson SwitchCase *getSwitchCaseList() { return FirstCase; } 434c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson 4359dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff void setBody(Stmt *S, SourceLocation SL) { 4369dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff SubExprs[BODY] = S; 4379dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff SwitchLoc = SL; 4389dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff } 439c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson void addSwitchCase(SwitchCase *SC) { 440c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson if (FirstCase) 441c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson SC->setNextSwitchCase(FirstCase); 442c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson 443c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson FirstCase = SC; 444c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson } 4459dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff virtual SourceRange getSourceRange() const { 4469dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff return SourceRange(SwitchLoc, SubExprs[BODY]->getLocEnd()); 4479dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff } 4485f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 4495f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == SwitchStmtClass; 4505f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 4515f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const SwitchStmt *) { return true; } 4528297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 4538297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 4548297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 4558297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 4569eea2ca5f2cb5d77569274702b5b06273e426dc2Ted Kremenek 457ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 458ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek static SwitchStmt* CreateImpl(llvm::Deserializer& D); 4595f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 4605f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 4615f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 4625f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// WhileStmt - This represents a 'while' stmt. 4635f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 4645f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass WhileStmt : public Stmt { 4658297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek enum { COND, BODY, END_EXPR }; 4668297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt* SubExprs[END_EXPR]; 467b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation WhileLoc; 4685f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 469b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff WhileStmt(Expr *cond, Stmt *body, SourceLocation WL) : Stmt(WhileStmtClass) { 4708297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[COND] = reinterpret_cast<Stmt*>(cond); 4718297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[BODY] = body; 472b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff WhileLoc = WL; 4738297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek } 4745f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 4758297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Expr *getCond() { return reinterpret_cast<Expr*>(SubExprs[COND]); } 4768297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Expr *getCond() const { return reinterpret_cast<Expr*>(SubExprs[COND]);} 4778297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt *getBody() { return SubExprs[BODY]; } 4788297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Stmt *getBody() const { return SubExprs[BODY]; } 479b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 480b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 481b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(WhileLoc, SubExprs[BODY]->getLocEnd()); 482b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 4835f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 4845f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == WhileStmtClass; 4855f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 4865f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const WhileStmt *) { return true; } 4878297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 4888297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 4898297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 4908297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 4915572b94b76a78a35bac32d1ef04907c7a651adbaTed Kremenek 492ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 493ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek static WhileStmt* CreateImpl(llvm::Deserializer& D); 4945f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 4955f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 4965f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// DoStmt - This represents a 'do/while' stmt. 4975f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 4985f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass DoStmt : public Stmt { 4998297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek enum { COND, BODY, END_EXPR }; 5008297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt* SubExprs[END_EXPR]; 501b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation DoLoc; 5025f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 503b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff DoStmt(Stmt *body, Expr *cond, SourceLocation DL) 504b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff : Stmt(DoStmtClass), DoLoc(DL) { 5058297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[COND] = reinterpret_cast<Stmt*>(cond); 5068297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[BODY] = body; 507b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff DoLoc = DL; 5088297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek } 5095f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5108297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Expr *getCond() { return reinterpret_cast<Expr*>(SubExprs[COND]); } 5118297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Expr *getCond() const { return reinterpret_cast<Expr*>(SubExprs[COND]);} 5128297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt *getBody() { return SubExprs[BODY]; } 5138297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Stmt *getBody() const { return SubExprs[BODY]; } 514b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 515b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 516b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(DoLoc, SubExprs[BODY]->getLocEnd()); 517b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 5185f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 5195f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == DoStmtClass; 5205f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 5215f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const DoStmt *) { return true; } 5228297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 5238297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 5248297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 5258297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 526e3299ef345bb8a71901108bf83a824591eae6c1aTed Kremenek 527ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 528ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek static DoStmt* CreateImpl(llvm::Deserializer& D); 5295f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 5305f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5315f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5325f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// ForStmt - This represents a 'for (init;cond;inc)' stmt. Note that any of 5335f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// the init/cond/inc parts of the ForStmt will be null if they were not 5345f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// specified in the source. 5355f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 5365f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass ForStmt : public Stmt { 5378297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek enum { INIT, COND, INC, BODY, END_EXPR }; 5388297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt* SubExprs[END_EXPR]; // SubExprs[INIT] is an expression or declstmt. 539b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation ForLoc; 5405f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 541b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff ForStmt(Stmt *Init, Expr *Cond, Expr *Inc, Stmt *Body, SourceLocation FL) 542b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff : Stmt(ForStmtClass) { 543af458c9f658335bdea482395ff4a25c75935e129Chris Lattner SubExprs[INIT] = Init; 544af458c9f658335bdea482395ff4a25c75935e129Chris Lattner SubExprs[COND] = reinterpret_cast<Stmt*>(Cond); 545af458c9f658335bdea482395ff4a25c75935e129Chris Lattner SubExprs[INC] = reinterpret_cast<Stmt*>(Inc); 546af458c9f658335bdea482395ff4a25c75935e129Chris Lattner SubExprs[BODY] = Body; 547b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff ForLoc = FL; 548af458c9f658335bdea482395ff4a25c75935e129Chris Lattner } 5495f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5508297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt *getInit() { return SubExprs[INIT]; } 5518297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Expr *getCond() { return reinterpret_cast<Expr*>(SubExprs[COND]); } 5528297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Expr *getInc() { return reinterpret_cast<Expr*>(SubExprs[INC]); } 5538297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt *getBody() { return SubExprs[BODY]; } 5548297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 5558297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Stmt *getInit() const { return SubExprs[INIT]; } 5568297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Expr *getCond() const { return reinterpret_cast<Expr*>(SubExprs[COND]);} 5578297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Expr *getInc() const { return reinterpret_cast<Expr*>(SubExprs[INC]); } 5588297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Stmt *getBody() const { return SubExprs[BODY]; } 559b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 560b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 561b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(ForLoc, SubExprs[BODY]->getLocEnd()); 562b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 5635f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 5645f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == ForStmtClass; 5655f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 5665f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const ForStmt *) { return true; } 5678297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 5688297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 5698297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 5708297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 57107ba046c7d7bbc1f42b86b3ed012eec8fc7849daTed Kremenek 572ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 573ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek static ForStmt* CreateImpl(llvm::Deserializer& D); 5745f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 5755f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5765f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// GotoStmt - This represents a direct goto. 5775f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 5785f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass GotoStmt : public Stmt { 5795f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer LabelStmt *Label; 580507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff SourceLocation GotoLoc; 58161f62165220e75694fe333179c78815e2e48d71fTed Kremenek SourceLocation LabelLoc; 5825f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 58361f62165220e75694fe333179c78815e2e48d71fTed Kremenek GotoStmt(LabelStmt *label, SourceLocation GL, SourceLocation LL) 58461f62165220e75694fe333179c78815e2e48d71fTed Kremenek : Stmt(GotoStmtClass), Label(label), GotoLoc(GL), LabelLoc(LL) {} 5855f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5865f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer LabelStmt *getLabel() const { return Label; } 587b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 588507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff virtual SourceRange getSourceRange() const { 58961f62165220e75694fe333179c78815e2e48d71fTed Kremenek return SourceRange(GotoLoc, LabelLoc); 590507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff } 5915f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 5925f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == GotoStmtClass; 5935f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 5945f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const GotoStmt *) { return true; } 5958297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 5968297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 5978297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 5988297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 5993f0767b74b16b37bcce60ff457609161a0665784Ted Kremenek 600ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 601ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek static GotoStmt* CreateImpl(llvm::Deserializer& D); 6025f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 6035f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6045f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// IndirectGotoStmt - This represents an indirect goto. 6055f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 6065f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass IndirectGotoStmt : public Stmt { 6075f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Expr *Target; 608225a2d946f73aed3b38f265fcb4e7d7d88136928Ted Kremenek // FIXME: Add location information (e.g. SourceLocation objects). 609225a2d946f73aed3b38f265fcb4e7d7d88136928Ted Kremenek // When doing so, update the serialization routines. 6105f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 6116000dace22f110d8768476989313e9d981d690d0Chris Lattner IndirectGotoStmt(Expr *target) : Stmt(IndirectGotoStmtClass), Target(target){} 6125f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6135f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Expr *getTarget() { return Target; } 6146000dace22f110d8768476989313e9d981d690d0Chris Lattner const Expr *getTarget() const { return Target; } 615b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 616b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { return SourceRange(); } 6175f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6185f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 6195f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == IndirectGotoStmtClass; 6205f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 6215f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const IndirectGotoStmt *) { return true; } 6228297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 6238297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 6248297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 6258297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 626225a2d946f73aed3b38f265fcb4e7d7d88136928Ted Kremenek 627ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 628ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek static IndirectGotoStmt* CreateImpl(llvm::Deserializer& D); 6295f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 6305f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6315f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6325f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// ContinueStmt - This represents a continue. 6335f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 6345f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass ContinueStmt : public Stmt { 635507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff SourceLocation ContinueLoc; 6365f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 637507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff ContinueStmt(SourceLocation CL) : Stmt(ContinueStmtClass), ContinueLoc(CL) {} 638b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 639507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff virtual SourceRange getSourceRange() const { 640507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff return SourceRange(ContinueLoc); 641507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff } 6425f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 6435f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == ContinueStmtClass; 6445f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 6455f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const ContinueStmt *) { return true; } 6468297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 6478297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 6488297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 6498297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 65096f22423c52c22d263b4e5f7ee762122b607459eTed Kremenek 651ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 652ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek static ContinueStmt* CreateImpl(llvm::Deserializer& D); 6535f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 6545f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6555f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// BreakStmt - This represents a break. 6565f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 6575f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass BreakStmt : public Stmt { 658507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff SourceLocation BreakLoc; 6595f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 660507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff BreakStmt(SourceLocation BL) : Stmt(BreakStmtClass), BreakLoc(BL) {} 661b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 662507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff virtual SourceRange getSourceRange() const { return SourceRange(BreakLoc); } 663b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 6645f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 6655f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == BreakStmtClass; 6665f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 6675f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const BreakStmt *) { return true; } 6688297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 6698297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 6708297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 6718297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 6729eea2ca5f2cb5d77569274702b5b06273e426dc2Ted Kremenek 673ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 674ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek static BreakStmt* CreateImpl(llvm::Deserializer& D); 6755f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 6765f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6775f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6785f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// ReturnStmt - This represents a return, optionally of an expression. 6795f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 6805f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass ReturnStmt : public Stmt { 6815f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Expr *RetExpr; 682507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff SourceLocation RetLoc; 6835f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 684507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff ReturnStmt(SourceLocation RL, Expr *E = 0) : Stmt(ReturnStmtClass), 685507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff RetExpr(E), RetLoc(RL) {} 6865f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6875f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer const Expr *getRetValue() const { return RetExpr; } 6885f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Expr *getRetValue() { return RetExpr; } 689b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 690507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff virtual SourceRange getSourceRange() const; 6915f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6925f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 6935f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == ReturnStmtClass; 6945f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 6955f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const ReturnStmt *) { return true; } 6968297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 6978297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 6988297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 6998297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 7002dc9ac73a8a34cabf261a81a1653d7379065ac61Ted Kremenek 701ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 702ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek static ReturnStmt* CreateImpl(llvm::Deserializer& D); 7035f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 7045f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 705fe795956194141c91ae555985c9b930595bff43fChris Lattner/// AsmStmt - This represents a GNU inline-assembly statement extension. 706fe795956194141c91ae555985c9b930595bff43fChris Lattner/// 707fe795956194141c91ae555985c9b930595bff43fChris Lattnerclass AsmStmt : public Stmt { 708fe795956194141c91ae555985c9b930595bff43fChris Lattner SourceLocation AsmLoc, RParenLoc; 7096a0ef4b83c91a6d6d5acb4ed5577c4659fe022a3Anders Carlsson StringLiteral *AsmStr; 710b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson 71139c47b56f45437bbc49c9568b7308a400234a730Anders Carlsson bool IsVolatile; 71239c47b56f45437bbc49c9568b7308a400234a730Anders Carlsson 713b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson unsigned NumOutputs; 714b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson unsigned NumInputs; 715b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson 716b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson llvm::SmallVector<std::string, 4> Names; 717b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson llvm::SmallVector<StringLiteral*, 4> Constraints; 718b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson llvm::SmallVector<Expr*, 4> Exprs; 719b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson 720b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson llvm::SmallVector<StringLiteral*, 4> Clobbers; 721fe795956194141c91ae555985c9b930595bff43fChris Lattnerpublic: 722b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson AsmStmt(SourceLocation asmloc, 72339c47b56f45437bbc49c9568b7308a400234a730Anders Carlsson bool isvolatile, 724b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson unsigned numoutputs, 725b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson unsigned numinputs, 726b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson std::string *names, 727b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson StringLiteral **constraints, 728b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson Expr **exprs, 729b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson StringLiteral *asmstr, 730b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson unsigned numclobbers, 731b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson StringLiteral **clobbers, 732b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson SourceLocation rparenloc); 733b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson 73439c47b56f45437bbc49c9568b7308a400234a730Anders Carlsson bool isVolatile() const { return IsVolatile; } 73539c47b56f45437bbc49c9568b7308a400234a730Anders Carlsson 736b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson unsigned getNumOutputs() const { return NumOutputs; } 737b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson const std::string &getOutputName(unsigned i) const 738b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson { return Names[i]; } 739d04c6e23f2e10eeb9936778d67f4a1c4a14cc4f6Anders Carlsson const StringLiteral *getOutputConstraint(unsigned i) const 740d04c6e23f2e10eeb9936778d67f4a1c4a14cc4f6Anders Carlsson { return Constraints[i]; } 741b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson StringLiteral *getOutputConstraint(unsigned i) 742b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson { return Constraints[i]; } 743d04c6e23f2e10eeb9936778d67f4a1c4a14cc4f6Anders Carlsson const Expr *getOutputExpr(unsigned i) const { return Exprs[i]; } 744b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson Expr *getOutputExpr(unsigned i) { return Exprs[i]; } 745b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson 746b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson unsigned getNumInputs() const { return NumInputs; } 747b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson const std::string &getInputName(unsigned i) const 748b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson { return Names[i + NumOutputs]; } 749b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson StringLiteral *getInputConstraint(unsigned i) 750b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson { return Constraints[i + NumOutputs]; } 751d04c6e23f2e10eeb9936778d67f4a1c4a14cc4f6Anders Carlsson const StringLiteral *getInputConstraint(unsigned i) const 752d04c6e23f2e10eeb9936778d67f4a1c4a14cc4f6Anders Carlsson { return Constraints[i + NumOutputs]; } 753b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson Expr *getInputExpr(unsigned i) { return Exprs[i + NumOutputs]; } 754d04c6e23f2e10eeb9936778d67f4a1c4a14cc4f6Anders Carlsson const Expr *getInputExpr(unsigned i) const { return Exprs[i + NumOutputs]; } 755d04c6e23f2e10eeb9936778d67f4a1c4a14cc4f6Anders Carlsson 7566a0ef4b83c91a6d6d5acb4ed5577c4659fe022a3Anders Carlsson const StringLiteral *getAsmString() const { return AsmStr; } 7576a0ef4b83c91a6d6d5acb4ed5577c4659fe022a3Anders Carlsson StringLiteral *getAsmString() { return AsmStr; } 7586a0ef4b83c91a6d6d5acb4ed5577c4659fe022a3Anders Carlsson 759b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson unsigned getNumClobbers() const { return Clobbers.size(); } 760b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson StringLiteral *getClobber(unsigned i) { return Clobbers[i]; } 761d04c6e23f2e10eeb9936778d67f4a1c4a14cc4f6Anders Carlsson const StringLiteral *getClobber(unsigned i) const { return Clobbers[i]; } 762b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson 763fe795956194141c91ae555985c9b930595bff43fChris Lattner virtual SourceRange getSourceRange() const { 764fe795956194141c91ae555985c9b930595bff43fChris Lattner return SourceRange(AsmLoc, RParenLoc); 765fe795956194141c91ae555985c9b930595bff43fChris Lattner } 766fe795956194141c91ae555985c9b930595bff43fChris Lattner 767fe795956194141c91ae555985c9b930595bff43fChris Lattner static bool classof(const Stmt *T) {return T->getStmtClass() == AsmStmtClass;} 768fe795956194141c91ae555985c9b930595bff43fChris Lattner static bool classof(const AsmStmt *) { return true; } 769fe795956194141c91ae555985c9b930595bff43fChris Lattner 770fe795956194141c91ae555985c9b930595bff43fChris Lattner virtual child_iterator child_begin(); 771fe795956194141c91ae555985c9b930595bff43fChris Lattner virtual child_iterator child_end(); 7721f85acd5ff54345788b93111197088160fe9f06eTed Kremenek 7731f85acd5ff54345788b93111197088160fe9f06eTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 7741f85acd5ff54345788b93111197088160fe9f06eTed Kremenek static AsmStmt* CreateImpl(llvm::Deserializer& D); 775fe795956194141c91ae555985c9b930595bff43fChris Lattner}; 776b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 777b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian/// ObjcAtCatchStmt - This represents objective-c's @catch statement. 778b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanianclass ObjcAtCatchStmt : public Stmt { 779b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanianprivate: 780b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian // Points to next @catch statement, or null 781b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian ObjcAtCatchStmt *NextAtCatchStmt; 7823b1191d7eaf2f4984564e01ab84b6713a9d80e70Fariborz Jahanian enum { SELECTOR, BODY, END_EXPR }; 7833b1191d7eaf2f4984564e01ab84b6713a9d80e70Fariborz Jahanian Stmt *SubExprs[END_EXPR]; 784b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian SourceLocation AtCatchLoc, RParenLoc; 7853b1191d7eaf2f4984564e01ab84b6713a9d80e70Fariborz Jahanian 786b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanianpublic: 787b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian ObjcAtCatchStmt(SourceLocation atCatchLoc, SourceLocation rparenloc, 7883b1191d7eaf2f4984564e01ab84b6713a9d80e70Fariborz Jahanian Stmt *catchVarStmtDecl, Stmt *atCatchStmt, Stmt *atCatchList) 7897573098b83e780d1c5bea13b384b610d8f155676Steve Naroff : Stmt(ObjcAtCatchStmtClass) { 7903b1191d7eaf2f4984564e01ab84b6713a9d80e70Fariborz Jahanian SubExprs[SELECTOR] = catchVarStmtDecl; 7913b1191d7eaf2f4984564e01ab84b6713a9d80e70Fariborz Jahanian SubExprs[BODY] = atCatchStmt; 7923b1191d7eaf2f4984564e01ab84b6713a9d80e70Fariborz Jahanian if (!atCatchList) 7933b1191d7eaf2f4984564e01ab84b6713a9d80e70Fariborz Jahanian NextAtCatchStmt = NULL; 7943b1191d7eaf2f4984564e01ab84b6713a9d80e70Fariborz Jahanian else { 7953b1191d7eaf2f4984564e01ab84b6713a9d80e70Fariborz Jahanian ObjcAtCatchStmt *AtCatchList = 7963b1191d7eaf2f4984564e01ab84b6713a9d80e70Fariborz Jahanian static_cast<ObjcAtCatchStmt*>(atCatchList); 7973b1191d7eaf2f4984564e01ab84b6713a9d80e70Fariborz Jahanian while (AtCatchList->NextAtCatchStmt) 7983b1191d7eaf2f4984564e01ab84b6713a9d80e70Fariborz Jahanian AtCatchList = AtCatchList->NextAtCatchStmt; 7993b1191d7eaf2f4984564e01ab84b6713a9d80e70Fariborz Jahanian AtCatchList->NextAtCatchStmt = this; 8003b1191d7eaf2f4984564e01ab84b6713a9d80e70Fariborz Jahanian } 8017573098b83e780d1c5bea13b384b610d8f155676Steve Naroff AtCatchLoc = atCatchLoc; 8027573098b83e780d1c5bea13b384b610d8f155676Steve Naroff RParenLoc = rparenloc; 8033b1191d7eaf2f4984564e01ab84b6713a9d80e70Fariborz Jahanian } 804b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 805606efdfeb9eef70871eb62a26dfd115e209e899cFariborz Jahanian const Stmt *getCatchBody() const { return SubExprs[BODY]; } 806606efdfeb9eef70871eb62a26dfd115e209e899cFariborz Jahanian Stmt *getCatchBody() { return SubExprs[BODY]; } 8077573098b83e780d1c5bea13b384b610d8f155676Steve Naroff const ObjcAtCatchStmt *getNextCatchStmt() const { return NextAtCatchStmt; } 8087573098b83e780d1c5bea13b384b610d8f155676Steve Naroff ObjcAtCatchStmt *getNextCatchStmt() { return NextAtCatchStmt; } 809606efdfeb9eef70871eb62a26dfd115e209e899cFariborz Jahanian const Stmt *getCatchParamStmt() const { return SubExprs[SELECTOR]; } 810606efdfeb9eef70871eb62a26dfd115e209e899cFariborz Jahanian Stmt *getCatchParamStmt() { return SubExprs[SELECTOR]; } 8117794cb85d394750db0631c02b7aa7837ae56764cFariborz Jahanian 8127573098b83e780d1c5bea13b384b610d8f155676Steve Naroff SourceLocation getRParenLoc() const { return RParenLoc; } 8137573098b83e780d1c5bea13b384b610d8f155676Steve Naroff 814b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian virtual SourceRange getSourceRange() const { 8153b1191d7eaf2f4984564e01ab84b6713a9d80e70Fariborz Jahanian return SourceRange(AtCatchLoc, SubExprs[BODY]->getLocEnd()); 816b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian } 817b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 818b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian static bool classof(const Stmt *T) { 819b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian return T->getStmtClass() == ObjcAtCatchStmtClass; 820b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian } 821b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian static bool classof(const ObjcAtCatchStmt *) { return true; } 822b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 823b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian virtual child_iterator child_begin(); 824b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian virtual child_iterator child_end(); 825b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 826b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian}; 827b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 828b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian/// ObjcAtFinallyStmt - This represent objective-c's @finally Statement 829b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanianclass ObjcAtFinallyStmt : public Stmt { 830b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian private: 831b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian Stmt *AtFinallyStmt; 832b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian SourceLocation AtFinallyLoc; 833b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 834b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian public: 835b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian ObjcAtFinallyStmt(SourceLocation atFinallyLoc, Stmt *atFinallyStmt) 836b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian : Stmt(ObjcAtFinallyStmtClass), 837b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian AtFinallyStmt(atFinallyStmt), AtFinallyLoc(atFinallyLoc) {} 838b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 8398aab17e82aab6b3f266ef1884253226d2cb8b8d8Fariborz Jahanian const Stmt *getFinallyBody () const { return AtFinallyStmt; } 8408aab17e82aab6b3f266ef1884253226d2cb8b8d8Fariborz Jahanian Stmt *getFinallyBody () { return AtFinallyStmt; } 8417794cb85d394750db0631c02b7aa7837ae56764cFariborz Jahanian 842b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian virtual SourceRange getSourceRange() const { 843b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian return SourceRange(AtFinallyLoc, AtFinallyStmt->getLocEnd()); 844b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian } 845b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 846b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian static bool classof(const Stmt *T) { 847b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian return T->getStmtClass() == ObjcAtFinallyStmtClass; 848b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian } 849b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian static bool classof(const ObjcAtFinallyStmt *) { return true; } 850b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 851b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian virtual child_iterator child_begin(); 852b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian virtual child_iterator child_end(); 853b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 854b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian}; 855b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 856b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian/// ObjcAtTryStmt - This represent objective-c's over-all 857b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian/// @try ... @catch ... @finally statement. 858b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanianclass ObjcAtTryStmt : public Stmt { 859b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanianprivate: 86089079eac7d6e3091b74b477a4a5ff0cdaf35496cFariborz Jahanian enum { TRY, CATCH, FINALLY, END_EXPR }; 86189079eac7d6e3091b74b477a4a5ff0cdaf35496cFariborz Jahanian Stmt* SubStmts[END_EXPR]; 862b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 863b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian SourceLocation AtTryLoc; 864b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 865b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanianpublic: 866b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian ObjcAtTryStmt(SourceLocation atTryLoc, Stmt *atTryStmt, 867bd49a647afd9cc534fef13cadf652d4e9c396e2bFariborz Jahanian Stmt *atCatchStmt, 868bd49a647afd9cc534fef13cadf652d4e9c396e2bFariborz Jahanian Stmt *atFinallyStmt) 869ccdbc5c6f14965d91a352d114c109a9d4d9552b8Steve Naroff : Stmt(ObjcAtTryStmtClass) { 870b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian SubStmts[TRY] = atTryStmt; 871b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian SubStmts[CATCH] = atCatchStmt; 872b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian SubStmts[FINALLY] = atFinallyStmt; 873ccdbc5c6f14965d91a352d114c109a9d4d9552b8Steve Naroff AtTryLoc = atTryLoc; 874b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian } 875b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 8768aab17e82aab6b3f266ef1884253226d2cb8b8d8Fariborz Jahanian const Stmt *getTryBody() const { return SubStmts[TRY]; } 8778aab17e82aab6b3f266ef1884253226d2cb8b8d8Fariborz Jahanian Stmt *getTryBody() { return SubStmts[TRY]; } 8787573098b83e780d1c5bea13b384b610d8f155676Steve Naroff const ObjcAtCatchStmt *getCatchStmts() const { 8797573098b83e780d1c5bea13b384b610d8f155676Steve Naroff return dyn_cast_or_null<ObjcAtCatchStmt>(SubStmts[CATCH]); 8807573098b83e780d1c5bea13b384b610d8f155676Steve Naroff } 8817573098b83e780d1c5bea13b384b610d8f155676Steve Naroff ObjcAtCatchStmt *getCatchStmts() { 8827573098b83e780d1c5bea13b384b610d8f155676Steve Naroff return dyn_cast_or_null<ObjcAtCatchStmt>(SubStmts[CATCH]); 8837573098b83e780d1c5bea13b384b610d8f155676Steve Naroff } 8847573098b83e780d1c5bea13b384b610d8f155676Steve Naroff const ObjcAtFinallyStmt *getFinallyStmt() const { 8857573098b83e780d1c5bea13b384b610d8f155676Steve Naroff return dyn_cast_or_null<ObjcAtFinallyStmt>(SubStmts[FINALLY]); 8867573098b83e780d1c5bea13b384b610d8f155676Steve Naroff } 8877573098b83e780d1c5bea13b384b610d8f155676Steve Naroff ObjcAtFinallyStmt *getFinallyStmt() { 8887573098b83e780d1c5bea13b384b610d8f155676Steve Naroff return dyn_cast_or_null<ObjcAtFinallyStmt>(SubStmts[FINALLY]); 8897573098b83e780d1c5bea13b384b610d8f155676Steve Naroff } 890b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian virtual SourceRange getSourceRange() const { 891b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian return SourceRange(AtTryLoc, SubStmts[TRY]->getLocEnd()); 892b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian } 893b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 894b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian static bool classof(const Stmt *T) { 895b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian return T->getStmtClass() == ObjcAtTryStmtClass; 896b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian } 897b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian static bool classof(const ObjcAtTryStmt *) { return true; } 898b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 899b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian virtual child_iterator child_begin(); 900b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian virtual child_iterator child_end(); 901b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 902b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian}; 903fe795956194141c91ae555985c9b930595bff43fChris Lattner 90439f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian/// ObjcAtThrowStmt - This represents objective-c's @throw statement. 90539f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanianclass ObjcAtThrowStmt : public Stmt { 90639f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanianprivate: 90739f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian Stmt *Throw; 90839f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian SourceLocation AtThrowLoc; 90939f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian 91039f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanianpublic: 91139f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian ObjcAtThrowStmt(SourceLocation atThrowLoc, Stmt *throwExpr) 91239f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian : Stmt(ObjcAtThrowStmtClass), Throw(throwExpr) { 91339f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian AtThrowLoc = atThrowLoc; 91439f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian } 91539f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian 91639f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian Expr *const getThrowExpr() const { return reinterpret_cast<Expr*>(Throw); } 91739f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian 91839f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian virtual SourceRange getSourceRange() const { 91939f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian return SourceRange(AtThrowLoc, Throw->getLocEnd()); 92039f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian } 92139f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian 92239f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian static bool classof(const Stmt *T) { 92339f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian return T->getStmtClass() == ObjcAtThrowStmtClass; 92439f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian } 92539f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian static bool classof(const ObjcAtThrowStmt *) { return true; } 92639f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian 92739f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian virtual child_iterator child_begin(); 92839f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian virtual child_iterator child_end(); 92939f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian}; 93039f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian 9315f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer} // end namespace clang 9325f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 9335f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#endif 934