Stmt.h revision f2cad8633e46cce12fc3d77c0bd451ffd7264baf
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" 218ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek#include "clang/AST/DeclGroup.h" 225f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#include "llvm/ADT/SmallVector.h" 23525204a7ca5c3c0aac8166d8f27abb988a84c850Anton Korobeynikov#include "llvm/ADT/iterator.h" 240a449eed1dd2439b4b9c0a6291084816eab390c1Ted Kremenek#include "llvm/Bitcode/SerializationFwd.h" 256e340496341a4704be0ede9c1ff4f8eacea7ee2cChris Lattner#include <string> 265f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 277573098b83e780d1c5bea13b384b610d8f155676Steve Naroffusing llvm::dyn_cast_or_null; 287573098b83e780d1c5bea13b384b610d8f155676Steve Naroff 295f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencernamespace clang { 30e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop class ASTContext; 315f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer class Expr; 325f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer class Decl; 338e74c93ddaa8268a999e1b25c723dc1984a434b4Steve Naroff class ScopedDecl; 345f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer class IdentifierInfo; 350c727a35718556866a978f64ac549d9798735f08Chris Lattner class SourceManager; 366a0ef4b83c91a6d6d5acb4ed5577c4659fe022a3Anders Carlsson class StringLiteral; 376c36be5b383875b490684bcf439d6d427298c1afChris Lattner class SwitchStmt; 3842a509f6a4f71bb805cc4abbb26722a34dffdddeTed Kremenek class PrinterHelper; 39ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek 40ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek //===----------------------------------------------------------------------===// 41ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek // ExprIterator - Iterators for iterating over Stmt* arrays that contain 42ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek // only Expr*. This is needed because AST nodes use Stmt* arrays to store 43ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek // references to children (to be compatible with StmtIterator). 44ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek //===----------------------------------------------------------------------===// 45ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek 46ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek class Stmt; 47ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek class Expr; 48ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek 49ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek class ExprIterator { 50ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek Stmt** I; 51ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek public: 52ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek ExprIterator(Stmt** i) : I(i) {} 53ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek ExprIterator() : I(0) {} 54ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek ExprIterator& operator++() { ++I; return *this; } 55ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek ExprIterator operator-(size_t i) { return I-i; } 56ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek ExprIterator operator+(size_t i) { return I+i; } 57ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek Expr* operator[](size_t idx); 58ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek // FIXME: Verify that this will correctly return a signed distance. 59ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek signed operator-(const ExprIterator& R) const { return I - R.I; } 60ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek Expr* operator*() const; 61ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek Expr* operator->() const; 62ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek bool operator==(const ExprIterator& R) const { return I == R.I; } 63ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek bool operator!=(const ExprIterator& R) const { return I != R.I; } 64ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek bool operator>(const ExprIterator& R) const { return I > R.I; } 65ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek bool operator>=(const ExprIterator& R) const { return I >= R.I; } 66ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek }; 67ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek 68ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek class ConstExprIterator { 69ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek Stmt* const * I; 70ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek public: 71ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek ConstExprIterator(Stmt* const* i) : I(i) {} 72ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek ConstExprIterator() : I(0) {} 73ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek ConstExprIterator& operator++() { ++I; return *this; } 74ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek ConstExprIterator operator+(size_t i) { return I+i; } 75ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek ConstExprIterator operator-(size_t i) { return I-i; } 76ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek const Expr * operator[](size_t idx) const; 77ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek signed operator-(const ConstExprIterator& R) const { return I - R.I; } 78ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek const Expr * operator*() const; 79ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek const Expr * operator->() const; 80ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek bool operator==(const ConstExprIterator& R) const { return I == R.I; } 81ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek bool operator!=(const ConstExprIterator& R) const { return I != R.I; } 82ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek bool operator>(const ConstExprIterator& R) const { return I > R.I; } 83ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek bool operator>=(const ConstExprIterator& R) const { return I >= R.I; } 84ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek }; 85ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek 86ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek//===----------------------------------------------------------------------===// 87ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek// AST classes for statements. 88ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek//===----------------------------------------------------------------------===// 89ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek 905f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// Stmt - This represents one statement. 915f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 925f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass Stmt { 935f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 945f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer enum StmtClass { 95f2cad8633e46cce12fc3d77c0bd451ffd7264bafDouglas Gregor NoStmtClass = 0, 96f2cad8633e46cce12fc3d77c0bd451ffd7264bafDouglas Gregor#define STMT(CLASS, PARENT) CLASS##Class, 97f2cad8633e46cce12fc3d77c0bd451ffd7264bafDouglas Gregor#define FIRST_STMT(CLASS) firstStmtConstant = CLASS##Class, 98f2cad8633e46cce12fc3d77c0bd451ffd7264bafDouglas Gregor#define LAST_STMT(CLASS) lastStmtConstant = CLASS##Class, 99f2cad8633e46cce12fc3d77c0bd451ffd7264bafDouglas Gregor#define FIRST_EXPR(CLASS) firstExprConstant = CLASS##Class, 100f2cad8633e46cce12fc3d77c0bd451ffd7264bafDouglas Gregor#define LAST_EXPR(CLASS) lastExprConstant = CLASS##Class 1015f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#include "clang/AST/StmtNodes.def" 1025f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 1035f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerprivate: 1045f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer const StmtClass sClass; 1059c1863ef36a74e8203f00289d19856ad956f48b9Ted Kremenek 1069c1863ef36a74e8203f00289d19856ad956f48b9Ted Kremenekprotected: 1079c1863ef36a74e8203f00289d19856ad956f48b9Ted Kremenek /// DestroyChildren - Invoked by destructors of subclasses of Stmt to 1089c1863ef36a74e8203f00289d19856ad956f48b9Ted Kremenek /// recursively release child AST nodes. 10927f8a28bee33bb0e857cfe1a61c281bbc234b338Ted Kremenek void DestroyChildren(ASTContext& Ctx); 1109c1863ef36a74e8203f00289d19856ad956f48b9Ted Kremenek 1115f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 1125f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Stmt(StmtClass SC) : sClass(SC) { 1135f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer if (Stmt::CollectingStats()) Stmt::addStmtClass(SC); 1145f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 1155f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer virtual ~Stmt() {} 11627f8a28bee33bb0e857cfe1a61c281bbc234b338Ted Kremenek 11727f8a28bee33bb0e857cfe1a61c281bbc234b338Ted Kremenek virtual void Destroy(ASTContext& Ctx); 1185f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1195f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer StmtClass getStmtClass() const { return sClass; } 1205f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer const char *getStmtClassName() const; 121b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 122b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff /// SourceLocation tokens are not useful in isolation - they are low level 123b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff /// value objects created/interpreted by SourceManager. We assume AST 124b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff /// clients will have a pointer to the respective SourceManager. 125b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const = 0; 126311ff02fae0392bee6abe7723cdf5a69b2899a47Chris Lattner SourceLocation getLocStart() const { return getSourceRange().getBegin(); } 127311ff02fae0392bee6abe7723cdf5a69b2899a47Chris Lattner SourceLocation getLocEnd() const { return getSourceRange().getEnd(); } 1285f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1295f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // global temp stats (until we have a per-module visitor) 1305f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static void addStmtClass(const StmtClass s); 1315f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool CollectingStats(bool enable=false); 1325f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static void PrintStats(); 1336000dace22f110d8768476989313e9d981d690d0Chris Lattner 1346000dace22f110d8768476989313e9d981d690d0Chris Lattner /// dump - This does a local dump of the specified AST fragment. It dumps the 1356000dace22f110d8768476989313e9d981d690d0Chris Lattner /// specified node and a few nodes underneath it, but not the whole subtree. 1366000dace22f110d8768476989313e9d981d690d0Chris Lattner /// This is useful in a debugger. 1375f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void dump() const; 138e300c870f08d08badf2ebcb53ded49f304af37fcChris Lattner void dump(SourceManager &SM) const; 1396000dace22f110d8768476989313e9d981d690d0Chris Lattner 1406000dace22f110d8768476989313e9d981d690d0Chris Lattner /// dumpAll - This does a dump of the specified AST fragment and all subtrees. 1416000dace22f110d8768476989313e9d981d690d0Chris Lattner void dumpAll() const; 142e300c870f08d08badf2ebcb53ded49f304af37fcChris Lattner void dumpAll(SourceManager &SM) const; 1436000dace22f110d8768476989313e9d981d690d0Chris Lattner 1446000dace22f110d8768476989313e9d981d690d0Chris Lattner /// dumpPretty/printPretty - These two methods do a "pretty print" of the AST 1456000dace22f110d8768476989313e9d981d690d0Chris Lattner /// back to its original source language syntax. 1466000dace22f110d8768476989313e9d981d690d0Chris Lattner void dumpPretty() const; 147a95d3750441ac8ad03e36af8e6e74039c9a3109dTed Kremenek void printPretty(llvm::raw_ostream &OS, PrinterHelper* = NULL) const; 1485f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 149d2a4a1af1088fca80e2dc76eb3369db0fbbfdefdTed Kremenek /// viewAST - Visualize an AST rooted at this Stmt* using GraphViz. Only 150d2a4a1af1088fca80e2dc76eb3369db0fbbfdefdTed Kremenek /// works on systems with GraphViz (Mac OS X) or dot+gv installed. 151d2a4a1af1088fca80e2dc76eb3369db0fbbfdefdTed Kremenek void viewAST() const; 152d2a4a1af1088fca80e2dc76eb3369db0fbbfdefdTed Kremenek 1535f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // Implement isa<T> support. 1548297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek static bool classof(const Stmt *) { return true; } 15577ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek 156d48ade633d96b94cb435d73e2c935ea457152decTed Kremenek /// hasImplicitControlFlow - Some statements (e.g. short circuited operations) 157d48ade633d96b94cb435d73e2c935ea457152decTed Kremenek /// contain implicit control-flow in the order their subexpressions 158d48ade633d96b94cb435d73e2c935ea457152decTed Kremenek /// are evaluated. This predicate returns true if this statement has 159d48ade633d96b94cb435d73e2c935ea457152decTed Kremenek /// such implicit control-flow. Such statements are also specially handled 160d48ade633d96b94cb435d73e2c935ea457152decTed Kremenek /// within CFGs. 161d48ade633d96b94cb435d73e2c935ea457152decTed Kremenek bool hasImplicitControlFlow() const; 162d48ade633d96b94cb435d73e2c935ea457152decTed Kremenek 16377ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek /// Child Iterators: All subclasses must implement child_begin and child_end 16477ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek /// to permit easy iteration over the substatements/subexpessions of an 16577ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek /// AST node. This permits easy iteration over all nodes in the AST. 1669caf8b1ca6beb254f420dada3c0e94d5ef027f58Ted Kremenek typedef StmtIterator child_iterator; 1679caf8b1ca6beb254f420dada3c0e94d5ef027f58Ted Kremenek typedef ConstStmtIterator const_child_iterator; 16877ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek 1698297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin() = 0; 1708297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end() = 0; 17177ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek 17277ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek const_child_iterator child_begin() const { 1739caf8b1ca6beb254f420dada3c0e94d5ef027f58Ted Kremenek return const_child_iterator(const_cast<Stmt*>(this)->child_begin()); 17477ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek } 17577ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek 17677ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek const_child_iterator child_end() const { 1779caf8b1ca6beb254f420dada3c0e94d5ef027f58Ted Kremenek return const_child_iterator(const_cast<Stmt*>(this)->child_end()); 17877ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek } 1792dc9ac73a8a34cabf261a81a1653d7379065ac61Ted Kremenek 1802dc9ac73a8a34cabf261a81a1653d7379065ac61Ted Kremenek void Emit(llvm::Serializer& S) const; 181e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static Stmt* Create(llvm::Deserializer& D, ASTContext& C); 182e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop 183ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const { 1842dc9ac73a8a34cabf261a81a1653d7379065ac61Ted Kremenek // This method will eventually be a pure-virtual function. 1852dc9ac73a8a34cabf261a81a1653d7379065ac61Ted Kremenek assert (false && "Not implemented."); 1862dc9ac73a8a34cabf261a81a1653d7379065ac61Ted Kremenek } 1875f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 1885f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1895f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// DeclStmt - Adaptor class for mixing declarations with statements and 1905f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// expressions. For example, CompoundStmt mixes statements, expressions 1915f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// and declarations (variables, types). Another example is ForStmt, where 1925f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// the first statement can be an expression or a declaration. 1935f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 1945f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass DeclStmt : public Stmt { 19565aa3b9fda7b2114f708014e3d42176abc0e39abTed Kremenekprotected: 1968ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek DeclGroupOwningRef DG; 19781c018d9482e7cc2addadc6202dcf162a01faefdChris Lattner SourceLocation StartLoc, EndLoc; 1985f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 1998ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek DeclStmt(DeclGroupOwningRef& dg, SourceLocation startLoc, 2008ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek SourceLocation endLoc) : Stmt(DeclStmtClass), DG(dg), 2018ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek StartLoc(startLoc), EndLoc(endLoc) {} 2025f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 2038e355f296a3ba45b94de49dbb18ae6a6e67df04cTed Kremenek virtual void Destroy(ASTContext& Ctx); 2048e355f296a3ba45b94de49dbb18ae6a6e67df04cTed Kremenek 20565aa3b9fda7b2114f708014e3d42176abc0e39abTed Kremenek // hasSolitaryDecl - This method returns true if this DeclStmt refers 20665aa3b9fda7b2114f708014e3d42176abc0e39abTed Kremenek // to a single Decl. 2078ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek bool hasSolitaryDecl() const { 2088ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek return DG.hasSolitaryDecl(); 2098ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek } 210655137a6c19110620d82d5f03cdcaec3a48c059fTed Kremenek 21165aa3b9fda7b2114f708014e3d42176abc0e39abTed Kremenek const ScopedDecl* getSolitaryDecl() const { 21265aa3b9fda7b2114f708014e3d42176abc0e39abTed Kremenek assert (hasSolitaryDecl() && 21365aa3b9fda7b2114f708014e3d42176abc0e39abTed Kremenek "Caller assumes this DeclStmt points to one Decl*"); 2148ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek return llvm::cast<ScopedDecl>(*DG.begin()); 21565aa3b9fda7b2114f708014e3d42176abc0e39abTed Kremenek } 21665aa3b9fda7b2114f708014e3d42176abc0e39abTed Kremenek 21765aa3b9fda7b2114f708014e3d42176abc0e39abTed Kremenek ScopedDecl* getSolitaryDecl() { 21865aa3b9fda7b2114f708014e3d42176abc0e39abTed Kremenek assert (hasSolitaryDecl() && 21965aa3b9fda7b2114f708014e3d42176abc0e39abTed Kremenek "Caller assumes this DeclStmt points to one Decl*"); 2208ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek return llvm::cast<ScopedDecl>(*DG.begin()); 22165aa3b9fda7b2114f708014e3d42176abc0e39abTed Kremenek } 222b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 22381c018d9482e7cc2addadc6202dcf162a01faefdChris Lattner SourceLocation getStartLoc() const { return StartLoc; } 22481c018d9482e7cc2addadc6202dcf162a01faefdChris Lattner SourceLocation getEndLoc() const { return EndLoc; } 2258ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek 2268ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek SourceRange getSourceRange() const { 22781c018d9482e7cc2addadc6202dcf162a01faefdChris Lattner return SourceRange(StartLoc, EndLoc); 22881c018d9482e7cc2addadc6202dcf162a01faefdChris Lattner } 2295f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 2305f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 2315f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == DeclStmtClass; 2325f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 2335f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const DeclStmt *) { return true; } 2348297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 23514f8b4ff660bcaa763974b8d0fae81857c594495Ted Kremenek // Iterators over subexpressions. 2368297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 2378297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 2380965f446e7685dc01fc0b5e718610530eed3cc63Ted Kremenek 23914f8b4ff660bcaa763974b8d0fae81857c594495Ted Kremenek class decl_iterator { 2408ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek DeclGroupRef::iterator I; 24114f8b4ff660bcaa763974b8d0fae81857c594495Ted Kremenek public: 2428ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek decl_iterator(DeclGroupRef::iterator i) : I(i) {} 2438ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek decl_iterator& operator++() { ++I; return *this; } 2448ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek bool operator==(const decl_iterator& R) const { 2458ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek return R.I == I; 2468ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek } 2478ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek bool operator!=(const decl_iterator& R) const { 2488ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek return R.I != I; 2498ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek } 2508ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek ScopedDecl* operator*() const { 2518ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek return llvm::cast<ScopedDecl>(*I); 2528ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek } 25314f8b4ff660bcaa763974b8d0fae81857c594495Ted Kremenek }; 2548ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek 2558a0d2660b6890ed95d34f37d142c0c52ac490194Ted Kremenek class const_decl_iterator { 2568ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek DeclGroupRef::const_iterator I; 2578a0d2660b6890ed95d34f37d142c0c52ac490194Ted Kremenek public: 2588ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek const_decl_iterator(DeclGroupRef::const_iterator i) : I(i) {} 2598ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek const_decl_iterator& operator++() { ++I; return *this; } 2608ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek bool operator==(const const_decl_iterator& R) const { 2618ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek return R.I == I; 2628a0d2660b6890ed95d34f37d142c0c52ac490194Ted Kremenek } 2638ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek bool operator!=(const const_decl_iterator& R) const { 2648ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek return R.I != I; 2658a0d2660b6890ed95d34f37d142c0c52ac490194Ted Kremenek } 2668ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek ScopedDecl* operator*() const { 2678ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek return llvm::cast<ScopedDecl>(*I); 2688a0d2660b6890ed95d34f37d142c0c52ac490194Ted Kremenek } 2698a0d2660b6890ed95d34f37d142c0c52ac490194Ted Kremenek }; 2708a0d2660b6890ed95d34f37d142c0c52ac490194Ted Kremenek 2718ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek decl_iterator decl_begin() { return DG.begin(); } 2728ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek decl_iterator decl_end() { return DG.end(); } 2738ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek const_decl_iterator decl_begin() const { return DG.begin(); } 2748ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek const_decl_iterator decl_end() const { return DG.end(); } 2758a0d2660b6890ed95d34f37d142c0c52ac490194Ted Kremenek 27614f8b4ff660bcaa763974b8d0fae81857c594495Ted Kremenek // Serialization. 277ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 278e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static DeclStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 2795f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 2805f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 2815f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// NullStmt - This is the null statement ";": C99 6.8.3p3. 2825f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 2835f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass NullStmt : public Stmt { 2845f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation SemiLoc; 2855f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 2865f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer NullStmt(SourceLocation L) : Stmt(NullStmtClass), SemiLoc(L) {} 2875f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 2885f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation getSemiLoc() const { return SemiLoc; } 289b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 290507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff virtual SourceRange getSourceRange() const { return SourceRange(SemiLoc); } 2915f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 2925f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 2935f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == NullStmtClass; 2945f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 2955f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const NullStmt *) { return true; } 2968297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 2978297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 2988297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 2998297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 3004927be6102784fc69c50234f7e2253283b3e99e4Ted Kremenek 301ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 302e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static NullStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 3035f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 3045f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3055f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// CompoundStmt - This represents a group of statements like { stmt stmt }. 3065f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 3075f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass CompoundStmt : public Stmt { 3085f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer llvm::SmallVector<Stmt*, 16> Body; 309b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation LBracLoc, RBracLoc; 3105f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 311b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff CompoundStmt(Stmt **StmtStart, unsigned NumStmts, 312b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation LB, SourceLocation RB) 313b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff : Stmt(CompoundStmtClass), Body(StmtStart, StmtStart+NumStmts), 314b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff LBracLoc(LB), RBracLoc(RB) {} 31554395d440dc82a5e51b945c6c2a7f4bc4bea0358Ted Kremenek 316ab18c4c0ac1a46a38aa84c2c8ea485612e21a614Chris Lattner bool body_empty() const { return Body.empty(); } 317ab18c4c0ac1a46a38aa84c2c8ea485612e21a614Chris Lattner 3185f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer typedef llvm::SmallVector<Stmt*, 16>::iterator body_iterator; 3195f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer body_iterator body_begin() { return Body.begin(); } 3205f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer body_iterator body_end() { return Body.end(); } 321ab18c4c0ac1a46a38aa84c2c8ea485612e21a614Chris Lattner Stmt *body_back() { return Body.back(); } 3225f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3235f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer typedef llvm::SmallVector<Stmt*, 16>::const_iterator const_body_iterator; 3245f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer const_body_iterator body_begin() const { return Body.begin(); } 3255f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer const_body_iterator body_end() const { return Body.end(); } 326ab18c4c0ac1a46a38aa84c2c8ea485612e21a614Chris Lattner const Stmt *body_back() const { return Body.back(); } 3274ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek 3284ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek typedef llvm::SmallVector<Stmt*, 16>::reverse_iterator reverse_body_iterator; 3294ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek reverse_body_iterator body_rbegin() { return Body.rbegin(); } 3304ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek reverse_body_iterator body_rend() { return Body.rend(); } 3314ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek 3324ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek typedef llvm::SmallVector<Stmt*, 16>::const_reverse_iterator 3334ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek const_reverse_body_iterator; 3344ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek const_reverse_body_iterator body_rbegin() const { return Body.rbegin(); } 3354ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek const_reverse_body_iterator body_rend() const { return Body.rend(); } 3364ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek 3375f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void push_back(Stmt *S) { Body.push_back(S); } 338b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 339b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 340b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(LBracLoc, RBracLoc); 341b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 34254395d440dc82a5e51b945c6c2a7f4bc4bea0358Ted Kremenek 343cc326204dd97771c336b9aab3b9963ea30d69c29Ted Kremenek SourceLocation getLBracLoc() const { return LBracLoc; } 344cc326204dd97771c336b9aab3b9963ea30d69c29Ted Kremenek SourceLocation getRBracLoc() const { return RBracLoc; } 34554395d440dc82a5e51b945c6c2a7f4bc4bea0358Ted Kremenek 3465f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 3475f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == CompoundStmtClass; 3485f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 3495f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const CompoundStmt *) { return true; } 3508297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 3518297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 3528297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 3538297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 3542dc9ac73a8a34cabf261a81a1653d7379065ac61Ted Kremenek 355ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 356e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static CompoundStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 3575f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 3585f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 359c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson// SwitchCase is the base class for CaseStmt and DefaultStmt, 360c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlssonclass SwitchCase : public Stmt { 361103fc81f12aa635aa0a573c94b1aceb496b4e587Ted Kremenekprotected: 362c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson // A pointer to the following CaseStmt or DefaultStmt class, 363c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson // used by SwitchStmt. 364c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson SwitchCase *NextSwitchCase; 365103fc81f12aa635aa0a573c94b1aceb496b4e587Ted Kremenek 366d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek SwitchCase(StmtClass SC) : Stmt(SC), NextSwitchCase(0) {} 367c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson 368c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlssonpublic: 369c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson const SwitchCase *getNextSwitchCase() const { return NextSwitchCase; } 370c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson 371c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson SwitchCase *getNextSwitchCase() { return NextSwitchCase; } 372c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson 373c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson void setNextSwitchCase(SwitchCase *SC) { NextSwitchCase = SC; } 374d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek 375d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek virtual Stmt* v_getSubStmt() = 0; 376d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek Stmt *getSubStmt() { return v_getSubStmt(); } 377b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 378b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { return SourceRange(); } 379edcc752060be38bfa7e7b32691c0cc4d843622a8Ted Kremenek 380c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson static bool classof(const Stmt *T) { 381c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson return T->getStmtClass() == CaseStmtClass || 382c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson T->getStmtClass() == DefaultStmtClass; 383c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson } 384c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson static bool classof(const SwitchCase *) { return true; } 385c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson}; 386c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson 387c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlssonclass CaseStmt : public SwitchCase { 388d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek enum { SUBSTMT, LHS, RHS, END_EXPR }; 389d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek Stmt* SubExprs[END_EXPR]; // The expression for the RHS is Non-null for 390d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek // GNU "case 1 ... 4" extension 391b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation CaseLoc; 3925f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 393b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff CaseStmt(Expr *lhs, Expr *rhs, Stmt *substmt, SourceLocation caseLoc) 394d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek : SwitchCase(CaseStmtClass) { 395d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek SubExprs[SUBSTMT] = substmt; 396d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek SubExprs[LHS] = reinterpret_cast<Stmt*>(lhs); 397d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek SubExprs[RHS] = reinterpret_cast<Stmt*>(rhs); 398b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff CaseLoc = caseLoc; 399d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek } 4005f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 401764a7ce5217f9569e100a3445f47496ee82daf86Chris Lattner SourceLocation getCaseLoc() const { return CaseLoc; } 402764a7ce5217f9569e100a3445f47496ee82daf86Chris Lattner 403d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek Expr *getLHS() { return reinterpret_cast<Expr*>(SubExprs[LHS]); } 404d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek Expr *getRHS() { return reinterpret_cast<Expr*>(SubExprs[RHS]); } 405d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek Stmt *getSubStmt() { return SubExprs[SUBSTMT]; } 406d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek virtual Stmt* v_getSubStmt() { return getSubStmt(); } 40751b09f2c528c8460b5465c676173324e44176d62Devang Patel const Expr *getLHS() const { 40851b09f2c528c8460b5465c676173324e44176d62Devang Patel return reinterpret_cast<const Expr*>(SubExprs[LHS]); 40951b09f2c528c8460b5465c676173324e44176d62Devang Patel } 41051b09f2c528c8460b5465c676173324e44176d62Devang Patel const Expr *getRHS() const { 41151b09f2c528c8460b5465c676173324e44176d62Devang Patel return reinterpret_cast<const Expr*>(SubExprs[RHS]); 41251b09f2c528c8460b5465c676173324e44176d62Devang Patel } 41351b09f2c528c8460b5465c676173324e44176d62Devang Patel const Stmt *getSubStmt() const { return SubExprs[SUBSTMT]; } 4145f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 41520dabe8b8ff7ed6d2d0158fee43755a4bc7642c3Chris Lattner void setSubStmt(Stmt *S) { SubExprs[SUBSTMT] = S; } 41620dabe8b8ff7ed6d2d0158fee43755a4bc7642c3Chris Lattner void setLHS(Expr *Val) { SubExprs[LHS] = reinterpret_cast<Stmt*>(Val); } 41720dabe8b8ff7ed6d2d0158fee43755a4bc7642c3Chris Lattner void setRHS(Expr *Val) { SubExprs[RHS] = reinterpret_cast<Stmt*>(Val); } 41820dabe8b8ff7ed6d2d0158fee43755a4bc7642c3Chris Lattner 41920dabe8b8ff7ed6d2d0158fee43755a4bc7642c3Chris Lattner 420b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 421b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(CaseLoc, SubExprs[SUBSTMT]->getLocEnd()); 422b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 4235f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 4245f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == CaseStmtClass; 4255f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 4265f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const CaseStmt *) { return true; } 427d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek 428d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek // Iterators 429d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek virtual child_iterator child_begin(); 430d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek virtual child_iterator child_end(); 4319eea2ca5f2cb5d77569274702b5b06273e426dc2Ted Kremenek 432ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 433e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static CaseStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 4345f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 4355f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 436c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlssonclass DefaultStmt : public SwitchCase { 437d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek Stmt* SubStmt; 4386c36be5b383875b490684bcf439d6d427298c1afChris Lattner SourceLocation DefaultLoc; 4395f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 440edcc752060be38bfa7e7b32691c0cc4d843622a8Ted Kremenek DefaultStmt(SourceLocation DL, Stmt *substmt) : 441d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek SwitchCase(DefaultStmtClass), SubStmt(substmt), DefaultLoc(DL) {} 442b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 443d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek Stmt *getSubStmt() { return SubStmt; } 444d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek virtual Stmt* v_getSubStmt() { return getSubStmt(); } 44551b09f2c528c8460b5465c676173324e44176d62Devang Patel const Stmt *getSubStmt() const { return SubStmt; } 446d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek 4476c36be5b383875b490684bcf439d6d427298c1afChris Lattner SourceLocation getDefaultLoc() const { return DefaultLoc; } 4485f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 449b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 450b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(DefaultLoc, SubStmt->getLocEnd()); 451b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 4525f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 4535f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == DefaultStmtClass; 4545f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 4555f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const DefaultStmt *) { return true; } 456d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek 457d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek // Iterators 458d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek virtual child_iterator child_begin(); 459d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek virtual child_iterator child_end(); 4609eea2ca5f2cb5d77569274702b5b06273e426dc2Ted Kremenek 461ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 462e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static DefaultStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 4635f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 4645f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 4655f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass LabelStmt : public Stmt { 4665f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer IdentifierInfo *Label; 4675f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Stmt *SubStmt; 468b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation IdentLoc; 4695f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 470b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff LabelStmt(SourceLocation IL, IdentifierInfo *label, Stmt *substmt) 471b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff : Stmt(LabelStmtClass), Label(label), 472b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SubStmt(substmt), IdentLoc(IL) {} 4735f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 4745f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation getIdentLoc() const { return IdentLoc; } 4755f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer IdentifierInfo *getID() const { return Label; } 4765f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer const char *getName() const; 4775f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Stmt *getSubStmt() { return SubStmt; } 4785f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer const Stmt *getSubStmt() const { return SubStmt; } 4795f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 4805f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void setIdentLoc(SourceLocation L) { IdentLoc = L; } 4815f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void setSubStmt(Stmt *SS) { SubStmt = SS; } 482b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 483b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 484b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(IdentLoc, SubStmt->getLocEnd()); 485b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 4865f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 4875f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == LabelStmtClass; 4885f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 4895f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const LabelStmt *) { return true; } 4908297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 4918297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 4928297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 4938297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 494b15132fda52046ba65eafd6f4b448f7aa16b7e8dTed Kremenek 495ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 496e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static LabelStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 4975f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 4985f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 4995f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5005f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// IfStmt - This represents an if/then/else. 5015f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 5025f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass IfStmt : public Stmt { 5038297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek enum { COND, THEN, ELSE, END_EXPR }; 5048297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt* SubExprs[END_EXPR]; 505b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation IfLoc; 5065f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 507b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff IfStmt(SourceLocation IL, Expr *cond, Stmt *then, Stmt *elsev = 0) 508b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff : Stmt(IfStmtClass) { 5098297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[COND] = reinterpret_cast<Stmt*>(cond); 5108297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[THEN] = then; 5118297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[ELSE] = elsev; 512b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff IfLoc = IL; 5138297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek } 5145f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5158297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Expr *getCond() const { return reinterpret_cast<Expr*>(SubExprs[COND]);} 5168297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Stmt *getThen() const { return SubExprs[THEN]; } 5178297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Stmt *getElse() const { return SubExprs[ELSE]; } 5185f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5198297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Expr *getCond() { return reinterpret_cast<Expr*>(SubExprs[COND]); } 5208297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt *getThen() { return SubExprs[THEN]; } 5218297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt *getElse() { return SubExprs[ELSE]; } 522b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 523b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 524b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff if (SubExprs[ELSE]) 525b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(IfLoc, SubExprs[ELSE]->getLocEnd()); 526b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff else 527b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(IfLoc, SubExprs[THEN]->getLocEnd()); 528b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 5295f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5305f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 5315f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == IfStmtClass; 5325f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 5335f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const IfStmt *) { return true; } 5348297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 5358297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 5368297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 5378297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 5384210f3dfd73ad3482f9cfa0a382e1fd78f22976dTed Kremenek 539ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 540e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static IfStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 5415f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 5425f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5435f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// SwitchStmt - This represents a 'switch' stmt. 5445f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 5455f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass SwitchStmt : public Stmt { 5468297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek enum { COND, BODY, END_EXPR }; 5478297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt* SubExprs[END_EXPR]; 548c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson // This points to a linked list of case and default statements. 549c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson SwitchCase *FirstCase; 5509dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff SourceLocation SwitchLoc; 5515f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 5528297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SwitchStmt(Expr *cond) : Stmt(SwitchStmtClass), FirstCase(0) { 5538297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[COND] = reinterpret_cast<Stmt*>(cond); 5548297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[BODY] = NULL; 5558297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek } 5565f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5578297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Expr *getCond() const { return reinterpret_cast<Expr*>(SubExprs[COND]);} 5588297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Stmt *getBody() const { return SubExprs[BODY]; } 559c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson const SwitchCase *getSwitchCaseList() const { return FirstCase; } 560c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson 5618297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Expr *getCond() { return reinterpret_cast<Expr*>(SubExprs[COND]);} 5628297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt *getBody() { return SubExprs[BODY]; } 563c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson SwitchCase *getSwitchCaseList() { return FirstCase; } 564c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson 5659dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff void setBody(Stmt *S, SourceLocation SL) { 5669dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff SubExprs[BODY] = S; 5679dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff SwitchLoc = SL; 5689dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff } 569c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson void addSwitchCase(SwitchCase *SC) { 570c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson if (FirstCase) 571c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson SC->setNextSwitchCase(FirstCase); 572c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson 573c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson FirstCase = SC; 574c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson } 5759dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff virtual SourceRange getSourceRange() const { 5769dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff return SourceRange(SwitchLoc, SubExprs[BODY]->getLocEnd()); 5779dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff } 5785f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 5795f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == SwitchStmtClass; 5805f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 5815f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const SwitchStmt *) { return true; } 5828297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 5838297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 5848297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 5858297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 5869eea2ca5f2cb5d77569274702b5b06273e426dc2Ted Kremenek 587ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 588e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static SwitchStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 5895f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 5905f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5915f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5925f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// WhileStmt - This represents a 'while' stmt. 5935f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 5945f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass WhileStmt : public Stmt { 5958297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek enum { COND, BODY, END_EXPR }; 5968297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt* SubExprs[END_EXPR]; 597b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation WhileLoc; 5985f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 599b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff WhileStmt(Expr *cond, Stmt *body, SourceLocation WL) : Stmt(WhileStmtClass) { 6008297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[COND] = reinterpret_cast<Stmt*>(cond); 6018297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[BODY] = body; 602b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff WhileLoc = WL; 6038297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek } 6045f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6058297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Expr *getCond() { return reinterpret_cast<Expr*>(SubExprs[COND]); } 6068297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Expr *getCond() const { return reinterpret_cast<Expr*>(SubExprs[COND]);} 6078297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt *getBody() { return SubExprs[BODY]; } 6088297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Stmt *getBody() const { return SubExprs[BODY]; } 609b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 610b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 611b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(WhileLoc, SubExprs[BODY]->getLocEnd()); 612b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 6135f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 6145f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == WhileStmtClass; 6155f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 6165f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const WhileStmt *) { return true; } 6178297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 6188297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 6198297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 6208297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 6215572b94b76a78a35bac32d1ef04907c7a651adbaTed Kremenek 622ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 623e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static WhileStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 6245f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 6255f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6265f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// DoStmt - This represents a 'do/while' stmt. 6275f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 6285f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass DoStmt : public Stmt { 6298297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek enum { COND, BODY, END_EXPR }; 6308297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt* SubExprs[END_EXPR]; 631b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation DoLoc; 6325f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 633b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff DoStmt(Stmt *body, Expr *cond, SourceLocation DL) 634b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff : Stmt(DoStmtClass), DoLoc(DL) { 6358297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[COND] = reinterpret_cast<Stmt*>(cond); 6368297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[BODY] = body; 637b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff DoLoc = DL; 6388297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek } 6395f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6408297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Expr *getCond() { return reinterpret_cast<Expr*>(SubExprs[COND]); } 6418297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Expr *getCond() const { return reinterpret_cast<Expr*>(SubExprs[COND]);} 6428297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt *getBody() { return SubExprs[BODY]; } 6438297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Stmt *getBody() const { return SubExprs[BODY]; } 644b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 645b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 646b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(DoLoc, SubExprs[BODY]->getLocEnd()); 647b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 6485f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 6495f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == DoStmtClass; 6505f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 6515f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const DoStmt *) { return true; } 6528297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 6538297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 6548297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 6558297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 656e3299ef345bb8a71901108bf83a824591eae6c1aTed Kremenek 657ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 658e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static DoStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 6595f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 6605f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6615f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6625f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// ForStmt - This represents a 'for (init;cond;inc)' stmt. Note that any of 6635f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// the init/cond/inc parts of the ForStmt will be null if they were not 6645f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// specified in the source. 6655f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 6665f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass ForStmt : public Stmt { 6678297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek enum { INIT, COND, INC, BODY, END_EXPR }; 6688297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt* SubExprs[END_EXPR]; // SubExprs[INIT] is an expression or declstmt. 669b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation ForLoc; 6705f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 671b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff ForStmt(Stmt *Init, Expr *Cond, Expr *Inc, Stmt *Body, SourceLocation FL) 672b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff : Stmt(ForStmtClass) { 673af458c9f658335bdea482395ff4a25c75935e129Chris Lattner SubExprs[INIT] = Init; 674af458c9f658335bdea482395ff4a25c75935e129Chris Lattner SubExprs[COND] = reinterpret_cast<Stmt*>(Cond); 675af458c9f658335bdea482395ff4a25c75935e129Chris Lattner SubExprs[INC] = reinterpret_cast<Stmt*>(Inc); 676af458c9f658335bdea482395ff4a25c75935e129Chris Lattner SubExprs[BODY] = Body; 677b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff ForLoc = FL; 678af458c9f658335bdea482395ff4a25c75935e129Chris Lattner } 6795f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6808297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt *getInit() { return SubExprs[INIT]; } 6818297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Expr *getCond() { return reinterpret_cast<Expr*>(SubExprs[COND]); } 6828297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Expr *getInc() { return reinterpret_cast<Expr*>(SubExprs[INC]); } 6838297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt *getBody() { return SubExprs[BODY]; } 6848297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 6858297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Stmt *getInit() const { return SubExprs[INIT]; } 6868297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Expr *getCond() const { return reinterpret_cast<Expr*>(SubExprs[COND]);} 6878297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Expr *getInc() const { return reinterpret_cast<Expr*>(SubExprs[INC]); } 6888297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Stmt *getBody() const { return SubExprs[BODY]; } 689b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 690b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 691b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(ForLoc, SubExprs[BODY]->getLocEnd()); 692b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 6935f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 6945f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == ForStmtClass; 6955f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 6965f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const ForStmt *) { return true; } 6978297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 6988297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 6998297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 7008297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 70107ba046c7d7bbc1f42b86b3ed012eec8fc7849daTed Kremenek 702ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 703e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static ForStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 7045f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 7050196cab54007ff072ec2642da8911c6b7e8d3fb5Fariborz Jahanian 7065f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// GotoStmt - This represents a direct goto. 7075f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 7085f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass GotoStmt : public Stmt { 7095f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer LabelStmt *Label; 710507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff SourceLocation GotoLoc; 71161f62165220e75694fe333179c78815e2e48d71fTed Kremenek SourceLocation LabelLoc; 7125f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 71361f62165220e75694fe333179c78815e2e48d71fTed Kremenek GotoStmt(LabelStmt *label, SourceLocation GL, SourceLocation LL) 71461f62165220e75694fe333179c78815e2e48d71fTed Kremenek : Stmt(GotoStmtClass), Label(label), GotoLoc(GL), LabelLoc(LL) {} 7155f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 7165f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer LabelStmt *getLabel() const { return Label; } 717b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 718507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff virtual SourceRange getSourceRange() const { 71961f62165220e75694fe333179c78815e2e48d71fTed Kremenek return SourceRange(GotoLoc, LabelLoc); 720507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff } 7215f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 7225f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == GotoStmtClass; 7235f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 7245f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const GotoStmt *) { return true; } 7258297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 7268297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 7278297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 7288297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 7293f0767b74b16b37bcce60ff457609161a0665784Ted Kremenek 730ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 731e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static GotoStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 7325f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 7335f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 7345f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// IndirectGotoStmt - This represents an indirect goto. 7355f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 7365f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass IndirectGotoStmt : public Stmt { 7371060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek Stmt *Target; 738225a2d946f73aed3b38f265fcb4e7d7d88136928Ted Kremenek // FIXME: Add location information (e.g. SourceLocation objects). 739225a2d946f73aed3b38f265fcb4e7d7d88136928Ted Kremenek // When doing so, update the serialization routines. 7405f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 7411060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek IndirectGotoStmt(Expr *target) : Stmt(IndirectGotoStmtClass), 7421060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek Target((Stmt*)target){} 7435f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 7441060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek Expr *getTarget(); 7451060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek const Expr *getTarget() const; 746b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 747b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { return SourceRange(); } 7485f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 7495f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 7505f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == IndirectGotoStmtClass; 7515f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 7525f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const IndirectGotoStmt *) { return true; } 7538297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 7548297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 7558297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 7568297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 757225a2d946f73aed3b38f265fcb4e7d7d88136928Ted Kremenek 758ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 759e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static IndirectGotoStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 7605f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 7615f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 7625f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 7635f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// ContinueStmt - This represents a continue. 7645f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 7655f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass ContinueStmt : public Stmt { 766507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff SourceLocation ContinueLoc; 7675f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 768507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff ContinueStmt(SourceLocation CL) : Stmt(ContinueStmtClass), ContinueLoc(CL) {} 769b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 770507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff virtual SourceRange getSourceRange() const { 771507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff return SourceRange(ContinueLoc); 772507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff } 7735f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 7745f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == ContinueStmtClass; 7755f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 7765f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const ContinueStmt *) { return true; } 7778297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 7788297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 7798297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 7808297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 78196f22423c52c22d263b4e5f7ee762122b607459eTed Kremenek 782ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 783e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static ContinueStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 7845f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 7855f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 7865f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// BreakStmt - This represents a break. 7875f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 7885f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass BreakStmt : public Stmt { 789507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff SourceLocation BreakLoc; 7905f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 791507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff BreakStmt(SourceLocation BL) : Stmt(BreakStmtClass), BreakLoc(BL) {} 792b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 793507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff virtual SourceRange getSourceRange() const { return SourceRange(BreakLoc); } 794b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 7955f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 7965f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == BreakStmtClass; 7975f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 7985f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const BreakStmt *) { return true; } 7998297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 8008297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 8018297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 8028297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 8039eea2ca5f2cb5d77569274702b5b06273e426dc2Ted Kremenek 804ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 805e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static BreakStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 8065f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 8075f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 8085f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 809c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner/// ReturnStmt - This represents a return, optionally of an expression: 810c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner/// return; 811c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner/// return 4; 812c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner/// 813c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner/// Note that GCC allows return with no argument in a function declared to 814c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner/// return a value, and it allows returning a value in functions declared to 815c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner/// return void. We explicitly model this in the AST, which means you can't 816c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner/// depend on the return type of the function and the presence of an argument. 8175f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 8185f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass ReturnStmt : public Stmt { 8191060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek Stmt *RetExpr; 820507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff SourceLocation RetLoc; 8215f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 822507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff ReturnStmt(SourceLocation RL, Expr *E = 0) : Stmt(ReturnStmtClass), 8231060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek RetExpr((Stmt*) E), RetLoc(RL) {} 8245f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 8251060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek const Expr *getRetValue() const; 8261060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek Expr *getRetValue(); 827b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 828507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff virtual SourceRange getSourceRange() const; 8295f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 8305f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 8315f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == ReturnStmtClass; 8325f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 8335f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const ReturnStmt *) { return true; } 8348297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 8358297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 8368297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 8378297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 8382dc9ac73a8a34cabf261a81a1653d7379065ac61Ted Kremenek 839ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 840e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static ReturnStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 8415f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 8425f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 843fe795956194141c91ae555985c9b930595bff43fChris Lattner/// AsmStmt - This represents a GNU inline-assembly statement extension. 844fe795956194141c91ae555985c9b930595bff43fChris Lattner/// 845fe795956194141c91ae555985c9b930595bff43fChris Lattnerclass AsmStmt : public Stmt { 846fe795956194141c91ae555985c9b930595bff43fChris Lattner SourceLocation AsmLoc, RParenLoc; 8476a0ef4b83c91a6d6d5acb4ed5577c4659fe022a3Anders Carlsson StringLiteral *AsmStr; 848b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson 849dfab34a696d1dba8622248c31aaf605906cb6109Anders Carlsson bool IsSimple; 85039c47b56f45437bbc49c9568b7308a400234a730Anders Carlsson bool IsVolatile; 85139c47b56f45437bbc49c9568b7308a400234a730Anders Carlsson 852b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson unsigned NumOutputs; 853b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson unsigned NumInputs; 854b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson 855b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson llvm::SmallVector<std::string, 4> Names; 856b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson llvm::SmallVector<StringLiteral*, 4> Constraints; 857ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek llvm::SmallVector<Stmt*, 4> Exprs; 858b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson 859b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson llvm::SmallVector<StringLiteral*, 4> Clobbers; 860fe795956194141c91ae555985c9b930595bff43fChris Lattnerpublic: 861dfab34a696d1dba8622248c31aaf605906cb6109Anders Carlsson AsmStmt(SourceLocation asmloc, bool issimple, bool isvolatile, 862dfab34a696d1dba8622248c31aaf605906cb6109Anders Carlsson unsigned numoutputs, unsigned numinputs, 863dfab34a696d1dba8622248c31aaf605906cb6109Anders Carlsson std::string *names, StringLiteral **constraints, 864db6ed1786bf460e1143f67d14bf2d71ad9856f81Chris Lattner Expr **exprs, StringLiteral *asmstr, unsigned numclobbers, 865db6ed1786bf460e1143f67d14bf2d71ad9856f81Chris Lattner StringLiteral **clobbers, SourceLocation rparenloc); 866b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson 86739c47b56f45437bbc49c9568b7308a400234a730Anders Carlsson bool isVolatile() const { return IsVolatile; } 868dfab34a696d1dba8622248c31aaf605906cb6109Anders Carlsson bool isSimple() const { return IsSimple; } 869dfab34a696d1dba8622248c31aaf605906cb6109Anders Carlsson 870b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson unsigned getNumOutputs() const { return NumOutputs; } 871ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek 872ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek const std::string &getOutputName(unsigned i) const { 873ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek return Names[i]; 874ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek } 875ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek 876ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek const StringLiteral *getOutputConstraint(unsigned i) const { 877ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek return Constraints[i]; 878ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek } 879ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek 880b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson StringLiteral *getOutputConstraint(unsigned i) 881b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson { return Constraints[i]; } 882ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek 883ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek const Expr *getOutputExpr(unsigned i) const; 884ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek Expr *getOutputExpr(unsigned i); 885b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson 886b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson unsigned getNumInputs() const { return NumInputs; } 887ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek 888ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek const std::string &getInputName(unsigned i) const { 889ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek return Names[i + NumOutputs]; 890ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek } 891ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek StringLiteral *getInputConstraint(unsigned i) { 892ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek return Constraints[i + NumOutputs]; 893ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek } 894ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek const StringLiteral *getInputConstraint(unsigned i) const { 895ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek return Constraints[i + NumOutputs]; 896ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek } 897ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek 898ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek Expr *getInputExpr(unsigned i); 899ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek const Expr *getInputExpr(unsigned i) const; 900d04c6e23f2e10eeb9936778d67f4a1c4a14cc4f6Anders Carlsson 9016a0ef4b83c91a6d6d5acb4ed5577c4659fe022a3Anders Carlsson const StringLiteral *getAsmString() const { return AsmStr; } 9026a0ef4b83c91a6d6d5acb4ed5577c4659fe022a3Anders Carlsson StringLiteral *getAsmString() { return AsmStr; } 9036a0ef4b83c91a6d6d5acb4ed5577c4659fe022a3Anders Carlsson 904b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson unsigned getNumClobbers() const { return Clobbers.size(); } 905b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson StringLiteral *getClobber(unsigned i) { return Clobbers[i]; } 906d04c6e23f2e10eeb9936778d67f4a1c4a14cc4f6Anders Carlsson const StringLiteral *getClobber(unsigned i) const { return Clobbers[i]; } 907b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson 908fe795956194141c91ae555985c9b930595bff43fChris Lattner virtual SourceRange getSourceRange() const { 909fe795956194141c91ae555985c9b930595bff43fChris Lattner return SourceRange(AsmLoc, RParenLoc); 910fe795956194141c91ae555985c9b930595bff43fChris Lattner } 911fe795956194141c91ae555985c9b930595bff43fChris Lattner 912fe795956194141c91ae555985c9b930595bff43fChris Lattner static bool classof(const Stmt *T) {return T->getStmtClass() == AsmStmtClass;} 913fe795956194141c91ae555985c9b930595bff43fChris Lattner static bool classof(const AsmStmt *) { return true; } 914fe795956194141c91ae555985c9b930595bff43fChris Lattner 915ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek // Input expr iterators. 916ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek 917ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek typedef ExprIterator inputs_iterator; 918ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek typedef ConstExprIterator const_inputs_iterator; 919ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek 920ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek inputs_iterator begin_inputs() { 921ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek return &Exprs[0] + NumOutputs; 922ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek } 923ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek 924ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek inputs_iterator end_inputs() { 925ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek return &Exprs[0] + NumOutputs + NumInputs; 926ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek } 927ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek 928ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek const_inputs_iterator begin_inputs() const { 929ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek return &Exprs[0] + NumOutputs; 930ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek } 931ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek 932ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek const_inputs_iterator end_inputs() const { 933ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek return &Exprs[0] + NumOutputs + NumInputs;} 934ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek 935ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek // Output expr iterators. 936ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek 937ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek typedef ExprIterator outputs_iterator; 938ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek typedef ConstExprIterator const_outputs_iterator; 939ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek 940ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek outputs_iterator begin_outputs() { return &Exprs[0]; } 941ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek outputs_iterator end_outputs() { return &Exprs[0] + NumOutputs; } 942ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek 943ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek const_outputs_iterator begin_outputs() const { return &Exprs[0]; } 944ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek const_outputs_iterator end_outputs() const { return &Exprs[0] + NumOutputs; } 945ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek 946ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek // Child iterators 947ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek 948fe795956194141c91ae555985c9b930595bff43fChris Lattner virtual child_iterator child_begin(); 949fe795956194141c91ae555985c9b930595bff43fChris Lattner virtual child_iterator child_end(); 9501f85acd5ff54345788b93111197088160fe9f06eTed Kremenek 9511f85acd5ff54345788b93111197088160fe9f06eTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 952e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static AsmStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 953fe795956194141c91ae555985c9b930595bff43fChris Lattner}; 95478492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek 95578492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek/// ObjCForCollectionStmt - This represents Objective-c's collection statement; 95678492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek/// represented as 'for (element 'in' collection-expression)' stmt. 95778492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek/// 95878492dae00fb85e0da0f966df4745edafdafb66cTed Kremenekclass ObjCForCollectionStmt : public Stmt { 95978492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek enum { ELEM, COLLECTION, BODY, END_EXPR }; 96078492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek Stmt* SubExprs[END_EXPR]; // SubExprs[ELEM] is an expression or declstmt. 96178492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek SourceLocation ForLoc; 96278492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek SourceLocation RParenLoc; 96378492dae00fb85e0da0f966df4745edafdafb66cTed Kremenekpublic: 96478492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek ObjCForCollectionStmt(Stmt *Elem, Expr *Collect, Stmt *Body, 96578492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek SourceLocation FCL, SourceLocation RPL); 96678492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek 96778492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek Stmt *getElement() { return SubExprs[ELEM]; } 96878492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek Expr *getCollection() { 96978492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek return reinterpret_cast<Expr*>(SubExprs[COLLECTION]); 97078492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek } 97178492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek Stmt *getBody() { return SubExprs[BODY]; } 97278492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek 97378492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek const Stmt *getElement() const { return SubExprs[ELEM]; } 97478492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek const Expr *getCollection() const { 97578492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek return reinterpret_cast<Expr*>(SubExprs[COLLECTION]); 97678492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek } 97778492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek const Stmt *getBody() const { return SubExprs[BODY]; } 97878492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek 97978492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek SourceLocation getRParenLoc() const { return RParenLoc; } 98078492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek 98178492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek virtual SourceRange getSourceRange() const { 98278492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek return SourceRange(ForLoc, SubExprs[BODY]->getLocEnd()); 98378492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek } 98478492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek static bool classof(const Stmt *T) { 98578492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek return T->getStmtClass() == ObjCForCollectionStmtClass; 98678492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek } 98778492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek static bool classof(const ObjCForCollectionStmt *) { return true; } 98878492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek 98978492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek // Iterators 99078492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek virtual child_iterator child_begin(); 99178492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek virtual child_iterator child_end(); 99278492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek 99378492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 994e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static ObjCForCollectionStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 99578492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek}; 996b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 997a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek/// ObjCAtCatchStmt - This represents objective-c's @catch statement. 998a526c5c67e5a0473c340903ee542ce570119665fTed Kremenekclass ObjCAtCatchStmt : public Stmt { 999b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanianprivate: 1000ff981021554a4965943ca2d19019cea811614602Ted Kremenek enum { SELECTOR, BODY, NEXT_CATCH, END_EXPR }; 10013b1191d7eaf2f4984564e01ab84b6713a9d80e70Fariborz Jahanian Stmt *SubExprs[END_EXPR]; 1002b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian SourceLocation AtCatchLoc, RParenLoc; 1003af526779b36f43f59e47cfc5b10bb0c48562f4a9Ted Kremenek 1004af526779b36f43f59e47cfc5b10bb0c48562f4a9Ted Kremenek // Used by deserialization. 1005a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek ObjCAtCatchStmt(SourceLocation atCatchLoc, SourceLocation rparenloc) 1006a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek : Stmt(ObjCAtCatchStmtClass), AtCatchLoc(atCatchLoc), RParenLoc(rparenloc) {} 1007af526779b36f43f59e47cfc5b10bb0c48562f4a9Ted Kremenek 1008b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanianpublic: 1009a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek ObjCAtCatchStmt(SourceLocation atCatchLoc, SourceLocation rparenloc, 1010db6ed1786bf460e1143f67d14bf2d71ad9856f81Chris Lattner Stmt *catchVarStmtDecl, Stmt *atCatchStmt, Stmt *atCatchList); 1011b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 1012606efdfeb9eef70871eb62a26dfd115e209e899cFariborz Jahanian const Stmt *getCatchBody() const { return SubExprs[BODY]; } 1013606efdfeb9eef70871eb62a26dfd115e209e899cFariborz Jahanian Stmt *getCatchBody() { return SubExprs[BODY]; } 1014ff981021554a4965943ca2d19019cea811614602Ted Kremenek 1015ff981021554a4965943ca2d19019cea811614602Ted Kremenek const ObjCAtCatchStmt *getNextCatchStmt() const { 1016ff981021554a4965943ca2d19019cea811614602Ted Kremenek return static_cast<const ObjCAtCatchStmt*>(SubExprs[NEXT_CATCH]); 1017ff981021554a4965943ca2d19019cea811614602Ted Kremenek } 1018ff981021554a4965943ca2d19019cea811614602Ted Kremenek ObjCAtCatchStmt *getNextCatchStmt() { 1019ff981021554a4965943ca2d19019cea811614602Ted Kremenek return static_cast<ObjCAtCatchStmt*>(SubExprs[NEXT_CATCH]); 1020ff981021554a4965943ca2d19019cea811614602Ted Kremenek } 1021ff981021554a4965943ca2d19019cea811614602Ted Kremenek 1022606efdfeb9eef70871eb62a26dfd115e209e899cFariborz Jahanian const Stmt *getCatchParamStmt() const { return SubExprs[SELECTOR]; } 1023606efdfeb9eef70871eb62a26dfd115e209e899cFariborz Jahanian Stmt *getCatchParamStmt() { return SubExprs[SELECTOR]; } 10247794cb85d394750db0631c02b7aa7837ae56764cFariborz Jahanian 10257573098b83e780d1c5bea13b384b610d8f155676Steve Naroff SourceLocation getRParenLoc() const { return RParenLoc; } 10267573098b83e780d1c5bea13b384b610d8f155676Steve Naroff 1027b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian virtual SourceRange getSourceRange() const { 10283b1191d7eaf2f4984564e01ab84b6713a9d80e70Fariborz Jahanian return SourceRange(AtCatchLoc, SubExprs[BODY]->getLocEnd()); 1029b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian } 1030be4b3332c2d17c03af6d015d9e8e2cc524806e6eSteve Naroff 1031be4b3332c2d17c03af6d015d9e8e2cc524806e6eSteve Naroff bool hasEllipsis() const { return getCatchParamStmt() == 0; } 1032be4b3332c2d17c03af6d015d9e8e2cc524806e6eSteve Naroff 1033b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian static bool classof(const Stmt *T) { 1034a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek return T->getStmtClass() == ObjCAtCatchStmtClass; 1035b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian } 1036a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek static bool classof(const ObjCAtCatchStmt *) { return true; } 1037b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 1038b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian virtual child_iterator child_begin(); 1039b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian virtual child_iterator child_end(); 1040af526779b36f43f59e47cfc5b10bb0c48562f4a9Ted Kremenek 1041af526779b36f43f59e47cfc5b10bb0c48562f4a9Ted Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 1042e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static ObjCAtCatchStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 1043b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian}; 1044b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 1045a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek/// ObjCAtFinallyStmt - This represent objective-c's @finally Statement 1046a526c5c67e5a0473c340903ee542ce570119665fTed Kremenekclass ObjCAtFinallyStmt : public Stmt { 104704be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek Stmt *AtFinallyStmt; 104804be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek SourceLocation AtFinallyLoc; 104904be5aae2dc17292e2007401599638f3c6ba30deTed Kremenekpublic: 1050a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek ObjCAtFinallyStmt(SourceLocation atFinallyLoc, Stmt *atFinallyStmt) 1051a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek : Stmt(ObjCAtFinallyStmtClass), 105204be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek AtFinallyStmt(atFinallyStmt), AtFinallyLoc(atFinallyLoc) {} 10537794cb85d394750db0631c02b7aa7837ae56764cFariborz Jahanian 105404be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek const Stmt *getFinallyBody () const { return AtFinallyStmt; } 105504be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek Stmt *getFinallyBody () { return AtFinallyStmt; } 105604be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek 105704be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek virtual SourceRange getSourceRange() const { 105804be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek return SourceRange(AtFinallyLoc, AtFinallyStmt->getLocEnd()); 105904be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek } 106004be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek 106104be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek static bool classof(const Stmt *T) { 1062a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek return T->getStmtClass() == ObjCAtFinallyStmtClass; 106304be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek } 1064a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek static bool classof(const ObjCAtFinallyStmt *) { return true; } 106504be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek 106604be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek virtual child_iterator child_begin(); 106704be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek virtual child_iterator child_end(); 106804be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek 106904be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 1070e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static ObjCAtFinallyStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 1071b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian}; 1072b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 1073a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek/// ObjCAtTryStmt - This represent objective-c's over-all 1074b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian/// @try ... @catch ... @finally statement. 1075a526c5c67e5a0473c340903ee542ce570119665fTed Kremenekclass ObjCAtTryStmt : public Stmt { 1076b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanianprivate: 107789079eac7d6e3091b74b477a4a5ff0cdaf35496cFariborz Jahanian enum { TRY, CATCH, FINALLY, END_EXPR }; 107889079eac7d6e3091b74b477a4a5ff0cdaf35496cFariborz Jahanian Stmt* SubStmts[END_EXPR]; 1079b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 10809c1efff14b0e001f73c875ed5b184fb3569d641dTed Kremenek SourceLocation AtTryLoc; 1081b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanianpublic: 1082a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek ObjCAtTryStmt(SourceLocation atTryLoc, Stmt *atTryStmt, 1083bd49a647afd9cc534fef13cadf652d4e9c396e2bFariborz Jahanian Stmt *atCatchStmt, 1084bd49a647afd9cc534fef13cadf652d4e9c396e2bFariborz Jahanian Stmt *atFinallyStmt) 1085a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek : Stmt(ObjCAtTryStmtClass) { 1086b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian SubStmts[TRY] = atTryStmt; 1087b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian SubStmts[CATCH] = atCatchStmt; 1088b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian SubStmts[FINALLY] = atFinallyStmt; 1089ccdbc5c6f14965d91a352d114c109a9d4d9552b8Steve Naroff AtTryLoc = atTryLoc; 1090b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian } 1091b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 10928aab17e82aab6b3f266ef1884253226d2cb8b8d8Fariborz Jahanian const Stmt *getTryBody() const { return SubStmts[TRY]; } 10938aab17e82aab6b3f266ef1884253226d2cb8b8d8Fariborz Jahanian Stmt *getTryBody() { return SubStmts[TRY]; } 1094a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek const ObjCAtCatchStmt *getCatchStmts() const { 1095a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek return dyn_cast_or_null<ObjCAtCatchStmt>(SubStmts[CATCH]); 10967573098b83e780d1c5bea13b384b610d8f155676Steve Naroff } 1097a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek ObjCAtCatchStmt *getCatchStmts() { 1098a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek return dyn_cast_or_null<ObjCAtCatchStmt>(SubStmts[CATCH]); 10997573098b83e780d1c5bea13b384b610d8f155676Steve Naroff } 1100a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek const ObjCAtFinallyStmt *getFinallyStmt() const { 1101a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek return dyn_cast_or_null<ObjCAtFinallyStmt>(SubStmts[FINALLY]); 11027573098b83e780d1c5bea13b384b610d8f155676Steve Naroff } 1103a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek ObjCAtFinallyStmt *getFinallyStmt() { 1104a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek return dyn_cast_or_null<ObjCAtFinallyStmt>(SubStmts[FINALLY]); 11057573098b83e780d1c5bea13b384b610d8f155676Steve Naroff } 1106b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian virtual SourceRange getSourceRange() const { 1107b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian return SourceRange(AtTryLoc, SubStmts[TRY]->getLocEnd()); 1108b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian } 1109b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 1110b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian static bool classof(const Stmt *T) { 1111a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek return T->getStmtClass() == ObjCAtTryStmtClass; 1112b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian } 1113a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek static bool classof(const ObjCAtTryStmt *) { return true; } 1114b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 1115b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian virtual child_iterator child_begin(); 1116b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian virtual child_iterator child_end(); 11179c1efff14b0e001f73c875ed5b184fb3569d641dTed Kremenek 11189c1efff14b0e001f73c875ed5b184fb3569d641dTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 1119e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static ObjCAtTryStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 1120b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian}; 1121fe795956194141c91ae555985c9b930595bff43fChris Lattner 1122c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian/// ObjCAtSynchronizedStmt - This is for objective-c's @synchronized statement. 112378a677bbb5fa115fa0995b5783adeeefad67167eFariborz Jahanian/// Example: @synchronized (sem) { 1124bd144b7ac70cc96cb1ff822347c2bb9b330729ecFariborz Jahanian/// do-something; 112578a677bbb5fa115fa0995b5783adeeefad67167eFariborz Jahanian/// } 1126c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian/// 1127c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanianclass ObjCAtSynchronizedStmt : public Stmt { 1128c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanianprivate: 1129a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian enum { SYNC_EXPR, SYNC_BODY, END_EXPR }; 1130a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian Stmt* SubStmts[END_EXPR]; 1131c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian SourceLocation AtSynchronizedLoc; 1132c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian 1133c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanianpublic: 1134a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian ObjCAtSynchronizedStmt(SourceLocation atSynchronizedLoc, Stmt *synchExpr, 1135c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian Stmt *synchBody) 1136a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian : Stmt(ObjCAtSynchronizedStmtClass) { 1137a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian SubStmts[SYNC_EXPR] = synchExpr; 1138a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian SubStmts[SYNC_BODY] = synchBody; 1139a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian AtSynchronizedLoc = atSynchronizedLoc; 1140a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian } 1141c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian 114278a677bbb5fa115fa0995b5783adeeefad67167eFariborz Jahanian const CompoundStmt *getSynchBody() const { 114378a677bbb5fa115fa0995b5783adeeefad67167eFariborz Jahanian return reinterpret_cast<CompoundStmt*>(SubStmts[SYNC_BODY]); 114478a677bbb5fa115fa0995b5783adeeefad67167eFariborz Jahanian } 114578a677bbb5fa115fa0995b5783adeeefad67167eFariborz Jahanian CompoundStmt *getSynchBody() { 114678a677bbb5fa115fa0995b5783adeeefad67167eFariborz Jahanian return reinterpret_cast<CompoundStmt*>(SubStmts[SYNC_BODY]); 114778a677bbb5fa115fa0995b5783adeeefad67167eFariborz Jahanian } 1148c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian 1149a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian const Expr *getSynchExpr() const { 1150a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian return reinterpret_cast<Expr*>(SubStmts[SYNC_EXPR]); 1151a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian } 1152a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian Expr *getSynchExpr() { 1153a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian return reinterpret_cast<Expr*>(SubStmts[SYNC_EXPR]); 1154a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian } 1155c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian 1156c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian virtual SourceRange getSourceRange() const { 1157a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian return SourceRange(AtSynchronizedLoc, getSynchBody()->getLocEnd()); 1158c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian } 1159c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian 1160c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian static bool classof(const Stmt *T) { 1161c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian return T->getStmtClass() == ObjCAtSynchronizedStmtClass; 1162c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian } 1163c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian static bool classof(const ObjCAtSynchronizedStmt *) { return true; } 1164c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian 1165fa3ee8e6776634caf064ba5928ca7699d317a280Fariborz Jahanian virtual child_iterator child_begin(); 1166fa3ee8e6776634caf064ba5928ca7699d317a280Fariborz Jahanian virtual child_iterator child_end(); 1167fa3ee8e6776634caf064ba5928ca7699d317a280Fariborz Jahanian 1168c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian virtual void EmitImpl(llvm::Serializer& S) const; 1169e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static ObjCAtSynchronizedStmt* CreateImpl(llvm::Deserializer& D, 1170e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop ASTContext& C); 1171c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian}; 1172c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian 1173a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek/// ObjCAtThrowStmt - This represents objective-c's @throw statement. 1174a526c5c67e5a0473c340903ee542ce570119665fTed Kremenekclass ObjCAtThrowStmt : public Stmt { 117539f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian Stmt *Throw; 117639f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian SourceLocation AtThrowLoc; 117739f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanianpublic: 1178a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek ObjCAtThrowStmt(SourceLocation atThrowLoc, Stmt *throwExpr) 1179a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek : Stmt(ObjCAtThrowStmtClass), Throw(throwExpr) { 118039f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian AtThrowLoc = atThrowLoc; 118139f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian } 118239f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian 1183e0def7589a8afa8a6acef13476bb3f882c104b91Chris Lattner const Expr *getThrowExpr() const { return reinterpret_cast<Expr*>(Throw); } 1184e0def7589a8afa8a6acef13476bb3f882c104b91Chris Lattner Expr *getThrowExpr() { return reinterpret_cast<Expr*>(Throw); } 118539f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian 118620ebf8f15df48f27ce2bf7c1b3ae87565235600fSteve Naroff virtual SourceRange getSourceRange() const { 118720ebf8f15df48f27ce2bf7c1b3ae87565235600fSteve Naroff if (Throw) 118820ebf8f15df48f27ce2bf7c1b3ae87565235600fSteve Naroff return SourceRange(AtThrowLoc, Throw->getLocEnd()); 1189db6ed1786bf460e1143f67d14bf2d71ad9856f81Chris Lattner else 1190db6ed1786bf460e1143f67d14bf2d71ad9856f81Chris Lattner return SourceRange(AtThrowLoc); 119139f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian } 119239f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian 119339f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian static bool classof(const Stmt *T) { 1194a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek return T->getStmtClass() == ObjCAtThrowStmtClass; 119539f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian } 1196a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek static bool classof(const ObjCAtThrowStmt *) { return true; } 119739f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian 119839f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian virtual child_iterator child_begin(); 119939f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian virtual child_iterator child_end(); 12005bdd4e300b432246b9d261702828e9875414128bTed Kremenek 12015bdd4e300b432246b9d261702828e9875414128bTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 1202e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static ObjCAtThrowStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 120339f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian}; 120439f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian 12055f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer} // end namespace clang 12065f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 12075f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#endif 1208