Stmt.h revision e0def7589a8afa8a6acef13476bb3f882c104b91
15f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//===--- Stmt.h - Classes for representing statements -----------*- C++ -*-===// 25f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer// 35f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer// The LLVM Compiler Infrastructure 45f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer// 50bc735ffcfb223c0186419547abaa5c84482663eChris Lattner// This file is distributed under the University of Illinois Open Source 60bc735ffcfb223c0186419547abaa5c84482663eChris Lattner// 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; 13581c018d9482e7cc2addadc6202dcf162a01faefdChris Lattner SourceLocation StartLoc, EndLoc; 1365f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 13781c018d9482e7cc2addadc6202dcf162a01faefdChris Lattner DeclStmt(ScopedDecl *D, SourceLocation startLoc, SourceLocation endLoc) 13881c018d9482e7cc2addadc6202dcf162a01faefdChris Lattner : Stmt(DeclStmtClass), TheDecl(D), StartLoc(startLoc), EndLoc(endLoc) {} 1395f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1408e74c93ddaa8268a999e1b25c723dc1984a434b4Steve Naroff const ScopedDecl *getDecl() const { return TheDecl; } 1418e74c93ddaa8268a999e1b25c723dc1984a434b4Steve Naroff ScopedDecl *getDecl() { return TheDecl; } 142b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 14381c018d9482e7cc2addadc6202dcf162a01faefdChris Lattner SourceLocation getStartLoc() const { return StartLoc; } 14481c018d9482e7cc2addadc6202dcf162a01faefdChris Lattner SourceLocation getEndLoc() const { return EndLoc; } 14581c018d9482e7cc2addadc6202dcf162a01faefdChris Lattner virtual SourceRange getSourceRange() const { 14681c018d9482e7cc2addadc6202dcf162a01faefdChris Lattner return SourceRange(StartLoc, EndLoc); 14781c018d9482e7cc2addadc6202dcf162a01faefdChris Lattner } 1485f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1495f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 1505f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == DeclStmtClass; 1515f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 1525f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const DeclStmt *) { return true; } 1538297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 1548297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 1558297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 1568297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 1570965f446e7685dc01fc0b5e718610530eed3cc63Ted Kremenek 158ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 159ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek static DeclStmt* CreateImpl(llvm::Deserializer& D); 1605f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 1615f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1625f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// NullStmt - This is the null statement ";": C99 6.8.3p3. 1635f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 1645f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass NullStmt : public Stmt { 1655f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation SemiLoc; 1665f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 1675f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer NullStmt(SourceLocation L) : Stmt(NullStmtClass), SemiLoc(L) {} 1685f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1695f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation getSemiLoc() const { return SemiLoc; } 170b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 171507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff virtual SourceRange getSourceRange() const { return SourceRange(SemiLoc); } 1725f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1735f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 1745f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == NullStmtClass; 1755f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 1765f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const NullStmt *) { return true; } 1778297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 1788297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 1798297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 1808297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 1814927be6102784fc69c50234f7e2253283b3e99e4Ted Kremenek 182ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 183ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek static NullStmt* CreateImpl(llvm::Deserializer& D); 1845f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 1855f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1865f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// CompoundStmt - This represents a group of statements like { stmt stmt }. 1875f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 1885f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass CompoundStmt : public Stmt { 1895f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer llvm::SmallVector<Stmt*, 16> Body; 190b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation LBracLoc, RBracLoc; 1915f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 192b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff CompoundStmt(Stmt **StmtStart, unsigned NumStmts, 193b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation LB, SourceLocation RB) 194b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff : Stmt(CompoundStmtClass), Body(StmtStart, StmtStart+NumStmts), 195b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff LBracLoc(LB), RBracLoc(RB) {} 19654395d440dc82a5e51b945c6c2a7f4bc4bea0358Ted Kremenek 197ab18c4c0ac1a46a38aa84c2c8ea485612e21a614Chris Lattner bool body_empty() const { return Body.empty(); } 198ab18c4c0ac1a46a38aa84c2c8ea485612e21a614Chris Lattner 1995f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer typedef llvm::SmallVector<Stmt*, 16>::iterator body_iterator; 2005f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer body_iterator body_begin() { return Body.begin(); } 2015f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer body_iterator body_end() { return Body.end(); } 202ab18c4c0ac1a46a38aa84c2c8ea485612e21a614Chris Lattner Stmt *body_back() { return Body.back(); } 2035f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 2045f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer typedef llvm::SmallVector<Stmt*, 16>::const_iterator const_body_iterator; 2055f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer const_body_iterator body_begin() const { return Body.begin(); } 2065f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer const_body_iterator body_end() const { return Body.end(); } 207ab18c4c0ac1a46a38aa84c2c8ea485612e21a614Chris Lattner const Stmt *body_back() const { return Body.back(); } 2084ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek 2094ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek typedef llvm::SmallVector<Stmt*, 16>::reverse_iterator reverse_body_iterator; 2104ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek reverse_body_iterator body_rbegin() { return Body.rbegin(); } 2114ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek reverse_body_iterator body_rend() { return Body.rend(); } 2124ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek 2134ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek typedef llvm::SmallVector<Stmt*, 16>::const_reverse_iterator 2144ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek const_reverse_body_iterator; 2154ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek const_reverse_body_iterator body_rbegin() const { return Body.rbegin(); } 2164ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek const_reverse_body_iterator body_rend() const { return Body.rend(); } 2174ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek 2185f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void push_back(Stmt *S) { Body.push_back(S); } 219b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 220b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 221b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(LBracLoc, RBracLoc); 222b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 22354395d440dc82a5e51b945c6c2a7f4bc4bea0358Ted Kremenek 224cc326204dd97771c336b9aab3b9963ea30d69c29Ted Kremenek SourceLocation getLBracLoc() const { return LBracLoc; } 225cc326204dd97771c336b9aab3b9963ea30d69c29Ted Kremenek SourceLocation getRBracLoc() const { return RBracLoc; } 22654395d440dc82a5e51b945c6c2a7f4bc4bea0358Ted Kremenek 2275f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 2285f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == CompoundStmtClass; 2295f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 2305f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const CompoundStmt *) { return true; } 2318297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 2328297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 2338297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 2348297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 2352dc9ac73a8a34cabf261a81a1653d7379065ac61Ted Kremenek 236ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 237ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek static CompoundStmt* CreateImpl(llvm::Deserializer& D); 2385f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 2395f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 240c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson// SwitchCase is the base class for CaseStmt and DefaultStmt, 241c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlssonclass SwitchCase : public Stmt { 242103fc81f12aa635aa0a573c94b1aceb496b4e587Ted Kremenekprotected: 243c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson // A pointer to the following CaseStmt or DefaultStmt class, 244c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson // used by SwitchStmt. 245c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson SwitchCase *NextSwitchCase; 246103fc81f12aa635aa0a573c94b1aceb496b4e587Ted Kremenek 247d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek SwitchCase(StmtClass SC) : Stmt(SC), NextSwitchCase(0) {} 248c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson 249c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlssonpublic: 250c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson const SwitchCase *getNextSwitchCase() const { return NextSwitchCase; } 251c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson 252c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson SwitchCase *getNextSwitchCase() { return NextSwitchCase; } 253c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson 254c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson void setNextSwitchCase(SwitchCase *SC) { NextSwitchCase = SC; } 255d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek 256d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek virtual Stmt* v_getSubStmt() = 0; 257d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek Stmt *getSubStmt() { return v_getSubStmt(); } 258b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 259b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { return SourceRange(); } 260edcc752060be38bfa7e7b32691c0cc4d843622a8Ted Kremenek 261c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson static bool classof(const Stmt *T) { 262c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson return T->getStmtClass() == CaseStmtClass || 263c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson T->getStmtClass() == DefaultStmtClass; 264c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson } 265c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson static bool classof(const SwitchCase *) { return true; } 266c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson}; 267c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson 268c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlssonclass CaseStmt : public SwitchCase { 269d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek enum { SUBSTMT, LHS, RHS, END_EXPR }; 270d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek Stmt* SubExprs[END_EXPR]; // The expression for the RHS is Non-null for 271d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek // GNU "case 1 ... 4" extension 272b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation CaseLoc; 2735f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 274b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff CaseStmt(Expr *lhs, Expr *rhs, Stmt *substmt, SourceLocation caseLoc) 275d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek : SwitchCase(CaseStmtClass) { 276d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek SubExprs[SUBSTMT] = substmt; 277d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek SubExprs[LHS] = reinterpret_cast<Stmt*>(lhs); 278d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek SubExprs[RHS] = reinterpret_cast<Stmt*>(rhs); 279b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff CaseLoc = caseLoc; 280d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek } 2815f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 282764a7ce5217f9569e100a3445f47496ee82daf86Chris Lattner SourceLocation getCaseLoc() const { return CaseLoc; } 283764a7ce5217f9569e100a3445f47496ee82daf86Chris Lattner 284d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek Expr *getLHS() { return reinterpret_cast<Expr*>(SubExprs[LHS]); } 285d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek Expr *getRHS() { return reinterpret_cast<Expr*>(SubExprs[RHS]); } 286d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek Stmt *getSubStmt() { return SubExprs[SUBSTMT]; } 287d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek virtual Stmt* v_getSubStmt() { return getSubStmt(); } 28851b09f2c528c8460b5465c676173324e44176d62Devang Patel const Expr *getLHS() const { 28951b09f2c528c8460b5465c676173324e44176d62Devang Patel return reinterpret_cast<const Expr*>(SubExprs[LHS]); 29051b09f2c528c8460b5465c676173324e44176d62Devang Patel } 29151b09f2c528c8460b5465c676173324e44176d62Devang Patel const Expr *getRHS() const { 29251b09f2c528c8460b5465c676173324e44176d62Devang Patel return reinterpret_cast<const Expr*>(SubExprs[RHS]); 29351b09f2c528c8460b5465c676173324e44176d62Devang Patel } 29451b09f2c528c8460b5465c676173324e44176d62Devang Patel const Stmt *getSubStmt() const { return SubExprs[SUBSTMT]; } 2955f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 29620dabe8b8ff7ed6d2d0158fee43755a4bc7642c3Chris Lattner void setSubStmt(Stmt *S) { SubExprs[SUBSTMT] = S; } 29720dabe8b8ff7ed6d2d0158fee43755a4bc7642c3Chris Lattner void setLHS(Expr *Val) { SubExprs[LHS] = reinterpret_cast<Stmt*>(Val); } 29820dabe8b8ff7ed6d2d0158fee43755a4bc7642c3Chris Lattner void setRHS(Expr *Val) { SubExprs[RHS] = reinterpret_cast<Stmt*>(Val); } 29920dabe8b8ff7ed6d2d0158fee43755a4bc7642c3Chris Lattner 30020dabe8b8ff7ed6d2d0158fee43755a4bc7642c3Chris Lattner 301b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 302b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(CaseLoc, SubExprs[SUBSTMT]->getLocEnd()); 303b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 3045f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 3055f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == CaseStmtClass; 3065f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 3075f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const CaseStmt *) { return true; } 308d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek 309d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek // Iterators 310d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek virtual child_iterator child_begin(); 311d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek virtual child_iterator child_end(); 3129eea2ca5f2cb5d77569274702b5b06273e426dc2Ted Kremenek 313ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 314ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek static CaseStmt* CreateImpl(llvm::Deserializer& D); 3155f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 3165f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 317c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlssonclass DefaultStmt : public SwitchCase { 318d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek Stmt* SubStmt; 3196c36be5b383875b490684bcf439d6d427298c1afChris Lattner SourceLocation DefaultLoc; 3205f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 321edcc752060be38bfa7e7b32691c0cc4d843622a8Ted Kremenek DefaultStmt(SourceLocation DL, Stmt *substmt) : 322d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek SwitchCase(DefaultStmtClass), SubStmt(substmt), DefaultLoc(DL) {} 323b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 324d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek Stmt *getSubStmt() { return SubStmt; } 325d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek virtual Stmt* v_getSubStmt() { return getSubStmt(); } 32651b09f2c528c8460b5465c676173324e44176d62Devang Patel const Stmt *getSubStmt() const { return SubStmt; } 327d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek 3286c36be5b383875b490684bcf439d6d427298c1afChris Lattner SourceLocation getDefaultLoc() const { return DefaultLoc; } 3295f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 330b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 331b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(DefaultLoc, SubStmt->getLocEnd()); 332b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 3335f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 3345f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == DefaultStmtClass; 3355f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 3365f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const DefaultStmt *) { return true; } 337d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek 338d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek // Iterators 339d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek virtual child_iterator child_begin(); 340d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek virtual child_iterator child_end(); 3419eea2ca5f2cb5d77569274702b5b06273e426dc2Ted Kremenek 342ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 343ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek static DefaultStmt* CreateImpl(llvm::Deserializer& D); 3445f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 3455f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3465f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass LabelStmt : public Stmt { 3475f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer IdentifierInfo *Label; 3485f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Stmt *SubStmt; 349b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation IdentLoc; 3505f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 351b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff LabelStmt(SourceLocation IL, IdentifierInfo *label, Stmt *substmt) 352b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff : Stmt(LabelStmtClass), Label(label), 353b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SubStmt(substmt), IdentLoc(IL) {} 3545f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3555f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation getIdentLoc() const { return IdentLoc; } 3565f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer IdentifierInfo *getID() const { return Label; } 3575f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer const char *getName() const; 3585f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Stmt *getSubStmt() { return SubStmt; } 3595f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer const Stmt *getSubStmt() const { return SubStmt; } 3605f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3615f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void setIdentLoc(SourceLocation L) { IdentLoc = L; } 3625f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void setSubStmt(Stmt *SS) { SubStmt = SS; } 363b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 364b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 365b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(IdentLoc, SubStmt->getLocEnd()); 366b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 3675f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 3685f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == LabelStmtClass; 3695f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 3705f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const LabelStmt *) { return true; } 3718297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 3728297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 3738297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 3748297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 375b15132fda52046ba65eafd6f4b448f7aa16b7e8dTed Kremenek 376ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 377ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek static LabelStmt* CreateImpl(llvm::Deserializer& D); 3785f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 3795f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3805f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3815f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// IfStmt - This represents an if/then/else. 3825f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 3835f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass IfStmt : public Stmt { 3848297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek enum { COND, THEN, ELSE, END_EXPR }; 3858297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt* SubExprs[END_EXPR]; 386b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation IfLoc; 3875f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 388b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff IfStmt(SourceLocation IL, Expr *cond, Stmt *then, Stmt *elsev = 0) 389b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff : Stmt(IfStmtClass) { 3908297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[COND] = reinterpret_cast<Stmt*>(cond); 3918297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[THEN] = then; 3928297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[ELSE] = elsev; 393b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff IfLoc = IL; 3948297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek } 3955f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3968297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Expr *getCond() const { return reinterpret_cast<Expr*>(SubExprs[COND]);} 3978297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Stmt *getThen() const { return SubExprs[THEN]; } 3988297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Stmt *getElse() const { return SubExprs[ELSE]; } 3995f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 4008297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Expr *getCond() { return reinterpret_cast<Expr*>(SubExprs[COND]); } 4018297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt *getThen() { return SubExprs[THEN]; } 4028297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt *getElse() { return SubExprs[ELSE]; } 403b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 404b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 405b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff if (SubExprs[ELSE]) 406b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(IfLoc, SubExprs[ELSE]->getLocEnd()); 407b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff else 408b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(IfLoc, SubExprs[THEN]->getLocEnd()); 409b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 4105f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 4115f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 4125f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == IfStmtClass; 4135f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 4145f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const IfStmt *) { return true; } 4158297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 4168297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 4178297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 4188297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 4194210f3dfd73ad3482f9cfa0a382e1fd78f22976dTed Kremenek 420ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 421ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek static IfStmt* CreateImpl(llvm::Deserializer& D); 4225f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 4235f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 4245f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// SwitchStmt - This represents a 'switch' stmt. 4255f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 4265f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass SwitchStmt : public Stmt { 4278297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek enum { COND, BODY, END_EXPR }; 4288297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt* SubExprs[END_EXPR]; 429c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson // This points to a linked list of case and default statements. 430c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson SwitchCase *FirstCase; 4319dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff SourceLocation SwitchLoc; 4325f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 4338297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SwitchStmt(Expr *cond) : Stmt(SwitchStmtClass), FirstCase(0) { 4348297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[COND] = reinterpret_cast<Stmt*>(cond); 4358297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[BODY] = NULL; 4368297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek } 4375f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 4388297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Expr *getCond() const { return reinterpret_cast<Expr*>(SubExprs[COND]);} 4398297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Stmt *getBody() const { return SubExprs[BODY]; } 440c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson const SwitchCase *getSwitchCaseList() const { return FirstCase; } 441c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson 4428297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Expr *getCond() { return reinterpret_cast<Expr*>(SubExprs[COND]);} 4438297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt *getBody() { return SubExprs[BODY]; } 444c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson SwitchCase *getSwitchCaseList() { return FirstCase; } 445c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson 4469dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff void setBody(Stmt *S, SourceLocation SL) { 4479dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff SubExprs[BODY] = S; 4489dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff SwitchLoc = SL; 4499dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff } 450c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson void addSwitchCase(SwitchCase *SC) { 451c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson if (FirstCase) 452c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson SC->setNextSwitchCase(FirstCase); 453c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson 454c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson FirstCase = SC; 455c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson } 4569dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff virtual SourceRange getSourceRange() const { 4579dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff return SourceRange(SwitchLoc, SubExprs[BODY]->getLocEnd()); 4589dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff } 4595f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 4605f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == SwitchStmtClass; 4615f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 4625f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const SwitchStmt *) { return true; } 4638297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 4648297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 4658297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 4668297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 4679eea2ca5f2cb5d77569274702b5b06273e426dc2Ted Kremenek 468ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 469ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek static SwitchStmt* CreateImpl(llvm::Deserializer& D); 4705f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 4715f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 4725f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 4735f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// WhileStmt - This represents a 'while' stmt. 4745f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 4755f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass WhileStmt : public Stmt { 4768297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek enum { COND, BODY, END_EXPR }; 4778297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt* SubExprs[END_EXPR]; 478b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation WhileLoc; 4795f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 480b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff WhileStmt(Expr *cond, Stmt *body, SourceLocation WL) : Stmt(WhileStmtClass) { 4818297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[COND] = reinterpret_cast<Stmt*>(cond); 4828297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[BODY] = body; 483b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff WhileLoc = WL; 4848297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek } 4855f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 4868297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Expr *getCond() { return reinterpret_cast<Expr*>(SubExprs[COND]); } 4878297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Expr *getCond() const { return reinterpret_cast<Expr*>(SubExprs[COND]);} 4888297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt *getBody() { return SubExprs[BODY]; } 4898297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Stmt *getBody() const { return SubExprs[BODY]; } 490b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 491b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 492b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(WhileLoc, SubExprs[BODY]->getLocEnd()); 493b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 4945f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 4955f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == WhileStmtClass; 4965f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 4975f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const WhileStmt *) { return true; } 4988297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 4998297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 5008297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 5018297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 5025572b94b76a78a35bac32d1ef04907c7a651adbaTed Kremenek 503ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 504ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek static WhileStmt* CreateImpl(llvm::Deserializer& D); 5055f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 5065f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5075f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// DoStmt - This represents a 'do/while' stmt. 5085f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 5095f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass DoStmt : public Stmt { 5108297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek enum { COND, BODY, END_EXPR }; 5118297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt* SubExprs[END_EXPR]; 512b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation DoLoc; 5135f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 514b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff DoStmt(Stmt *body, Expr *cond, SourceLocation DL) 515b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff : Stmt(DoStmtClass), DoLoc(DL) { 5168297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[COND] = reinterpret_cast<Stmt*>(cond); 5178297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[BODY] = body; 518b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff DoLoc = DL; 5198297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek } 5205f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5218297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Expr *getCond() { return reinterpret_cast<Expr*>(SubExprs[COND]); } 5228297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Expr *getCond() const { return reinterpret_cast<Expr*>(SubExprs[COND]);} 5238297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt *getBody() { return SubExprs[BODY]; } 5248297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Stmt *getBody() const { return SubExprs[BODY]; } 525b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 526b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 527b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(DoLoc, SubExprs[BODY]->getLocEnd()); 528b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 5295f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 5305f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == DoStmtClass; 5315f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 5325f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const DoStmt *) { return true; } 5338297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 5348297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 5358297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 5368297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 537e3299ef345bb8a71901108bf83a824591eae6c1aTed Kremenek 538ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 539ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek static DoStmt* CreateImpl(llvm::Deserializer& D); 5405f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 5415f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5425f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5435f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// ForStmt - This represents a 'for (init;cond;inc)' stmt. Note that any of 5445f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// the init/cond/inc parts of the ForStmt will be null if they were not 5455f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// specified in the source. 5465f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 5475f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass ForStmt : public Stmt { 5488297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek enum { INIT, COND, INC, BODY, END_EXPR }; 5498297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt* SubExprs[END_EXPR]; // SubExprs[INIT] is an expression or declstmt. 550b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation ForLoc; 5515f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 552b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff ForStmt(Stmt *Init, Expr *Cond, Expr *Inc, Stmt *Body, SourceLocation FL) 553b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff : Stmt(ForStmtClass) { 554af458c9f658335bdea482395ff4a25c75935e129Chris Lattner SubExprs[INIT] = Init; 555af458c9f658335bdea482395ff4a25c75935e129Chris Lattner SubExprs[COND] = reinterpret_cast<Stmt*>(Cond); 556af458c9f658335bdea482395ff4a25c75935e129Chris Lattner SubExprs[INC] = reinterpret_cast<Stmt*>(Inc); 557af458c9f658335bdea482395ff4a25c75935e129Chris Lattner SubExprs[BODY] = Body; 558b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff ForLoc = FL; 559af458c9f658335bdea482395ff4a25c75935e129Chris Lattner } 5605f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5618297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt *getInit() { return SubExprs[INIT]; } 5628297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Expr *getCond() { return reinterpret_cast<Expr*>(SubExprs[COND]); } 5638297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Expr *getInc() { return reinterpret_cast<Expr*>(SubExprs[INC]); } 5648297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt *getBody() { return SubExprs[BODY]; } 5658297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 5668297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Stmt *getInit() const { return SubExprs[INIT]; } 5678297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Expr *getCond() const { return reinterpret_cast<Expr*>(SubExprs[COND]);} 5688297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Expr *getInc() const { return reinterpret_cast<Expr*>(SubExprs[INC]); } 5698297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Stmt *getBody() const { return SubExprs[BODY]; } 570b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 571b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 572b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(ForLoc, SubExprs[BODY]->getLocEnd()); 573b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 5745f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 5755f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == ForStmtClass; 5765f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 5775f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const ForStmt *) { return true; } 5788297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 5798297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 5808297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 5818297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 58207ba046c7d7bbc1f42b86b3ed012eec8fc7849daTed Kremenek 583ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 584ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek static ForStmt* CreateImpl(llvm::Deserializer& D); 5855f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 5860196cab54007ff072ec2642da8911c6b7e8d3fb5Fariborz Jahanian 5875f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// GotoStmt - This represents a direct goto. 5885f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 5895f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass GotoStmt : public Stmt { 5905f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer LabelStmt *Label; 591507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff SourceLocation GotoLoc; 59261f62165220e75694fe333179c78815e2e48d71fTed Kremenek SourceLocation LabelLoc; 5935f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 59461f62165220e75694fe333179c78815e2e48d71fTed Kremenek GotoStmt(LabelStmt *label, SourceLocation GL, SourceLocation LL) 59561f62165220e75694fe333179c78815e2e48d71fTed Kremenek : Stmt(GotoStmtClass), Label(label), GotoLoc(GL), LabelLoc(LL) {} 5965f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5975f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer LabelStmt *getLabel() const { return Label; } 598b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 599507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff virtual SourceRange getSourceRange() const { 60061f62165220e75694fe333179c78815e2e48d71fTed Kremenek return SourceRange(GotoLoc, LabelLoc); 601507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff } 6025f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 6035f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == GotoStmtClass; 6045f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 6055f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const GotoStmt *) { return true; } 6068297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 6078297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 6088297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 6098297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 6103f0767b74b16b37bcce60ff457609161a0665784Ted Kremenek 611ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 612ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek static GotoStmt* CreateImpl(llvm::Deserializer& D); 6135f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 6145f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6155f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// IndirectGotoStmt - This represents an indirect goto. 6165f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 6175f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass IndirectGotoStmt : public Stmt { 6185f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Expr *Target; 619225a2d946f73aed3b38f265fcb4e7d7d88136928Ted Kremenek // FIXME: Add location information (e.g. SourceLocation objects). 620225a2d946f73aed3b38f265fcb4e7d7d88136928Ted Kremenek // When doing so, update the serialization routines. 6215f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 6226000dace22f110d8768476989313e9d981d690d0Chris Lattner IndirectGotoStmt(Expr *target) : Stmt(IndirectGotoStmtClass), Target(target){} 6235f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6245f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Expr *getTarget() { return Target; } 6256000dace22f110d8768476989313e9d981d690d0Chris Lattner const Expr *getTarget() const { return Target; } 626b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 627b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { return SourceRange(); } 6285f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6295f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 6305f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == IndirectGotoStmtClass; 6315f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 6325f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const IndirectGotoStmt *) { return true; } 6338297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 6348297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 6358297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 6368297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 637225a2d946f73aed3b38f265fcb4e7d7d88136928Ted Kremenek 638ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 639ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek static IndirectGotoStmt* CreateImpl(llvm::Deserializer& D); 6405f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 6415f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6425f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6435f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// ContinueStmt - This represents a continue. 6445f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 6455f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass ContinueStmt : public Stmt { 646507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff SourceLocation ContinueLoc; 6475f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 648507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff ContinueStmt(SourceLocation CL) : Stmt(ContinueStmtClass), ContinueLoc(CL) {} 649b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 650507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff virtual SourceRange getSourceRange() const { 651507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff return SourceRange(ContinueLoc); 652507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff } 6535f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 6545f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == ContinueStmtClass; 6555f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 6565f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const ContinueStmt *) { return true; } 6578297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 6588297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 6598297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 6608297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 66196f22423c52c22d263b4e5f7ee762122b607459eTed Kremenek 662ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 663ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek static ContinueStmt* CreateImpl(llvm::Deserializer& D); 6645f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 6655f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6665f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// BreakStmt - This represents a break. 6675f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 6685f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass BreakStmt : public Stmt { 669507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff SourceLocation BreakLoc; 6705f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 671507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff BreakStmt(SourceLocation BL) : Stmt(BreakStmtClass), BreakLoc(BL) {} 672b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 673507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff virtual SourceRange getSourceRange() const { return SourceRange(BreakLoc); } 674b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 6755f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 6765f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == BreakStmtClass; 6775f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 6785f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const BreakStmt *) { return true; } 6798297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 6808297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 6818297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 6828297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 6839eea2ca5f2cb5d77569274702b5b06273e426dc2Ted Kremenek 684ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 685ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek static BreakStmt* CreateImpl(llvm::Deserializer& D); 6865f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 6875f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6885f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 689c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner/// ReturnStmt - This represents a return, optionally of an expression: 690c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner/// return; 691c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner/// return 4; 692c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner/// 693c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner/// Note that GCC allows return with no argument in a function declared to 694c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner/// return a value, and it allows returning a value in functions declared to 695c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner/// return void. We explicitly model this in the AST, which means you can't 696c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner/// depend on the return type of the function and the presence of an argument. 6975f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 6985f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass ReturnStmt : public Stmt { 6995f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Expr *RetExpr; 700507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff SourceLocation RetLoc; 7015f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 702507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff ReturnStmt(SourceLocation RL, Expr *E = 0) : Stmt(ReturnStmtClass), 703507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff RetExpr(E), RetLoc(RL) {} 7045f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 7055f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer const Expr *getRetValue() const { return RetExpr; } 7065f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Expr *getRetValue() { return RetExpr; } 707b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 708507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff virtual SourceRange getSourceRange() const; 7095f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 7105f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 7115f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == ReturnStmtClass; 7125f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 7135f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const ReturnStmt *) { return true; } 7148297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 7158297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 7168297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 7178297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 7182dc9ac73a8a34cabf261a81a1653d7379065ac61Ted Kremenek 719ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 720ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek static ReturnStmt* CreateImpl(llvm::Deserializer& D); 7215f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 7225f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 723fe795956194141c91ae555985c9b930595bff43fChris Lattner/// AsmStmt - This represents a GNU inline-assembly statement extension. 724fe795956194141c91ae555985c9b930595bff43fChris Lattner/// 725fe795956194141c91ae555985c9b930595bff43fChris Lattnerclass AsmStmt : public Stmt { 726fe795956194141c91ae555985c9b930595bff43fChris Lattner SourceLocation AsmLoc, RParenLoc; 7276a0ef4b83c91a6d6d5acb4ed5577c4659fe022a3Anders Carlsson StringLiteral *AsmStr; 728b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson 729dfab34a696d1dba8622248c31aaf605906cb6109Anders Carlsson bool IsSimple; 73039c47b56f45437bbc49c9568b7308a400234a730Anders Carlsson bool IsVolatile; 73139c47b56f45437bbc49c9568b7308a400234a730Anders Carlsson 732b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson unsigned NumOutputs; 733b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson unsigned NumInputs; 734b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson 735b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson llvm::SmallVector<std::string, 4> Names; 736b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson llvm::SmallVector<StringLiteral*, 4> Constraints; 737b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson llvm::SmallVector<Expr*, 4> Exprs; 738b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson 739b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson llvm::SmallVector<StringLiteral*, 4> Clobbers; 740fe795956194141c91ae555985c9b930595bff43fChris Lattnerpublic: 741dfab34a696d1dba8622248c31aaf605906cb6109Anders Carlsson AsmStmt(SourceLocation asmloc, bool issimple, bool isvolatile, 742dfab34a696d1dba8622248c31aaf605906cb6109Anders Carlsson unsigned numoutputs, unsigned numinputs, 743dfab34a696d1dba8622248c31aaf605906cb6109Anders Carlsson std::string *names, StringLiteral **constraints, 744db6ed1786bf460e1143f67d14bf2d71ad9856f81Chris Lattner Expr **exprs, StringLiteral *asmstr, unsigned numclobbers, 745db6ed1786bf460e1143f67d14bf2d71ad9856f81Chris Lattner StringLiteral **clobbers, SourceLocation rparenloc); 746b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson 74739c47b56f45437bbc49c9568b7308a400234a730Anders Carlsson bool isVolatile() const { return IsVolatile; } 748dfab34a696d1dba8622248c31aaf605906cb6109Anders Carlsson bool isSimple() const { return IsSimple; } 749dfab34a696d1dba8622248c31aaf605906cb6109Anders Carlsson 750b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson unsigned getNumOutputs() const { return NumOutputs; } 751b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson const std::string &getOutputName(unsigned i) const 752b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson { return Names[i]; } 753d04c6e23f2e10eeb9936778d67f4a1c4a14cc4f6Anders Carlsson const StringLiteral *getOutputConstraint(unsigned i) const 754d04c6e23f2e10eeb9936778d67f4a1c4a14cc4f6Anders Carlsson { return Constraints[i]; } 755b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson StringLiteral *getOutputConstraint(unsigned i) 756b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson { return Constraints[i]; } 757d04c6e23f2e10eeb9936778d67f4a1c4a14cc4f6Anders Carlsson const Expr *getOutputExpr(unsigned i) const { return Exprs[i]; } 758b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson Expr *getOutputExpr(unsigned i) { return Exprs[i]; } 759b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson 760b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson unsigned getNumInputs() const { return NumInputs; } 761b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson const std::string &getInputName(unsigned i) const 762b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson { return Names[i + NumOutputs]; } 763b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson StringLiteral *getInputConstraint(unsigned i) 764b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson { return Constraints[i + NumOutputs]; } 765d04c6e23f2e10eeb9936778d67f4a1c4a14cc4f6Anders Carlsson const StringLiteral *getInputConstraint(unsigned i) const 766d04c6e23f2e10eeb9936778d67f4a1c4a14cc4f6Anders Carlsson { return Constraints[i + NumOutputs]; } 767b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson Expr *getInputExpr(unsigned i) { return Exprs[i + NumOutputs]; } 768d04c6e23f2e10eeb9936778d67f4a1c4a14cc4f6Anders Carlsson const Expr *getInputExpr(unsigned i) const { return Exprs[i + NumOutputs]; } 769d04c6e23f2e10eeb9936778d67f4a1c4a14cc4f6Anders Carlsson 7706a0ef4b83c91a6d6d5acb4ed5577c4659fe022a3Anders Carlsson const StringLiteral *getAsmString() const { return AsmStr; } 7716a0ef4b83c91a6d6d5acb4ed5577c4659fe022a3Anders Carlsson StringLiteral *getAsmString() { return AsmStr; } 7726a0ef4b83c91a6d6d5acb4ed5577c4659fe022a3Anders Carlsson 773b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson unsigned getNumClobbers() const { return Clobbers.size(); } 774b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson StringLiteral *getClobber(unsigned i) { return Clobbers[i]; } 775d04c6e23f2e10eeb9936778d67f4a1c4a14cc4f6Anders Carlsson const StringLiteral *getClobber(unsigned i) const { return Clobbers[i]; } 776b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson 777fe795956194141c91ae555985c9b930595bff43fChris Lattner virtual SourceRange getSourceRange() const { 778fe795956194141c91ae555985c9b930595bff43fChris Lattner return SourceRange(AsmLoc, RParenLoc); 779fe795956194141c91ae555985c9b930595bff43fChris Lattner } 780fe795956194141c91ae555985c9b930595bff43fChris Lattner 781fe795956194141c91ae555985c9b930595bff43fChris Lattner static bool classof(const Stmt *T) {return T->getStmtClass() == AsmStmtClass;} 782fe795956194141c91ae555985c9b930595bff43fChris Lattner static bool classof(const AsmStmt *) { return true; } 783fe795956194141c91ae555985c9b930595bff43fChris Lattner 784ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek // Input expr iterators. 785ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek 786ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek typedef Expr* const * inputs_iterator; 787ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek typedef const Expr* const* const_inputs_iterator; 788ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek 789ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek inputs_iterator begin_inputs() { return &Exprs[0] + NumOutputs; } 790ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek inputs_iterator end_inputs() { return begin_inputs() + NumInputs; } 791ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek 792ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek const_inputs_iterator begin_inputs() const { return &Exprs[0] + NumOutputs; } 793ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek const_inputs_iterator end_inputs() const { return begin_inputs() + NumInputs;} 794ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek 795ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek // Output expr iterators. 796ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek 797ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek typedef Expr* const * outputs_iterator; 798ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek typedef const Expr* const* const_outputs_iterator; 799ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek 800ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek outputs_iterator begin_outputs() { return &Exprs[0]; } 801ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek outputs_iterator end_outputs() { return begin_outputs() + NumOutputs; } 802ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek 803ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek const_outputs_iterator begin_outputs() const { return &Exprs[0]; } 804ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek const_outputs_iterator end_outputs() const { 805ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek return begin_outputs() + NumOutputs; 806ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek } 807ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek 808ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek // Child iterators 809ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek 810fe795956194141c91ae555985c9b930595bff43fChris Lattner virtual child_iterator child_begin(); 811fe795956194141c91ae555985c9b930595bff43fChris Lattner virtual child_iterator child_end(); 8121f85acd5ff54345788b93111197088160fe9f06eTed Kremenek 8131f85acd5ff54345788b93111197088160fe9f06eTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 8141f85acd5ff54345788b93111197088160fe9f06eTed Kremenek static AsmStmt* CreateImpl(llvm::Deserializer& D); 815fe795956194141c91ae555985c9b930595bff43fChris Lattner}; 81678492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek 81778492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek/// ObjCForCollectionStmt - This represents Objective-c's collection statement; 81878492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek/// represented as 'for (element 'in' collection-expression)' stmt. 81978492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek/// 82078492dae00fb85e0da0f966df4745edafdafb66cTed Kremenekclass ObjCForCollectionStmt : public Stmt { 82178492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek enum { ELEM, COLLECTION, BODY, END_EXPR }; 82278492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek Stmt* SubExprs[END_EXPR]; // SubExprs[ELEM] is an expression or declstmt. 82378492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek SourceLocation ForLoc; 82478492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek SourceLocation RParenLoc; 82578492dae00fb85e0da0f966df4745edafdafb66cTed Kremenekpublic: 82678492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek ObjCForCollectionStmt(Stmt *Elem, Expr *Collect, Stmt *Body, 82778492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek SourceLocation FCL, SourceLocation RPL); 82878492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek 82978492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek Stmt *getElement() { return SubExprs[ELEM]; } 83078492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek Expr *getCollection() { 83178492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek return reinterpret_cast<Expr*>(SubExprs[COLLECTION]); 83278492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek } 83378492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek Stmt *getBody() { return SubExprs[BODY]; } 83478492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek 83578492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek const Stmt *getElement() const { return SubExprs[ELEM]; } 83678492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek const Expr *getCollection() const { 83778492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek return reinterpret_cast<Expr*>(SubExprs[COLLECTION]); 83878492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek } 83978492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek const Stmt *getBody() const { return SubExprs[BODY]; } 84078492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek 84178492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek SourceLocation getRParenLoc() const { return RParenLoc; } 84278492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek 84378492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek virtual SourceRange getSourceRange() const { 84478492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek return SourceRange(ForLoc, SubExprs[BODY]->getLocEnd()); 84578492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek } 84678492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek static bool classof(const Stmt *T) { 84778492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek return T->getStmtClass() == ObjCForCollectionStmtClass; 84878492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek } 84978492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek static bool classof(const ObjCForCollectionStmt *) { return true; } 85078492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek 85178492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek // Iterators 85278492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek virtual child_iterator child_begin(); 85378492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek virtual child_iterator child_end(); 85478492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek 85578492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 85678492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek static ObjCForCollectionStmt* CreateImpl(llvm::Deserializer& D); 85778492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek}; 858b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 859a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek/// ObjCAtCatchStmt - This represents objective-c's @catch statement. 860a526c5c67e5a0473c340903ee542ce570119665fTed Kremenekclass ObjCAtCatchStmt : public Stmt { 861b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanianprivate: 862ff981021554a4965943ca2d19019cea811614602Ted Kremenek enum { SELECTOR, BODY, NEXT_CATCH, END_EXPR }; 8633b1191d7eaf2f4984564e01ab84b6713a9d80e70Fariborz Jahanian Stmt *SubExprs[END_EXPR]; 864b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian SourceLocation AtCatchLoc, RParenLoc; 865af526779b36f43f59e47cfc5b10bb0c48562f4a9Ted Kremenek 866af526779b36f43f59e47cfc5b10bb0c48562f4a9Ted Kremenek // Used by deserialization. 867a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek ObjCAtCatchStmt(SourceLocation atCatchLoc, SourceLocation rparenloc) 868a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek : Stmt(ObjCAtCatchStmtClass), AtCatchLoc(atCatchLoc), RParenLoc(rparenloc) {} 869af526779b36f43f59e47cfc5b10bb0c48562f4a9Ted Kremenek 870b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanianpublic: 871a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek ObjCAtCatchStmt(SourceLocation atCatchLoc, SourceLocation rparenloc, 872db6ed1786bf460e1143f67d14bf2d71ad9856f81Chris Lattner Stmt *catchVarStmtDecl, Stmt *atCatchStmt, Stmt *atCatchList); 873b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 874606efdfeb9eef70871eb62a26dfd115e209e899cFariborz Jahanian const Stmt *getCatchBody() const { return SubExprs[BODY]; } 875606efdfeb9eef70871eb62a26dfd115e209e899cFariborz Jahanian Stmt *getCatchBody() { return SubExprs[BODY]; } 876ff981021554a4965943ca2d19019cea811614602Ted Kremenek 877ff981021554a4965943ca2d19019cea811614602Ted Kremenek const ObjCAtCatchStmt *getNextCatchStmt() const { 878ff981021554a4965943ca2d19019cea811614602Ted Kremenek return static_cast<const ObjCAtCatchStmt*>(SubExprs[NEXT_CATCH]); 879ff981021554a4965943ca2d19019cea811614602Ted Kremenek } 880ff981021554a4965943ca2d19019cea811614602Ted Kremenek ObjCAtCatchStmt *getNextCatchStmt() { 881ff981021554a4965943ca2d19019cea811614602Ted Kremenek return static_cast<ObjCAtCatchStmt*>(SubExprs[NEXT_CATCH]); 882ff981021554a4965943ca2d19019cea811614602Ted Kremenek } 883ff981021554a4965943ca2d19019cea811614602Ted Kremenek 884606efdfeb9eef70871eb62a26dfd115e209e899cFariborz Jahanian const Stmt *getCatchParamStmt() const { return SubExprs[SELECTOR]; } 885606efdfeb9eef70871eb62a26dfd115e209e899cFariborz Jahanian Stmt *getCatchParamStmt() { return SubExprs[SELECTOR]; } 8867794cb85d394750db0631c02b7aa7837ae56764cFariborz Jahanian 8877573098b83e780d1c5bea13b384b610d8f155676Steve Naroff SourceLocation getRParenLoc() const { return RParenLoc; } 8887573098b83e780d1c5bea13b384b610d8f155676Steve Naroff 889b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian virtual SourceRange getSourceRange() const { 8903b1191d7eaf2f4984564e01ab84b6713a9d80e70Fariborz Jahanian return SourceRange(AtCatchLoc, SubExprs[BODY]->getLocEnd()); 891b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian } 892be4b3332c2d17c03af6d015d9e8e2cc524806e6eSteve Naroff 893be4b3332c2d17c03af6d015d9e8e2cc524806e6eSteve Naroff bool hasEllipsis() const { return getCatchParamStmt() == 0; } 894be4b3332c2d17c03af6d015d9e8e2cc524806e6eSteve Naroff 895b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian static bool classof(const Stmt *T) { 896a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek return T->getStmtClass() == ObjCAtCatchStmtClass; 897b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian } 898a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek static bool classof(const ObjCAtCatchStmt *) { return true; } 899b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 900b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian virtual child_iterator child_begin(); 901b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian virtual child_iterator child_end(); 902af526779b36f43f59e47cfc5b10bb0c48562f4a9Ted Kremenek 903af526779b36f43f59e47cfc5b10bb0c48562f4a9Ted Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 904a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek static ObjCAtCatchStmt* CreateImpl(llvm::Deserializer& D); 905b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian}; 906b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 907a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek/// ObjCAtFinallyStmt - This represent objective-c's @finally Statement 908a526c5c67e5a0473c340903ee542ce570119665fTed Kremenekclass ObjCAtFinallyStmt : public Stmt { 90904be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek Stmt *AtFinallyStmt; 91004be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek SourceLocation AtFinallyLoc; 91104be5aae2dc17292e2007401599638f3c6ba30deTed Kremenekpublic: 912a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek ObjCAtFinallyStmt(SourceLocation atFinallyLoc, Stmt *atFinallyStmt) 913a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek : Stmt(ObjCAtFinallyStmtClass), 91404be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek AtFinallyStmt(atFinallyStmt), AtFinallyLoc(atFinallyLoc) {} 9157794cb85d394750db0631c02b7aa7837ae56764cFariborz Jahanian 91604be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek const Stmt *getFinallyBody () const { return AtFinallyStmt; } 91704be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek Stmt *getFinallyBody () { return AtFinallyStmt; } 91804be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek 91904be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek virtual SourceRange getSourceRange() const { 92004be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek return SourceRange(AtFinallyLoc, AtFinallyStmt->getLocEnd()); 92104be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek } 92204be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek 92304be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek static bool classof(const Stmt *T) { 924a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek return T->getStmtClass() == ObjCAtFinallyStmtClass; 92504be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek } 926a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek static bool classof(const ObjCAtFinallyStmt *) { return true; } 92704be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek 92804be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek virtual child_iterator child_begin(); 92904be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek virtual child_iterator child_end(); 93004be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek 93104be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 932a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek static ObjCAtFinallyStmt* CreateImpl(llvm::Deserializer& D); 933b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian}; 934b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 935a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek/// ObjCAtTryStmt - This represent objective-c's over-all 936b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian/// @try ... @catch ... @finally statement. 937a526c5c67e5a0473c340903ee542ce570119665fTed Kremenekclass ObjCAtTryStmt : public Stmt { 938b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanianprivate: 93989079eac7d6e3091b74b477a4a5ff0cdaf35496cFariborz Jahanian enum { TRY, CATCH, FINALLY, END_EXPR }; 94089079eac7d6e3091b74b477a4a5ff0cdaf35496cFariborz Jahanian Stmt* SubStmts[END_EXPR]; 941b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 9429c1efff14b0e001f73c875ed5b184fb3569d641dTed Kremenek SourceLocation AtTryLoc; 943b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanianpublic: 944a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek ObjCAtTryStmt(SourceLocation atTryLoc, Stmt *atTryStmt, 945bd49a647afd9cc534fef13cadf652d4e9c396e2bFariborz Jahanian Stmt *atCatchStmt, 946bd49a647afd9cc534fef13cadf652d4e9c396e2bFariborz Jahanian Stmt *atFinallyStmt) 947a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek : Stmt(ObjCAtTryStmtClass) { 948b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian SubStmts[TRY] = atTryStmt; 949b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian SubStmts[CATCH] = atCatchStmt; 950b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian SubStmts[FINALLY] = atFinallyStmt; 951ccdbc5c6f14965d91a352d114c109a9d4d9552b8Steve Naroff AtTryLoc = atTryLoc; 952b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian } 953b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 9548aab17e82aab6b3f266ef1884253226d2cb8b8d8Fariborz Jahanian const Stmt *getTryBody() const { return SubStmts[TRY]; } 9558aab17e82aab6b3f266ef1884253226d2cb8b8d8Fariborz Jahanian Stmt *getTryBody() { return SubStmts[TRY]; } 956a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek const ObjCAtCatchStmt *getCatchStmts() const { 957a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek return dyn_cast_or_null<ObjCAtCatchStmt>(SubStmts[CATCH]); 9587573098b83e780d1c5bea13b384b610d8f155676Steve Naroff } 959a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek ObjCAtCatchStmt *getCatchStmts() { 960a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek return dyn_cast_or_null<ObjCAtCatchStmt>(SubStmts[CATCH]); 9617573098b83e780d1c5bea13b384b610d8f155676Steve Naroff } 962a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek const ObjCAtFinallyStmt *getFinallyStmt() const { 963a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek return dyn_cast_or_null<ObjCAtFinallyStmt>(SubStmts[FINALLY]); 9647573098b83e780d1c5bea13b384b610d8f155676Steve Naroff } 965a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek ObjCAtFinallyStmt *getFinallyStmt() { 966a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek return dyn_cast_or_null<ObjCAtFinallyStmt>(SubStmts[FINALLY]); 9677573098b83e780d1c5bea13b384b610d8f155676Steve Naroff } 968b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian virtual SourceRange getSourceRange() const { 969b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian return SourceRange(AtTryLoc, SubStmts[TRY]->getLocEnd()); 970b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian } 971b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 972b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian static bool classof(const Stmt *T) { 973a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek return T->getStmtClass() == ObjCAtTryStmtClass; 974b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian } 975a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek static bool classof(const ObjCAtTryStmt *) { return true; } 976b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 977b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian virtual child_iterator child_begin(); 978b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian virtual child_iterator child_end(); 9799c1efff14b0e001f73c875ed5b184fb3569d641dTed Kremenek 9809c1efff14b0e001f73c875ed5b184fb3569d641dTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 981a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek static ObjCAtTryStmt* CreateImpl(llvm::Deserializer& D); 982b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian}; 983fe795956194141c91ae555985c9b930595bff43fChris Lattner 984c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian/// ObjCAtSynchronizedStmt - This is for objective-c's @synchronized statement. 98578a677bbb5fa115fa0995b5783adeeefad67167eFariborz Jahanian/// Example: @synchronized (sem) { 986bd144b7ac70cc96cb1ff822347c2bb9b330729ecFariborz Jahanian/// do-something; 98778a677bbb5fa115fa0995b5783adeeefad67167eFariborz Jahanian/// } 988c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian/// 989c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanianclass ObjCAtSynchronizedStmt : public Stmt { 990c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanianprivate: 991a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian enum { SYNC_EXPR, SYNC_BODY, END_EXPR }; 992a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian Stmt* SubStmts[END_EXPR]; 993c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian SourceLocation AtSynchronizedLoc; 994c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian 995c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanianpublic: 996a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian ObjCAtSynchronizedStmt(SourceLocation atSynchronizedLoc, Stmt *synchExpr, 997c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian Stmt *synchBody) 998a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian : Stmt(ObjCAtSynchronizedStmtClass) { 999a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian SubStmts[SYNC_EXPR] = synchExpr; 1000a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian SubStmts[SYNC_BODY] = synchBody; 1001a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian AtSynchronizedLoc = atSynchronizedLoc; 1002a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian } 1003c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian 100478a677bbb5fa115fa0995b5783adeeefad67167eFariborz Jahanian const CompoundStmt *getSynchBody() const { 100578a677bbb5fa115fa0995b5783adeeefad67167eFariborz Jahanian return reinterpret_cast<CompoundStmt*>(SubStmts[SYNC_BODY]); 100678a677bbb5fa115fa0995b5783adeeefad67167eFariborz Jahanian } 100778a677bbb5fa115fa0995b5783adeeefad67167eFariborz Jahanian CompoundStmt *getSynchBody() { 100878a677bbb5fa115fa0995b5783adeeefad67167eFariborz Jahanian return reinterpret_cast<CompoundStmt*>(SubStmts[SYNC_BODY]); 100978a677bbb5fa115fa0995b5783adeeefad67167eFariborz Jahanian } 1010c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian 1011a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian const Expr *getSynchExpr() const { 1012a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian return reinterpret_cast<Expr*>(SubStmts[SYNC_EXPR]); 1013a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian } 1014a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian Expr *getSynchExpr() { 1015a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian return reinterpret_cast<Expr*>(SubStmts[SYNC_EXPR]); 1016a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian } 1017c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian 1018c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian virtual SourceRange getSourceRange() const { 1019a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian return SourceRange(AtSynchronizedLoc, getSynchBody()->getLocEnd()); 1020c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian } 1021c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian 1022c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian static bool classof(const Stmt *T) { 1023c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian return T->getStmtClass() == ObjCAtSynchronizedStmtClass; 1024c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian } 1025c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian static bool classof(const ObjCAtSynchronizedStmt *) { return true; } 1026c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian 1027fa3ee8e6776634caf064ba5928ca7699d317a280Fariborz Jahanian virtual child_iterator child_begin(); 1028fa3ee8e6776634caf064ba5928ca7699d317a280Fariborz Jahanian virtual child_iterator child_end(); 1029fa3ee8e6776634caf064ba5928ca7699d317a280Fariborz Jahanian 1030c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian virtual void EmitImpl(llvm::Serializer& S) const; 1031c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian static ObjCAtSynchronizedStmt* CreateImpl(llvm::Deserializer& D); 1032c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian}; 1033c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian 1034a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek/// ObjCAtThrowStmt - This represents objective-c's @throw statement. 1035a526c5c67e5a0473c340903ee542ce570119665fTed Kremenekclass ObjCAtThrowStmt : public Stmt { 103639f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian Stmt *Throw; 103739f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian SourceLocation AtThrowLoc; 103839f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanianpublic: 1039a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek ObjCAtThrowStmt(SourceLocation atThrowLoc, Stmt *throwExpr) 1040a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek : Stmt(ObjCAtThrowStmtClass), Throw(throwExpr) { 104139f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian AtThrowLoc = atThrowLoc; 104239f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian } 104339f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian 1044e0def7589a8afa8a6acef13476bb3f882c104b91Chris Lattner const Expr *getThrowExpr() const { return reinterpret_cast<Expr*>(Throw); } 1045e0def7589a8afa8a6acef13476bb3f882c104b91Chris Lattner Expr *getThrowExpr() { return reinterpret_cast<Expr*>(Throw); } 104639f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian 104720ebf8f15df48f27ce2bf7c1b3ae87565235600fSteve Naroff virtual SourceRange getSourceRange() const { 104820ebf8f15df48f27ce2bf7c1b3ae87565235600fSteve Naroff if (Throw) 104920ebf8f15df48f27ce2bf7c1b3ae87565235600fSteve Naroff return SourceRange(AtThrowLoc, Throw->getLocEnd()); 1050db6ed1786bf460e1143f67d14bf2d71ad9856f81Chris Lattner else 1051db6ed1786bf460e1143f67d14bf2d71ad9856f81Chris Lattner return SourceRange(AtThrowLoc); 105239f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian } 105339f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian 105439f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian static bool classof(const Stmt *T) { 1055a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek return T->getStmtClass() == ObjCAtThrowStmtClass; 105639f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian } 1057a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek static bool classof(const ObjCAtThrowStmt *) { return true; } 105839f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian 105939f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian virtual child_iterator child_begin(); 106039f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian virtual child_iterator child_end(); 10615bdd4e300b432246b9d261702828e9875414128bTed Kremenek 10625bdd4e300b432246b9d261702828e9875414128bTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 1063a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek static ObjCAtThrowStmt* CreateImpl(llvm::Deserializer& D); 106439f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian}; 106539f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian 10665f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer} // end namespace clang 10675f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 10685f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#endif 1069