Stmt.h revision 8a0d2660b6890ed95d34f37d142c0c52ac490194
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" 18a95d3750441ac8ad03e36af8e6e74039c9a3109dTed Kremenek#include "llvm/Support/raw_ostream.h" 195f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#include "clang/Basic/SourceLocation.h" 209caf8b1ca6beb254f420dada3c0e94d5ef027f58Ted Kremenek#include "clang/AST/StmtIterator.h" 215f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#include "llvm/ADT/SmallVector.h" 22525204a7ca5c3c0aac8166d8f27abb988a84c850Anton Korobeynikov#include "llvm/ADT/iterator.h" 230a449eed1dd2439b4b9c0a6291084816eab390c1Ted Kremenek#include "llvm/Bitcode/SerializationFwd.h" 246e340496341a4704be0ede9c1ff4f8eacea7ee2cChris Lattner#include <string> 255f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 267573098b83e780d1c5bea13b384b610d8f155676Steve Naroffusing llvm::dyn_cast_or_null; 277573098b83e780d1c5bea13b384b610d8f155676Steve Naroff 285f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencernamespace clang { 29e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop class ASTContext; 305f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer class Expr; 315f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer class Decl; 328e74c93ddaa8268a999e1b25c723dc1984a434b4Steve Naroff class ScopedDecl; 335f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer class IdentifierInfo; 340c727a35718556866a978f64ac549d9798735f08Chris Lattner class SourceManager; 356a0ef4b83c91a6d6d5acb4ed5577c4659fe022a3Anders Carlsson class StringLiteral; 366c36be5b383875b490684bcf439d6d427298c1afChris Lattner class SwitchStmt; 3742a509f6a4f71bb805cc4abbb26722a34dffdddeTed Kremenek class PrinterHelper; 3842a509f6a4f71bb805cc4abbb26722a34dffdddeTed Kremenek 395f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// Stmt - This represents one statement. 405f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 415f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass Stmt { 425f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 435f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer enum StmtClass { 445f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#define STMT(N, CLASS, PARENT) CLASS##Class = N, 455f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#define FIRST_STMT(N) firstStmtConstant = N, 465f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#define LAST_STMT(N) lastStmtConstant = N, 475f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#define FIRST_EXPR(N) firstExprConstant = N, 485f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#define LAST_EXPR(N) lastExprConstant = N 495f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#include "clang/AST/StmtNodes.def" 505f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 515f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerprivate: 525f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer const StmtClass sClass; 539c1863ef36a74e8203f00289d19856ad956f48b9Ted Kremenek 549c1863ef36a74e8203f00289d19856ad956f48b9Ted Kremenekprotected: 559c1863ef36a74e8203f00289d19856ad956f48b9Ted Kremenek /// DestroyChildren - Invoked by destructors of subclasses of Stmt to 569c1863ef36a74e8203f00289d19856ad956f48b9Ted Kremenek /// recursively release child AST nodes. 5727f8a28bee33bb0e857cfe1a61c281bbc234b338Ted Kremenek void DestroyChildren(ASTContext& Ctx); 589c1863ef36a74e8203f00289d19856ad956f48b9Ted Kremenek 595f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 605f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Stmt(StmtClass SC) : sClass(SC) { 615f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer if (Stmt::CollectingStats()) Stmt::addStmtClass(SC); 625f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 635f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer virtual ~Stmt() {} 6427f8a28bee33bb0e857cfe1a61c281bbc234b338Ted Kremenek 6527f8a28bee33bb0e857cfe1a61c281bbc234b338Ted Kremenek virtual void Destroy(ASTContext& Ctx); 665f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 675f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer StmtClass getStmtClass() const { return sClass; } 685f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer const char *getStmtClassName() const; 69b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 70b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff /// SourceLocation tokens are not useful in isolation - they are low level 71b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff /// value objects created/interpreted by SourceManager. We assume AST 72b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff /// clients will have a pointer to the respective SourceManager. 73b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const = 0; 74311ff02fae0392bee6abe7723cdf5a69b2899a47Chris Lattner SourceLocation getLocStart() const { return getSourceRange().getBegin(); } 75311ff02fae0392bee6abe7723cdf5a69b2899a47Chris Lattner SourceLocation getLocEnd() const { return getSourceRange().getEnd(); } 765f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 775f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // global temp stats (until we have a per-module visitor) 785f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static void addStmtClass(const StmtClass s); 795f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool CollectingStats(bool enable=false); 805f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static void PrintStats(); 816000dace22f110d8768476989313e9d981d690d0Chris Lattner 826000dace22f110d8768476989313e9d981d690d0Chris Lattner /// dump - This does a local dump of the specified AST fragment. It dumps the 836000dace22f110d8768476989313e9d981d690d0Chris Lattner /// specified node and a few nodes underneath it, but not the whole subtree. 846000dace22f110d8768476989313e9d981d690d0Chris Lattner /// This is useful in a debugger. 855f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void dump() const; 86e300c870f08d08badf2ebcb53ded49f304af37fcChris Lattner void dump(SourceManager &SM) const; 876000dace22f110d8768476989313e9d981d690d0Chris Lattner 886000dace22f110d8768476989313e9d981d690d0Chris Lattner /// dumpAll - This does a dump of the specified AST fragment and all subtrees. 896000dace22f110d8768476989313e9d981d690d0Chris Lattner void dumpAll() const; 90e300c870f08d08badf2ebcb53ded49f304af37fcChris Lattner void dumpAll(SourceManager &SM) const; 916000dace22f110d8768476989313e9d981d690d0Chris Lattner 926000dace22f110d8768476989313e9d981d690d0Chris Lattner /// dumpPretty/printPretty - These two methods do a "pretty print" of the AST 936000dace22f110d8768476989313e9d981d690d0Chris Lattner /// back to its original source language syntax. 946000dace22f110d8768476989313e9d981d690d0Chris Lattner void dumpPretty() const; 95a95d3750441ac8ad03e36af8e6e74039c9a3109dTed Kremenek void printPretty(llvm::raw_ostream &OS, PrinterHelper* = NULL) const; 965f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 97d2a4a1af1088fca80e2dc76eb3369db0fbbfdefdTed Kremenek /// viewAST - Visualize an AST rooted at this Stmt* using GraphViz. Only 98d2a4a1af1088fca80e2dc76eb3369db0fbbfdefdTed Kremenek /// works on systems with GraphViz (Mac OS X) or dot+gv installed. 99d2a4a1af1088fca80e2dc76eb3369db0fbbfdefdTed Kremenek void viewAST() const; 100d2a4a1af1088fca80e2dc76eb3369db0fbbfdefdTed Kremenek 1015f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // Implement isa<T> support. 1028297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek static bool classof(const Stmt *) { return true; } 10377ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek 104d48ade633d96b94cb435d73e2c935ea457152decTed Kremenek /// hasImplicitControlFlow - Some statements (e.g. short circuited operations) 105d48ade633d96b94cb435d73e2c935ea457152decTed Kremenek /// contain implicit control-flow in the order their subexpressions 106d48ade633d96b94cb435d73e2c935ea457152decTed Kremenek /// are evaluated. This predicate returns true if this statement has 107d48ade633d96b94cb435d73e2c935ea457152decTed Kremenek /// such implicit control-flow. Such statements are also specially handled 108d48ade633d96b94cb435d73e2c935ea457152decTed Kremenek /// within CFGs. 109d48ade633d96b94cb435d73e2c935ea457152decTed Kremenek bool hasImplicitControlFlow() const; 110d48ade633d96b94cb435d73e2c935ea457152decTed Kremenek 11177ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek /// Child Iterators: All subclasses must implement child_begin and child_end 11277ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek /// to permit easy iteration over the substatements/subexpessions of an 11377ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek /// AST node. This permits easy iteration over all nodes in the AST. 1149caf8b1ca6beb254f420dada3c0e94d5ef027f58Ted Kremenek typedef StmtIterator child_iterator; 1159caf8b1ca6beb254f420dada3c0e94d5ef027f58Ted Kremenek typedef ConstStmtIterator const_child_iterator; 11677ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek 1178297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin() = 0; 1188297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end() = 0; 11977ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek 12077ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek const_child_iterator child_begin() const { 1219caf8b1ca6beb254f420dada3c0e94d5ef027f58Ted Kremenek return const_child_iterator(const_cast<Stmt*>(this)->child_begin()); 12277ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek } 12377ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek 12477ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek const_child_iterator child_end() const { 1259caf8b1ca6beb254f420dada3c0e94d5ef027f58Ted Kremenek return const_child_iterator(const_cast<Stmt*>(this)->child_end()); 12677ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek } 1272dc9ac73a8a34cabf261a81a1653d7379065ac61Ted Kremenek 1282dc9ac73a8a34cabf261a81a1653d7379065ac61Ted Kremenek void Emit(llvm::Serializer& S) const; 129e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static Stmt* Create(llvm::Deserializer& D, ASTContext& C); 130e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop 131ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const { 1322dc9ac73a8a34cabf261a81a1653d7379065ac61Ted Kremenek // This method will eventually be a pure-virtual function. 1332dc9ac73a8a34cabf261a81a1653d7379065ac61Ted Kremenek assert (false && "Not implemented."); 1342dc9ac73a8a34cabf261a81a1653d7379065ac61Ted Kremenek } 1355f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 1365f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1375f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// DeclStmt - Adaptor class for mixing declarations with statements and 1385f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// expressions. For example, CompoundStmt mixes statements, expressions 1395f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// and declarations (variables, types). Another example is ForStmt, where 1405f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// the first statement can be an expression or a declaration. 1415f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 1425f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass DeclStmt : public Stmt { 1438e74c93ddaa8268a999e1b25c723dc1984a434b4Steve Naroff ScopedDecl *TheDecl; 14481c018d9482e7cc2addadc6202dcf162a01faefdChris Lattner SourceLocation StartLoc, EndLoc; 1455f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 14681c018d9482e7cc2addadc6202dcf162a01faefdChris Lattner DeclStmt(ScopedDecl *D, SourceLocation startLoc, SourceLocation endLoc) 14781c018d9482e7cc2addadc6202dcf162a01faefdChris Lattner : Stmt(DeclStmtClass), TheDecl(D), StartLoc(startLoc), EndLoc(endLoc) {} 1485f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1498e355f296a3ba45b94de49dbb18ae6a6e67df04cTed Kremenek virtual void Destroy(ASTContext& Ctx); 1508e355f296a3ba45b94de49dbb18ae6a6e67df04cTed Kremenek 1518e74c93ddaa8268a999e1b25c723dc1984a434b4Steve Naroff const ScopedDecl *getDecl() const { return TheDecl; } 1528e74c93ddaa8268a999e1b25c723dc1984a434b4Steve Naroff ScopedDecl *getDecl() { return TheDecl; } 153b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 15481c018d9482e7cc2addadc6202dcf162a01faefdChris Lattner SourceLocation getStartLoc() const { return StartLoc; } 15581c018d9482e7cc2addadc6202dcf162a01faefdChris Lattner SourceLocation getEndLoc() const { return EndLoc; } 15681c018d9482e7cc2addadc6202dcf162a01faefdChris Lattner virtual SourceRange getSourceRange() const { 15781c018d9482e7cc2addadc6202dcf162a01faefdChris Lattner return SourceRange(StartLoc, EndLoc); 15881c018d9482e7cc2addadc6202dcf162a01faefdChris Lattner } 1595f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1605f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 1615f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == DeclStmtClass; 1625f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 1635f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const DeclStmt *) { return true; } 1648297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 16514f8b4ff660bcaa763974b8d0fae81857c594495Ted Kremenek // Iterators over subexpressions. 1668297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 1678297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 1680965f446e7685dc01fc0b5e718610530eed3cc63Ted Kremenek 16914f8b4ff660bcaa763974b8d0fae81857c594495Ted Kremenek // Iterators over the decls. 17014f8b4ff660bcaa763974b8d0fae81857c594495Ted Kremenek class decl_iterator { 17114f8b4ff660bcaa763974b8d0fae81857c594495Ted Kremenek ScopedDecl* D; 17214f8b4ff660bcaa763974b8d0fae81857c594495Ted Kremenek public: 17314f8b4ff660bcaa763974b8d0fae81857c594495Ted Kremenek decl_iterator(ScopedDecl *d) : D(d) {} 17414f8b4ff660bcaa763974b8d0fae81857c594495Ted Kremenek bool operator==(const decl_iterator& I) const { return D == I.D; } 17514f8b4ff660bcaa763974b8d0fae81857c594495Ted Kremenek bool operator!=(const decl_iterator& I) const { return D != I.D; } 17614f8b4ff660bcaa763974b8d0fae81857c594495Ted Kremenek ScopedDecl* operator*() const { return D; } 17714f8b4ff660bcaa763974b8d0fae81857c594495Ted Kremenek decl_iterator& operator++(); 17814f8b4ff660bcaa763974b8d0fae81857c594495Ted Kremenek }; 17914f8b4ff660bcaa763974b8d0fae81857c594495Ted Kremenek 18014f8b4ff660bcaa763974b8d0fae81857c594495Ted Kremenek virtual decl_iterator decl_begin() { return TheDecl; } 18114f8b4ff660bcaa763974b8d0fae81857c594495Ted Kremenek virtual decl_iterator decl_end() { return 0; } 18214f8b4ff660bcaa763974b8d0fae81857c594495Ted Kremenek 1838a0d2660b6890ed95d34f37d142c0c52ac490194Ted Kremenek class const_decl_iterator { 1848a0d2660b6890ed95d34f37d142c0c52ac490194Ted Kremenek decl_iterator Impl; 1858a0d2660b6890ed95d34f37d142c0c52ac490194Ted Kremenek public: 1868a0d2660b6890ed95d34f37d142c0c52ac490194Ted Kremenek const_decl_iterator(const ScopedDecl *d) 1878a0d2660b6890ed95d34f37d142c0c52ac490194Ted Kremenek : Impl(const_cast<ScopedDecl*>(d)) {} 1888a0d2660b6890ed95d34f37d142c0c52ac490194Ted Kremenek 1898a0d2660b6890ed95d34f37d142c0c52ac490194Ted Kremenek bool operator==(const const_decl_iterator& I) const { 1908a0d2660b6890ed95d34f37d142c0c52ac490194Ted Kremenek return Impl == I.Impl; 1918a0d2660b6890ed95d34f37d142c0c52ac490194Ted Kremenek } 1928a0d2660b6890ed95d34f37d142c0c52ac490194Ted Kremenek bool operator!=(const const_decl_iterator& I) const { 1938a0d2660b6890ed95d34f37d142c0c52ac490194Ted Kremenek return Impl != I.Impl; 1948a0d2660b6890ed95d34f37d142c0c52ac490194Ted Kremenek } 1958a0d2660b6890ed95d34f37d142c0c52ac490194Ted Kremenek const ScopedDecl* operator*() const { 1968a0d2660b6890ed95d34f37d142c0c52ac490194Ted Kremenek return *Impl; 1978a0d2660b6890ed95d34f37d142c0c52ac490194Ted Kremenek } 1988a0d2660b6890ed95d34f37d142c0c52ac490194Ted Kremenek const_decl_iterator& operator++() { 1998a0d2660b6890ed95d34f37d142c0c52ac490194Ted Kremenek ++Impl; return *this; 2008a0d2660b6890ed95d34f37d142c0c52ac490194Ted Kremenek } 2018a0d2660b6890ed95d34f37d142c0c52ac490194Ted Kremenek }; 2028a0d2660b6890ed95d34f37d142c0c52ac490194Ted Kremenek 2038a0d2660b6890ed95d34f37d142c0c52ac490194Ted Kremenek const_decl_iterator decl_begin() const { return TheDecl; } 2048a0d2660b6890ed95d34f37d142c0c52ac490194Ted Kremenek const_decl_iterator decl_end() const { return 0; } 2058a0d2660b6890ed95d34f37d142c0c52ac490194Ted Kremenek 20614f8b4ff660bcaa763974b8d0fae81857c594495Ted Kremenek // Serialization. 207ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 208e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static DeclStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 2095f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 2105f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 2115f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// NullStmt - This is the null statement ";": C99 6.8.3p3. 2125f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 2135f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass NullStmt : public Stmt { 2145f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation SemiLoc; 2155f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 2165f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer NullStmt(SourceLocation L) : Stmt(NullStmtClass), SemiLoc(L) {} 2175f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 2185f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation getSemiLoc() const { return SemiLoc; } 219b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 220507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff virtual SourceRange getSourceRange() const { return SourceRange(SemiLoc); } 2215f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 2225f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 2235f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == NullStmtClass; 2245f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 2255f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const NullStmt *) { return true; } 2268297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 2278297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 2288297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 2298297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 2304927be6102784fc69c50234f7e2253283b3e99e4Ted Kremenek 231ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 232e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static NullStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 2335f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 2345f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 2355f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// CompoundStmt - This represents a group of statements like { stmt stmt }. 2365f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 2375f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass CompoundStmt : public Stmt { 2385f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer llvm::SmallVector<Stmt*, 16> Body; 239b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation LBracLoc, RBracLoc; 2405f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 241b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff CompoundStmt(Stmt **StmtStart, unsigned NumStmts, 242b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation LB, SourceLocation RB) 243b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff : Stmt(CompoundStmtClass), Body(StmtStart, StmtStart+NumStmts), 244b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff LBracLoc(LB), RBracLoc(RB) {} 24554395d440dc82a5e51b945c6c2a7f4bc4bea0358Ted Kremenek 246ab18c4c0ac1a46a38aa84c2c8ea485612e21a614Chris Lattner bool body_empty() const { return Body.empty(); } 247ab18c4c0ac1a46a38aa84c2c8ea485612e21a614Chris Lattner 2485f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer typedef llvm::SmallVector<Stmt*, 16>::iterator body_iterator; 2495f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer body_iterator body_begin() { return Body.begin(); } 2505f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer body_iterator body_end() { return Body.end(); } 251ab18c4c0ac1a46a38aa84c2c8ea485612e21a614Chris Lattner Stmt *body_back() { return Body.back(); } 2525f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 2535f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer typedef llvm::SmallVector<Stmt*, 16>::const_iterator const_body_iterator; 2545f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer const_body_iterator body_begin() const { return Body.begin(); } 2555f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer const_body_iterator body_end() const { return Body.end(); } 256ab18c4c0ac1a46a38aa84c2c8ea485612e21a614Chris Lattner const Stmt *body_back() const { return Body.back(); } 2574ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek 2584ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek typedef llvm::SmallVector<Stmt*, 16>::reverse_iterator reverse_body_iterator; 2594ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek reverse_body_iterator body_rbegin() { return Body.rbegin(); } 2604ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek reverse_body_iterator body_rend() { return Body.rend(); } 2614ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek 2624ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek typedef llvm::SmallVector<Stmt*, 16>::const_reverse_iterator 2634ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek const_reverse_body_iterator; 2644ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek const_reverse_body_iterator body_rbegin() const { return Body.rbegin(); } 2654ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek const_reverse_body_iterator body_rend() const { return Body.rend(); } 2664ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek 2675f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void push_back(Stmt *S) { Body.push_back(S); } 268b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 269b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 270b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(LBracLoc, RBracLoc); 271b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 27254395d440dc82a5e51b945c6c2a7f4bc4bea0358Ted Kremenek 273cc326204dd97771c336b9aab3b9963ea30d69c29Ted Kremenek SourceLocation getLBracLoc() const { return LBracLoc; } 274cc326204dd97771c336b9aab3b9963ea30d69c29Ted Kremenek SourceLocation getRBracLoc() const { return RBracLoc; } 27554395d440dc82a5e51b945c6c2a7f4bc4bea0358Ted Kremenek 2765f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 2775f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == CompoundStmtClass; 2785f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 2795f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const CompoundStmt *) { return true; } 2808297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 2818297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 2828297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 2838297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 2842dc9ac73a8a34cabf261a81a1653d7379065ac61Ted Kremenek 285ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 286e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static CompoundStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 2875f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 2885f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 289c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson// SwitchCase is the base class for CaseStmt and DefaultStmt, 290c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlssonclass SwitchCase : public Stmt { 291103fc81f12aa635aa0a573c94b1aceb496b4e587Ted Kremenekprotected: 292c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson // A pointer to the following CaseStmt or DefaultStmt class, 293c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson // used by SwitchStmt. 294c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson SwitchCase *NextSwitchCase; 295103fc81f12aa635aa0a573c94b1aceb496b4e587Ted Kremenek 296d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek SwitchCase(StmtClass SC) : Stmt(SC), NextSwitchCase(0) {} 297c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson 298c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlssonpublic: 299c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson const SwitchCase *getNextSwitchCase() const { return NextSwitchCase; } 300c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson 301c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson SwitchCase *getNextSwitchCase() { return NextSwitchCase; } 302c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson 303c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson void setNextSwitchCase(SwitchCase *SC) { NextSwitchCase = SC; } 304d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek 305d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek virtual Stmt* v_getSubStmt() = 0; 306d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek Stmt *getSubStmt() { return v_getSubStmt(); } 307b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 308b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { return SourceRange(); } 309edcc752060be38bfa7e7b32691c0cc4d843622a8Ted Kremenek 310c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson static bool classof(const Stmt *T) { 311c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson return T->getStmtClass() == CaseStmtClass || 312c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson T->getStmtClass() == DefaultStmtClass; 313c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson } 314c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson static bool classof(const SwitchCase *) { return true; } 315c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson}; 316c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson 317c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlssonclass CaseStmt : public SwitchCase { 318d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek enum { SUBSTMT, LHS, RHS, END_EXPR }; 319d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek Stmt* SubExprs[END_EXPR]; // The expression for the RHS is Non-null for 320d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek // GNU "case 1 ... 4" extension 321b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation CaseLoc; 3225f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 323b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff CaseStmt(Expr *lhs, Expr *rhs, Stmt *substmt, SourceLocation caseLoc) 324d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek : SwitchCase(CaseStmtClass) { 325d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek SubExprs[SUBSTMT] = substmt; 326d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek SubExprs[LHS] = reinterpret_cast<Stmt*>(lhs); 327d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek SubExprs[RHS] = reinterpret_cast<Stmt*>(rhs); 328b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff CaseLoc = caseLoc; 329d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek } 3305f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 331764a7ce5217f9569e100a3445f47496ee82daf86Chris Lattner SourceLocation getCaseLoc() const { return CaseLoc; } 332764a7ce5217f9569e100a3445f47496ee82daf86Chris Lattner 333d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek Expr *getLHS() { return reinterpret_cast<Expr*>(SubExprs[LHS]); } 334d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek Expr *getRHS() { return reinterpret_cast<Expr*>(SubExprs[RHS]); } 335d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek Stmt *getSubStmt() { return SubExprs[SUBSTMT]; } 336d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek virtual Stmt* v_getSubStmt() { return getSubStmt(); } 33751b09f2c528c8460b5465c676173324e44176d62Devang Patel const Expr *getLHS() const { 33851b09f2c528c8460b5465c676173324e44176d62Devang Patel return reinterpret_cast<const Expr*>(SubExprs[LHS]); 33951b09f2c528c8460b5465c676173324e44176d62Devang Patel } 34051b09f2c528c8460b5465c676173324e44176d62Devang Patel const Expr *getRHS() const { 34151b09f2c528c8460b5465c676173324e44176d62Devang Patel return reinterpret_cast<const Expr*>(SubExprs[RHS]); 34251b09f2c528c8460b5465c676173324e44176d62Devang Patel } 34351b09f2c528c8460b5465c676173324e44176d62Devang Patel const Stmt *getSubStmt() const { return SubExprs[SUBSTMT]; } 3445f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 34520dabe8b8ff7ed6d2d0158fee43755a4bc7642c3Chris Lattner void setSubStmt(Stmt *S) { SubExprs[SUBSTMT] = S; } 34620dabe8b8ff7ed6d2d0158fee43755a4bc7642c3Chris Lattner void setLHS(Expr *Val) { SubExprs[LHS] = reinterpret_cast<Stmt*>(Val); } 34720dabe8b8ff7ed6d2d0158fee43755a4bc7642c3Chris Lattner void setRHS(Expr *Val) { SubExprs[RHS] = reinterpret_cast<Stmt*>(Val); } 34820dabe8b8ff7ed6d2d0158fee43755a4bc7642c3Chris Lattner 34920dabe8b8ff7ed6d2d0158fee43755a4bc7642c3Chris Lattner 350b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 351b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(CaseLoc, SubExprs[SUBSTMT]->getLocEnd()); 352b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 3535f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 3545f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == CaseStmtClass; 3555f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 3565f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const CaseStmt *) { return true; } 357d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek 358d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek // Iterators 359d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek virtual child_iterator child_begin(); 360d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek virtual child_iterator child_end(); 3619eea2ca5f2cb5d77569274702b5b06273e426dc2Ted Kremenek 362ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 363e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static CaseStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 3645f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 3655f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 366c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlssonclass DefaultStmt : public SwitchCase { 367d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek Stmt* SubStmt; 3686c36be5b383875b490684bcf439d6d427298c1afChris Lattner SourceLocation DefaultLoc; 3695f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 370edcc752060be38bfa7e7b32691c0cc4d843622a8Ted Kremenek DefaultStmt(SourceLocation DL, Stmt *substmt) : 371d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek SwitchCase(DefaultStmtClass), SubStmt(substmt), DefaultLoc(DL) {} 372b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 373d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek Stmt *getSubStmt() { return SubStmt; } 374d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek virtual Stmt* v_getSubStmt() { return getSubStmt(); } 37551b09f2c528c8460b5465c676173324e44176d62Devang Patel const Stmt *getSubStmt() const { return SubStmt; } 376d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek 3776c36be5b383875b490684bcf439d6d427298c1afChris Lattner SourceLocation getDefaultLoc() const { return DefaultLoc; } 3785f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 379b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 380b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(DefaultLoc, SubStmt->getLocEnd()); 381b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 3825f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 3835f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == DefaultStmtClass; 3845f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 3855f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const DefaultStmt *) { return true; } 386d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek 387d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek // Iterators 388d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek virtual child_iterator child_begin(); 389d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek virtual child_iterator child_end(); 3909eea2ca5f2cb5d77569274702b5b06273e426dc2Ted Kremenek 391ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 392e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static DefaultStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 3935f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 3945f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3955f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass LabelStmt : public Stmt { 3965f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer IdentifierInfo *Label; 3975f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Stmt *SubStmt; 398b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation IdentLoc; 3995f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 400b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff LabelStmt(SourceLocation IL, IdentifierInfo *label, Stmt *substmt) 401b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff : Stmt(LabelStmtClass), Label(label), 402b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SubStmt(substmt), IdentLoc(IL) {} 4035f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 4045f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation getIdentLoc() const { return IdentLoc; } 4055f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer IdentifierInfo *getID() const { return Label; } 4065f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer const char *getName() const; 4075f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Stmt *getSubStmt() { return SubStmt; } 4085f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer const Stmt *getSubStmt() const { return SubStmt; } 4095f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 4105f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void setIdentLoc(SourceLocation L) { IdentLoc = L; } 4115f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void setSubStmt(Stmt *SS) { SubStmt = SS; } 412b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 413b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 414b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(IdentLoc, SubStmt->getLocEnd()); 415b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 4165f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 4175f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == LabelStmtClass; 4185f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 4195f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const LabelStmt *) { return true; } 4208297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 4218297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 4228297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 4238297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 424b15132fda52046ba65eafd6f4b448f7aa16b7e8dTed Kremenek 425ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 426e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static LabelStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 4275f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 4285f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 4295f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 4305f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// IfStmt - This represents an if/then/else. 4315f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 4325f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass IfStmt : public Stmt { 4338297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek enum { COND, THEN, ELSE, END_EXPR }; 4348297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt* SubExprs[END_EXPR]; 435b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation IfLoc; 4365f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 437b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff IfStmt(SourceLocation IL, Expr *cond, Stmt *then, Stmt *elsev = 0) 438b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff : Stmt(IfStmtClass) { 4398297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[COND] = reinterpret_cast<Stmt*>(cond); 4408297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[THEN] = then; 4418297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[ELSE] = elsev; 442b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff IfLoc = IL; 4438297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek } 4445f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 4458297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Expr *getCond() const { return reinterpret_cast<Expr*>(SubExprs[COND]);} 4468297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Stmt *getThen() const { return SubExprs[THEN]; } 4478297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Stmt *getElse() const { return SubExprs[ELSE]; } 4485f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 4498297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Expr *getCond() { return reinterpret_cast<Expr*>(SubExprs[COND]); } 4508297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt *getThen() { return SubExprs[THEN]; } 4518297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt *getElse() { return SubExprs[ELSE]; } 452b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 453b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 454b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff if (SubExprs[ELSE]) 455b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(IfLoc, SubExprs[ELSE]->getLocEnd()); 456b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff else 457b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(IfLoc, SubExprs[THEN]->getLocEnd()); 458b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 4595f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 4605f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 4615f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == IfStmtClass; 4625f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 4635f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const IfStmt *) { return true; } 4648297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 4658297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 4668297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 4678297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 4684210f3dfd73ad3482f9cfa0a382e1fd78f22976dTed Kremenek 469ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 470e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static IfStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 4715f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 4725f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 4735f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// SwitchStmt - This represents a 'switch' stmt. 4745f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 4755f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass SwitchStmt : public Stmt { 4768297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek enum { COND, BODY, END_EXPR }; 4778297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt* SubExprs[END_EXPR]; 478c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson // This points to a linked list of case and default statements. 479c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson SwitchCase *FirstCase; 4809dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff SourceLocation SwitchLoc; 4815f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 4828297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SwitchStmt(Expr *cond) : Stmt(SwitchStmtClass), FirstCase(0) { 4838297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[COND] = reinterpret_cast<Stmt*>(cond); 4848297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[BODY] = NULL; 4858297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek } 4865f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 4878297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Expr *getCond() const { return reinterpret_cast<Expr*>(SubExprs[COND]);} 4888297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Stmt *getBody() const { return SubExprs[BODY]; } 489c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson const SwitchCase *getSwitchCaseList() const { return FirstCase; } 490c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson 4918297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Expr *getCond() { return reinterpret_cast<Expr*>(SubExprs[COND]);} 4928297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt *getBody() { return SubExprs[BODY]; } 493c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson SwitchCase *getSwitchCaseList() { return FirstCase; } 494c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson 4959dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff void setBody(Stmt *S, SourceLocation SL) { 4969dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff SubExprs[BODY] = S; 4979dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff SwitchLoc = SL; 4989dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff } 499c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson void addSwitchCase(SwitchCase *SC) { 500c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson if (FirstCase) 501c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson SC->setNextSwitchCase(FirstCase); 502c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson 503c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson FirstCase = SC; 504c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson } 5059dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff virtual SourceRange getSourceRange() const { 5069dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff return SourceRange(SwitchLoc, SubExprs[BODY]->getLocEnd()); 5079dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff } 5085f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 5095f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == SwitchStmtClass; 5105f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 5115f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const SwitchStmt *) { return true; } 5128297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 5138297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 5148297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 5158297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 5169eea2ca5f2cb5d77569274702b5b06273e426dc2Ted Kremenek 517ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 518e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static SwitchStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 5195f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 5205f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5215f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5225f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// WhileStmt - This represents a 'while' stmt. 5235f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 5245f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass WhileStmt : public Stmt { 5258297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek enum { COND, BODY, END_EXPR }; 5268297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt* SubExprs[END_EXPR]; 527b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation WhileLoc; 5285f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 529b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff WhileStmt(Expr *cond, Stmt *body, SourceLocation WL) : Stmt(WhileStmtClass) { 5308297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[COND] = reinterpret_cast<Stmt*>(cond); 5318297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[BODY] = body; 532b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff WhileLoc = WL; 5338297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek } 5345f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5358297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Expr *getCond() { return reinterpret_cast<Expr*>(SubExprs[COND]); } 5368297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Expr *getCond() const { return reinterpret_cast<Expr*>(SubExprs[COND]);} 5378297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt *getBody() { return SubExprs[BODY]; } 5388297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Stmt *getBody() const { return SubExprs[BODY]; } 539b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 540b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 541b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(WhileLoc, SubExprs[BODY]->getLocEnd()); 542b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 5435f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 5445f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == WhileStmtClass; 5455f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 5465f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const WhileStmt *) { return true; } 5478297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 5488297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 5498297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 5508297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 5515572b94b76a78a35bac32d1ef04907c7a651adbaTed Kremenek 552ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 553e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static WhileStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 5545f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 5555f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5565f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// DoStmt - This represents a 'do/while' stmt. 5575f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 5585f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass DoStmt : public Stmt { 5598297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek enum { COND, BODY, END_EXPR }; 5608297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt* SubExprs[END_EXPR]; 561b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation DoLoc; 5625f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 563b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff DoStmt(Stmt *body, Expr *cond, SourceLocation DL) 564b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff : Stmt(DoStmtClass), DoLoc(DL) { 5658297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[COND] = reinterpret_cast<Stmt*>(cond); 5668297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[BODY] = body; 567b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff DoLoc = DL; 5688297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek } 5695f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5708297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Expr *getCond() { return reinterpret_cast<Expr*>(SubExprs[COND]); } 5718297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Expr *getCond() const { return reinterpret_cast<Expr*>(SubExprs[COND]);} 5728297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt *getBody() { return SubExprs[BODY]; } 5738297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Stmt *getBody() const { return SubExprs[BODY]; } 574b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 575b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 576b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(DoLoc, SubExprs[BODY]->getLocEnd()); 577b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 5785f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 5795f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == DoStmtClass; 5805f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 5815f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const DoStmt *) { return true; } 5828297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 5838297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 5848297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 5858297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 586e3299ef345bb8a71901108bf83a824591eae6c1aTed Kremenek 587ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 588e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static DoStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 5895f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 5905f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5915f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5925f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// ForStmt - This represents a 'for (init;cond;inc)' stmt. Note that any of 5935f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// the init/cond/inc parts of the ForStmt will be null if they were not 5945f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// specified in the source. 5955f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 5965f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass ForStmt : public Stmt { 5978297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek enum { INIT, COND, INC, BODY, END_EXPR }; 5988297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt* SubExprs[END_EXPR]; // SubExprs[INIT] is an expression or declstmt. 599b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation ForLoc; 6005f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 601b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff ForStmt(Stmt *Init, Expr *Cond, Expr *Inc, Stmt *Body, SourceLocation FL) 602b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff : Stmt(ForStmtClass) { 603af458c9f658335bdea482395ff4a25c75935e129Chris Lattner SubExprs[INIT] = Init; 604af458c9f658335bdea482395ff4a25c75935e129Chris Lattner SubExprs[COND] = reinterpret_cast<Stmt*>(Cond); 605af458c9f658335bdea482395ff4a25c75935e129Chris Lattner SubExprs[INC] = reinterpret_cast<Stmt*>(Inc); 606af458c9f658335bdea482395ff4a25c75935e129Chris Lattner SubExprs[BODY] = Body; 607b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff ForLoc = FL; 608af458c9f658335bdea482395ff4a25c75935e129Chris Lattner } 6095f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6108297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt *getInit() { return SubExprs[INIT]; } 6118297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Expr *getCond() { return reinterpret_cast<Expr*>(SubExprs[COND]); } 6128297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Expr *getInc() { return reinterpret_cast<Expr*>(SubExprs[INC]); } 6138297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt *getBody() { return SubExprs[BODY]; } 6148297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 6158297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Stmt *getInit() const { return SubExprs[INIT]; } 6168297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Expr *getCond() const { return reinterpret_cast<Expr*>(SubExprs[COND]);} 6178297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Expr *getInc() const { return reinterpret_cast<Expr*>(SubExprs[INC]); } 6188297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Stmt *getBody() const { return SubExprs[BODY]; } 619b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 620b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 621b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(ForLoc, SubExprs[BODY]->getLocEnd()); 622b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 6235f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 6245f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == ForStmtClass; 6255f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 6265f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const ForStmt *) { return true; } 6278297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 6288297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 6298297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 6308297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 63107ba046c7d7bbc1f42b86b3ed012eec8fc7849daTed Kremenek 632ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 633e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static ForStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 6345f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 6350196cab54007ff072ec2642da8911c6b7e8d3fb5Fariborz Jahanian 6365f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// GotoStmt - This represents a direct goto. 6375f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 6385f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass GotoStmt : public Stmt { 6395f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer LabelStmt *Label; 640507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff SourceLocation GotoLoc; 64161f62165220e75694fe333179c78815e2e48d71fTed Kremenek SourceLocation LabelLoc; 6425f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 64361f62165220e75694fe333179c78815e2e48d71fTed Kremenek GotoStmt(LabelStmt *label, SourceLocation GL, SourceLocation LL) 64461f62165220e75694fe333179c78815e2e48d71fTed Kremenek : Stmt(GotoStmtClass), Label(label), GotoLoc(GL), LabelLoc(LL) {} 6455f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6465f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer LabelStmt *getLabel() const { return Label; } 647b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 648507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff virtual SourceRange getSourceRange() const { 64961f62165220e75694fe333179c78815e2e48d71fTed Kremenek return SourceRange(GotoLoc, LabelLoc); 650507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff } 6515f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 6525f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == GotoStmtClass; 6535f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 6545f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const GotoStmt *) { return true; } 6558297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 6568297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 6578297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 6588297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 6593f0767b74b16b37bcce60ff457609161a0665784Ted Kremenek 660ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 661e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static GotoStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 6625f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 6635f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6645f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// IndirectGotoStmt - This represents an indirect goto. 6655f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 6665f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass IndirectGotoStmt : public Stmt { 6671060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek Stmt *Target; 668225a2d946f73aed3b38f265fcb4e7d7d88136928Ted Kremenek // FIXME: Add location information (e.g. SourceLocation objects). 669225a2d946f73aed3b38f265fcb4e7d7d88136928Ted Kremenek // When doing so, update the serialization routines. 6705f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 6711060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek IndirectGotoStmt(Expr *target) : Stmt(IndirectGotoStmtClass), 6721060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek Target((Stmt*)target){} 6735f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6741060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek Expr *getTarget(); 6751060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek const Expr *getTarget() const; 676b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 677b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { return SourceRange(); } 6785f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6795f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 6805f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == IndirectGotoStmtClass; 6815f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 6825f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const IndirectGotoStmt *) { return true; } 6838297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 6848297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 6858297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 6868297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 687225a2d946f73aed3b38f265fcb4e7d7d88136928Ted Kremenek 688ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 689e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static IndirectGotoStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 6905f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 6915f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6925f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6935f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// ContinueStmt - This represents a continue. 6945f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 6955f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass ContinueStmt : public Stmt { 696507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff SourceLocation ContinueLoc; 6975f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 698507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff ContinueStmt(SourceLocation CL) : Stmt(ContinueStmtClass), ContinueLoc(CL) {} 699b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 700507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff virtual SourceRange getSourceRange() const { 701507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff return SourceRange(ContinueLoc); 702507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff } 7035f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 7045f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == ContinueStmtClass; 7055f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 7065f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const ContinueStmt *) { return true; } 7078297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 7088297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 7098297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 7108297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 71196f22423c52c22d263b4e5f7ee762122b607459eTed Kremenek 712ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 713e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static ContinueStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 7145f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 7155f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 7165f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// BreakStmt - This represents a break. 7175f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 7185f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass BreakStmt : public Stmt { 719507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff SourceLocation BreakLoc; 7205f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 721507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff BreakStmt(SourceLocation BL) : Stmt(BreakStmtClass), BreakLoc(BL) {} 722b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 723507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff virtual SourceRange getSourceRange() const { return SourceRange(BreakLoc); } 724b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 7255f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 7265f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == BreakStmtClass; 7275f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 7285f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const BreakStmt *) { return true; } 7298297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 7308297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 7318297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 7328297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 7339eea2ca5f2cb5d77569274702b5b06273e426dc2Ted Kremenek 734ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 735e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static BreakStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 7365f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 7375f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 7385f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 739c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner/// ReturnStmt - This represents a return, optionally of an expression: 740c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner/// return; 741c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner/// return 4; 742c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner/// 743c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner/// Note that GCC allows return with no argument in a function declared to 744c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner/// return a value, and it allows returning a value in functions declared to 745c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner/// return void. We explicitly model this in the AST, which means you can't 746c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner/// depend on the return type of the function and the presence of an argument. 7475f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 7485f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass ReturnStmt : public Stmt { 7491060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek Stmt *RetExpr; 750507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff SourceLocation RetLoc; 7515f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 752507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff ReturnStmt(SourceLocation RL, Expr *E = 0) : Stmt(ReturnStmtClass), 7531060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek RetExpr((Stmt*) E), RetLoc(RL) {} 7545f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 7551060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek const Expr *getRetValue() const; 7561060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek Expr *getRetValue(); 757b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 758507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff virtual SourceRange getSourceRange() const; 7595f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 7605f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 7615f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == ReturnStmtClass; 7625f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 7635f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const ReturnStmt *) { return true; } 7648297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 7658297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 7668297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 7678297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 7682dc9ac73a8a34cabf261a81a1653d7379065ac61Ted Kremenek 769ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 770e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static ReturnStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 7715f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 7725f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 773fe795956194141c91ae555985c9b930595bff43fChris Lattner/// AsmStmt - This represents a GNU inline-assembly statement extension. 774fe795956194141c91ae555985c9b930595bff43fChris Lattner/// 775fe795956194141c91ae555985c9b930595bff43fChris Lattnerclass AsmStmt : public Stmt { 776fe795956194141c91ae555985c9b930595bff43fChris Lattner SourceLocation AsmLoc, RParenLoc; 7776a0ef4b83c91a6d6d5acb4ed5577c4659fe022a3Anders Carlsson StringLiteral *AsmStr; 778b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson 779dfab34a696d1dba8622248c31aaf605906cb6109Anders Carlsson bool IsSimple; 78039c47b56f45437bbc49c9568b7308a400234a730Anders Carlsson bool IsVolatile; 78139c47b56f45437bbc49c9568b7308a400234a730Anders Carlsson 782b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson unsigned NumOutputs; 783b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson unsigned NumInputs; 784b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson 785b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson llvm::SmallVector<std::string, 4> Names; 786b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson llvm::SmallVector<StringLiteral*, 4> Constraints; 787b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson llvm::SmallVector<Expr*, 4> Exprs; 788b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson 789b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson llvm::SmallVector<StringLiteral*, 4> Clobbers; 790fe795956194141c91ae555985c9b930595bff43fChris Lattnerpublic: 791dfab34a696d1dba8622248c31aaf605906cb6109Anders Carlsson AsmStmt(SourceLocation asmloc, bool issimple, bool isvolatile, 792dfab34a696d1dba8622248c31aaf605906cb6109Anders Carlsson unsigned numoutputs, unsigned numinputs, 793dfab34a696d1dba8622248c31aaf605906cb6109Anders Carlsson std::string *names, StringLiteral **constraints, 794db6ed1786bf460e1143f67d14bf2d71ad9856f81Chris Lattner Expr **exprs, StringLiteral *asmstr, unsigned numclobbers, 795db6ed1786bf460e1143f67d14bf2d71ad9856f81Chris Lattner StringLiteral **clobbers, SourceLocation rparenloc); 796b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson 79739c47b56f45437bbc49c9568b7308a400234a730Anders Carlsson bool isVolatile() const { return IsVolatile; } 798dfab34a696d1dba8622248c31aaf605906cb6109Anders Carlsson bool isSimple() const { return IsSimple; } 799dfab34a696d1dba8622248c31aaf605906cb6109Anders Carlsson 800b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson unsigned getNumOutputs() const { return NumOutputs; } 801b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson const std::string &getOutputName(unsigned i) const 802b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson { return Names[i]; } 803d04c6e23f2e10eeb9936778d67f4a1c4a14cc4f6Anders Carlsson const StringLiteral *getOutputConstraint(unsigned i) const 804d04c6e23f2e10eeb9936778d67f4a1c4a14cc4f6Anders Carlsson { return Constraints[i]; } 805b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson StringLiteral *getOutputConstraint(unsigned i) 806b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson { return Constraints[i]; } 807d04c6e23f2e10eeb9936778d67f4a1c4a14cc4f6Anders Carlsson const Expr *getOutputExpr(unsigned i) const { return Exprs[i]; } 808b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson Expr *getOutputExpr(unsigned i) { return Exprs[i]; } 809b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson 810b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson unsigned getNumInputs() const { return NumInputs; } 811b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson const std::string &getInputName(unsigned i) const 812b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson { return Names[i + NumOutputs]; } 813b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson StringLiteral *getInputConstraint(unsigned i) 814b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson { return Constraints[i + NumOutputs]; } 815d04c6e23f2e10eeb9936778d67f4a1c4a14cc4f6Anders Carlsson const StringLiteral *getInputConstraint(unsigned i) const 816d04c6e23f2e10eeb9936778d67f4a1c4a14cc4f6Anders Carlsson { return Constraints[i + NumOutputs]; } 817b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson Expr *getInputExpr(unsigned i) { return Exprs[i + NumOutputs]; } 818d04c6e23f2e10eeb9936778d67f4a1c4a14cc4f6Anders Carlsson const Expr *getInputExpr(unsigned i) const { return Exprs[i + NumOutputs]; } 819d04c6e23f2e10eeb9936778d67f4a1c4a14cc4f6Anders Carlsson 8206a0ef4b83c91a6d6d5acb4ed5577c4659fe022a3Anders Carlsson const StringLiteral *getAsmString() const { return AsmStr; } 8216a0ef4b83c91a6d6d5acb4ed5577c4659fe022a3Anders Carlsson StringLiteral *getAsmString() { return AsmStr; } 8226a0ef4b83c91a6d6d5acb4ed5577c4659fe022a3Anders Carlsson 823b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson unsigned getNumClobbers() const { return Clobbers.size(); } 824b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson StringLiteral *getClobber(unsigned i) { return Clobbers[i]; } 825d04c6e23f2e10eeb9936778d67f4a1c4a14cc4f6Anders Carlsson const StringLiteral *getClobber(unsigned i) const { return Clobbers[i]; } 826b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson 827fe795956194141c91ae555985c9b930595bff43fChris Lattner virtual SourceRange getSourceRange() const { 828fe795956194141c91ae555985c9b930595bff43fChris Lattner return SourceRange(AsmLoc, RParenLoc); 829fe795956194141c91ae555985c9b930595bff43fChris Lattner } 830fe795956194141c91ae555985c9b930595bff43fChris Lattner 831fe795956194141c91ae555985c9b930595bff43fChris Lattner static bool classof(const Stmt *T) {return T->getStmtClass() == AsmStmtClass;} 832fe795956194141c91ae555985c9b930595bff43fChris Lattner static bool classof(const AsmStmt *) { return true; } 833fe795956194141c91ae555985c9b930595bff43fChris Lattner 834ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek // Input expr iterators. 835ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek 836ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek typedef Expr* const * inputs_iterator; 837ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek typedef const Expr* const* const_inputs_iterator; 838ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek 839ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek inputs_iterator begin_inputs() { return &Exprs[0] + NumOutputs; } 840ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek inputs_iterator end_inputs() { return begin_inputs() + NumInputs; } 841ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek 842ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek const_inputs_iterator begin_inputs() const { return &Exprs[0] + NumOutputs; } 843ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek const_inputs_iterator end_inputs() const { return begin_inputs() + NumInputs;} 844ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek 845ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek // Output expr iterators. 846ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek 847ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek typedef Expr* const * outputs_iterator; 848ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek typedef const Expr* const* const_outputs_iterator; 849ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek 850ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek outputs_iterator begin_outputs() { return &Exprs[0]; } 851ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek outputs_iterator end_outputs() { return begin_outputs() + NumOutputs; } 852ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek 853ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek const_outputs_iterator begin_outputs() const { return &Exprs[0]; } 854ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek const_outputs_iterator end_outputs() const { 855ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek return begin_outputs() + NumOutputs; 856ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek } 857ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek 858ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek // Child iterators 859ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek 860fe795956194141c91ae555985c9b930595bff43fChris Lattner virtual child_iterator child_begin(); 861fe795956194141c91ae555985c9b930595bff43fChris Lattner virtual child_iterator child_end(); 8621f85acd5ff54345788b93111197088160fe9f06eTed Kremenek 8631f85acd5ff54345788b93111197088160fe9f06eTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 864e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static AsmStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 865fe795956194141c91ae555985c9b930595bff43fChris Lattner}; 86678492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek 86778492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek/// ObjCForCollectionStmt - This represents Objective-c's collection statement; 86878492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek/// represented as 'for (element 'in' collection-expression)' stmt. 86978492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek/// 87078492dae00fb85e0da0f966df4745edafdafb66cTed Kremenekclass ObjCForCollectionStmt : public Stmt { 87178492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek enum { ELEM, COLLECTION, BODY, END_EXPR }; 87278492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek Stmt* SubExprs[END_EXPR]; // SubExprs[ELEM] is an expression or declstmt. 87378492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek SourceLocation ForLoc; 87478492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek SourceLocation RParenLoc; 87578492dae00fb85e0da0f966df4745edafdafb66cTed Kremenekpublic: 87678492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek ObjCForCollectionStmt(Stmt *Elem, Expr *Collect, Stmt *Body, 87778492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek SourceLocation FCL, SourceLocation RPL); 87878492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek 87978492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek Stmt *getElement() { return SubExprs[ELEM]; } 88078492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek Expr *getCollection() { 88178492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek return reinterpret_cast<Expr*>(SubExprs[COLLECTION]); 88278492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek } 88378492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek Stmt *getBody() { return SubExprs[BODY]; } 88478492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek 88578492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek const Stmt *getElement() const { return SubExprs[ELEM]; } 88678492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek const Expr *getCollection() const { 88778492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek return reinterpret_cast<Expr*>(SubExprs[COLLECTION]); 88878492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek } 88978492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek const Stmt *getBody() const { return SubExprs[BODY]; } 89078492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek 89178492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek SourceLocation getRParenLoc() const { return RParenLoc; } 89278492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek 89378492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek virtual SourceRange getSourceRange() const { 89478492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek return SourceRange(ForLoc, SubExprs[BODY]->getLocEnd()); 89578492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek } 89678492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek static bool classof(const Stmt *T) { 89778492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek return T->getStmtClass() == ObjCForCollectionStmtClass; 89878492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek } 89978492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek static bool classof(const ObjCForCollectionStmt *) { return true; } 90078492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek 90178492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek // Iterators 90278492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek virtual child_iterator child_begin(); 90378492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek virtual child_iterator child_end(); 90478492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek 90578492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 906e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static ObjCForCollectionStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 90778492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek}; 908b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 909a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek/// ObjCAtCatchStmt - This represents objective-c's @catch statement. 910a526c5c67e5a0473c340903ee542ce570119665fTed Kremenekclass ObjCAtCatchStmt : public Stmt { 911b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanianprivate: 912ff981021554a4965943ca2d19019cea811614602Ted Kremenek enum { SELECTOR, BODY, NEXT_CATCH, END_EXPR }; 9133b1191d7eaf2f4984564e01ab84b6713a9d80e70Fariborz Jahanian Stmt *SubExprs[END_EXPR]; 914b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian SourceLocation AtCatchLoc, RParenLoc; 915af526779b36f43f59e47cfc5b10bb0c48562f4a9Ted Kremenek 916af526779b36f43f59e47cfc5b10bb0c48562f4a9Ted Kremenek // Used by deserialization. 917a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek ObjCAtCatchStmt(SourceLocation atCatchLoc, SourceLocation rparenloc) 918a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek : Stmt(ObjCAtCatchStmtClass), AtCatchLoc(atCatchLoc), RParenLoc(rparenloc) {} 919af526779b36f43f59e47cfc5b10bb0c48562f4a9Ted Kremenek 920b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanianpublic: 921a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek ObjCAtCatchStmt(SourceLocation atCatchLoc, SourceLocation rparenloc, 922db6ed1786bf460e1143f67d14bf2d71ad9856f81Chris Lattner Stmt *catchVarStmtDecl, Stmt *atCatchStmt, Stmt *atCatchList); 923b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 924606efdfeb9eef70871eb62a26dfd115e209e899cFariborz Jahanian const Stmt *getCatchBody() const { return SubExprs[BODY]; } 925606efdfeb9eef70871eb62a26dfd115e209e899cFariborz Jahanian Stmt *getCatchBody() { return SubExprs[BODY]; } 926ff981021554a4965943ca2d19019cea811614602Ted Kremenek 927ff981021554a4965943ca2d19019cea811614602Ted Kremenek const ObjCAtCatchStmt *getNextCatchStmt() const { 928ff981021554a4965943ca2d19019cea811614602Ted Kremenek return static_cast<const ObjCAtCatchStmt*>(SubExprs[NEXT_CATCH]); 929ff981021554a4965943ca2d19019cea811614602Ted Kremenek } 930ff981021554a4965943ca2d19019cea811614602Ted Kremenek ObjCAtCatchStmt *getNextCatchStmt() { 931ff981021554a4965943ca2d19019cea811614602Ted Kremenek return static_cast<ObjCAtCatchStmt*>(SubExprs[NEXT_CATCH]); 932ff981021554a4965943ca2d19019cea811614602Ted Kremenek } 933ff981021554a4965943ca2d19019cea811614602Ted Kremenek 934606efdfeb9eef70871eb62a26dfd115e209e899cFariborz Jahanian const Stmt *getCatchParamStmt() const { return SubExprs[SELECTOR]; } 935606efdfeb9eef70871eb62a26dfd115e209e899cFariborz Jahanian Stmt *getCatchParamStmt() { return SubExprs[SELECTOR]; } 9367794cb85d394750db0631c02b7aa7837ae56764cFariborz Jahanian 9377573098b83e780d1c5bea13b384b610d8f155676Steve Naroff SourceLocation getRParenLoc() const { return RParenLoc; } 9387573098b83e780d1c5bea13b384b610d8f155676Steve Naroff 939b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian virtual SourceRange getSourceRange() const { 9403b1191d7eaf2f4984564e01ab84b6713a9d80e70Fariborz Jahanian return SourceRange(AtCatchLoc, SubExprs[BODY]->getLocEnd()); 941b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian } 942be4b3332c2d17c03af6d015d9e8e2cc524806e6eSteve Naroff 943be4b3332c2d17c03af6d015d9e8e2cc524806e6eSteve Naroff bool hasEllipsis() const { return getCatchParamStmt() == 0; } 944be4b3332c2d17c03af6d015d9e8e2cc524806e6eSteve Naroff 945b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian static bool classof(const Stmt *T) { 946a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek return T->getStmtClass() == ObjCAtCatchStmtClass; 947b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian } 948a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek static bool classof(const ObjCAtCatchStmt *) { return true; } 949b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 950b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian virtual child_iterator child_begin(); 951b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian virtual child_iterator child_end(); 952af526779b36f43f59e47cfc5b10bb0c48562f4a9Ted Kremenek 953af526779b36f43f59e47cfc5b10bb0c48562f4a9Ted Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 954e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static ObjCAtCatchStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 955b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian}; 956b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 957a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek/// ObjCAtFinallyStmt - This represent objective-c's @finally Statement 958a526c5c67e5a0473c340903ee542ce570119665fTed Kremenekclass ObjCAtFinallyStmt : public Stmt { 95904be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek Stmt *AtFinallyStmt; 96004be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek SourceLocation AtFinallyLoc; 96104be5aae2dc17292e2007401599638f3c6ba30deTed Kremenekpublic: 962a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek ObjCAtFinallyStmt(SourceLocation atFinallyLoc, Stmt *atFinallyStmt) 963a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek : Stmt(ObjCAtFinallyStmtClass), 96404be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek AtFinallyStmt(atFinallyStmt), AtFinallyLoc(atFinallyLoc) {} 9657794cb85d394750db0631c02b7aa7837ae56764cFariborz Jahanian 96604be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek const Stmt *getFinallyBody () const { return AtFinallyStmt; } 96704be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek Stmt *getFinallyBody () { return AtFinallyStmt; } 96804be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek 96904be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek virtual SourceRange getSourceRange() const { 97004be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek return SourceRange(AtFinallyLoc, AtFinallyStmt->getLocEnd()); 97104be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek } 97204be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek 97304be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek static bool classof(const Stmt *T) { 974a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek return T->getStmtClass() == ObjCAtFinallyStmtClass; 97504be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek } 976a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek static bool classof(const ObjCAtFinallyStmt *) { return true; } 97704be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek 97804be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek virtual child_iterator child_begin(); 97904be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek virtual child_iterator child_end(); 98004be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek 98104be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 982e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static ObjCAtFinallyStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 983b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian}; 984b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 985a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek/// ObjCAtTryStmt - This represent objective-c's over-all 986b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian/// @try ... @catch ... @finally statement. 987a526c5c67e5a0473c340903ee542ce570119665fTed Kremenekclass ObjCAtTryStmt : public Stmt { 988b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanianprivate: 98989079eac7d6e3091b74b477a4a5ff0cdaf35496cFariborz Jahanian enum { TRY, CATCH, FINALLY, END_EXPR }; 99089079eac7d6e3091b74b477a4a5ff0cdaf35496cFariborz Jahanian Stmt* SubStmts[END_EXPR]; 991b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 9929c1efff14b0e001f73c875ed5b184fb3569d641dTed Kremenek SourceLocation AtTryLoc; 993b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanianpublic: 994a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek ObjCAtTryStmt(SourceLocation atTryLoc, Stmt *atTryStmt, 995bd49a647afd9cc534fef13cadf652d4e9c396e2bFariborz Jahanian Stmt *atCatchStmt, 996bd49a647afd9cc534fef13cadf652d4e9c396e2bFariborz Jahanian Stmt *atFinallyStmt) 997a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek : Stmt(ObjCAtTryStmtClass) { 998b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian SubStmts[TRY] = atTryStmt; 999b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian SubStmts[CATCH] = atCatchStmt; 1000b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian SubStmts[FINALLY] = atFinallyStmt; 1001ccdbc5c6f14965d91a352d114c109a9d4d9552b8Steve Naroff AtTryLoc = atTryLoc; 1002b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian } 1003b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 10048aab17e82aab6b3f266ef1884253226d2cb8b8d8Fariborz Jahanian const Stmt *getTryBody() const { return SubStmts[TRY]; } 10058aab17e82aab6b3f266ef1884253226d2cb8b8d8Fariborz Jahanian Stmt *getTryBody() { return SubStmts[TRY]; } 1006a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek const ObjCAtCatchStmt *getCatchStmts() const { 1007a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek return dyn_cast_or_null<ObjCAtCatchStmt>(SubStmts[CATCH]); 10087573098b83e780d1c5bea13b384b610d8f155676Steve Naroff } 1009a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek ObjCAtCatchStmt *getCatchStmts() { 1010a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek return dyn_cast_or_null<ObjCAtCatchStmt>(SubStmts[CATCH]); 10117573098b83e780d1c5bea13b384b610d8f155676Steve Naroff } 1012a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek const ObjCAtFinallyStmt *getFinallyStmt() const { 1013a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek return dyn_cast_or_null<ObjCAtFinallyStmt>(SubStmts[FINALLY]); 10147573098b83e780d1c5bea13b384b610d8f155676Steve Naroff } 1015a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek ObjCAtFinallyStmt *getFinallyStmt() { 1016a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek return dyn_cast_or_null<ObjCAtFinallyStmt>(SubStmts[FINALLY]); 10177573098b83e780d1c5bea13b384b610d8f155676Steve Naroff } 1018b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian virtual SourceRange getSourceRange() const { 1019b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian return SourceRange(AtTryLoc, SubStmts[TRY]->getLocEnd()); 1020b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian } 1021b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 1022b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian static bool classof(const Stmt *T) { 1023a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek return T->getStmtClass() == ObjCAtTryStmtClass; 1024b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian } 1025a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek static bool classof(const ObjCAtTryStmt *) { return true; } 1026b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 1027b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian virtual child_iterator child_begin(); 1028b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian virtual child_iterator child_end(); 10299c1efff14b0e001f73c875ed5b184fb3569d641dTed Kremenek 10309c1efff14b0e001f73c875ed5b184fb3569d641dTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 1031e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static ObjCAtTryStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 1032b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian}; 1033fe795956194141c91ae555985c9b930595bff43fChris Lattner 1034c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian/// ObjCAtSynchronizedStmt - This is for objective-c's @synchronized statement. 103578a677bbb5fa115fa0995b5783adeeefad67167eFariborz Jahanian/// Example: @synchronized (sem) { 1036bd144b7ac70cc96cb1ff822347c2bb9b330729ecFariborz Jahanian/// do-something; 103778a677bbb5fa115fa0995b5783adeeefad67167eFariborz Jahanian/// } 1038c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian/// 1039c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanianclass ObjCAtSynchronizedStmt : public Stmt { 1040c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanianprivate: 1041a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian enum { SYNC_EXPR, SYNC_BODY, END_EXPR }; 1042a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian Stmt* SubStmts[END_EXPR]; 1043c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian SourceLocation AtSynchronizedLoc; 1044c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian 1045c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanianpublic: 1046a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian ObjCAtSynchronizedStmt(SourceLocation atSynchronizedLoc, Stmt *synchExpr, 1047c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian Stmt *synchBody) 1048a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian : Stmt(ObjCAtSynchronizedStmtClass) { 1049a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian SubStmts[SYNC_EXPR] = synchExpr; 1050a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian SubStmts[SYNC_BODY] = synchBody; 1051a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian AtSynchronizedLoc = atSynchronizedLoc; 1052a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian } 1053c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian 105478a677bbb5fa115fa0995b5783adeeefad67167eFariborz Jahanian const CompoundStmt *getSynchBody() const { 105578a677bbb5fa115fa0995b5783adeeefad67167eFariborz Jahanian return reinterpret_cast<CompoundStmt*>(SubStmts[SYNC_BODY]); 105678a677bbb5fa115fa0995b5783adeeefad67167eFariborz Jahanian } 105778a677bbb5fa115fa0995b5783adeeefad67167eFariborz Jahanian CompoundStmt *getSynchBody() { 105878a677bbb5fa115fa0995b5783adeeefad67167eFariborz Jahanian return reinterpret_cast<CompoundStmt*>(SubStmts[SYNC_BODY]); 105978a677bbb5fa115fa0995b5783adeeefad67167eFariborz Jahanian } 1060c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian 1061a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian const Expr *getSynchExpr() const { 1062a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian return reinterpret_cast<Expr*>(SubStmts[SYNC_EXPR]); 1063a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian } 1064a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian Expr *getSynchExpr() { 1065a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian return reinterpret_cast<Expr*>(SubStmts[SYNC_EXPR]); 1066a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian } 1067c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian 1068c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian virtual SourceRange getSourceRange() const { 1069a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian return SourceRange(AtSynchronizedLoc, getSynchBody()->getLocEnd()); 1070c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian } 1071c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian 1072c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian static bool classof(const Stmt *T) { 1073c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian return T->getStmtClass() == ObjCAtSynchronizedStmtClass; 1074c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian } 1075c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian static bool classof(const ObjCAtSynchronizedStmt *) { return true; } 1076c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian 1077fa3ee8e6776634caf064ba5928ca7699d317a280Fariborz Jahanian virtual child_iterator child_begin(); 1078fa3ee8e6776634caf064ba5928ca7699d317a280Fariborz Jahanian virtual child_iterator child_end(); 1079fa3ee8e6776634caf064ba5928ca7699d317a280Fariborz Jahanian 1080c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian virtual void EmitImpl(llvm::Serializer& S) const; 1081e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static ObjCAtSynchronizedStmt* CreateImpl(llvm::Deserializer& D, 1082e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop ASTContext& C); 1083c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian}; 1084c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian 1085a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek/// ObjCAtThrowStmt - This represents objective-c's @throw statement. 1086a526c5c67e5a0473c340903ee542ce570119665fTed Kremenekclass ObjCAtThrowStmt : public Stmt { 108739f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian Stmt *Throw; 108839f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian SourceLocation AtThrowLoc; 108939f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanianpublic: 1090a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek ObjCAtThrowStmt(SourceLocation atThrowLoc, Stmt *throwExpr) 1091a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek : Stmt(ObjCAtThrowStmtClass), Throw(throwExpr) { 109239f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian AtThrowLoc = atThrowLoc; 109339f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian } 109439f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian 1095e0def7589a8afa8a6acef13476bb3f882c104b91Chris Lattner const Expr *getThrowExpr() const { return reinterpret_cast<Expr*>(Throw); } 1096e0def7589a8afa8a6acef13476bb3f882c104b91Chris Lattner Expr *getThrowExpr() { return reinterpret_cast<Expr*>(Throw); } 109739f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian 109820ebf8f15df48f27ce2bf7c1b3ae87565235600fSteve Naroff virtual SourceRange getSourceRange() const { 109920ebf8f15df48f27ce2bf7c1b3ae87565235600fSteve Naroff if (Throw) 110020ebf8f15df48f27ce2bf7c1b3ae87565235600fSteve Naroff return SourceRange(AtThrowLoc, Throw->getLocEnd()); 1101db6ed1786bf460e1143f67d14bf2d71ad9856f81Chris Lattner else 1102db6ed1786bf460e1143f67d14bf2d71ad9856f81Chris Lattner return SourceRange(AtThrowLoc); 110339f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian } 110439f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian 110539f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian static bool classof(const Stmt *T) { 1106a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek return T->getStmtClass() == ObjCAtThrowStmtClass; 110739f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian } 1108a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek static bool classof(const ObjCAtThrowStmt *) { return true; } 110939f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian 111039f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian virtual child_iterator child_begin(); 111139f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian virtual child_iterator child_end(); 11125bdd4e300b432246b9d261702828e9875414128bTed Kremenek 11135bdd4e300b432246b9d261702828e9875414128bTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 1114e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static ObjCAtThrowStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 111539f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian}; 111639f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian 11175f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer} // end namespace clang 11185f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 11195f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#endif 1120