Stmt.h revision ad56d684259f706b7c0ae5ad9c23adb4f2926817
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" 258189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek#include "clang/AST/ASTContext.h" 266e340496341a4704be0ede9c1ff4f8eacea7ee2cChris Lattner#include <string> 277573098b83e780d1c5bea13b384b610d8f155676Steve Naroffusing llvm::dyn_cast_or_null; 287573098b83e780d1c5bea13b384b610d8f155676Steve Naroff 295f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencernamespace clang { 30e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop class ASTContext; 315f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer class Expr; 325f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer class Decl; 337ba138abd329e591a8f6d5001f60dd7082f71b3bSteve Naroff class ParmVarDecl; 344b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl class QualType; 355f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer class IdentifierInfo; 360c727a35718556866a978f64ac549d9798735f08Chris Lattner class SourceManager; 376a0ef4b83c91a6d6d5acb4ed5577c4659fe022a3Anders Carlsson class StringLiteral; 386c36be5b383875b490684bcf439d6d427298c1afChris Lattner class SwitchStmt; 3942a509f6a4f71bb805cc4abbb26722a34dffdddeTed Kremenek class PrinterHelper; 40ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek 41ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek //===----------------------------------------------------------------------===// 42ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek // ExprIterator - Iterators for iterating over Stmt* arrays that contain 43ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek // only Expr*. This is needed because AST nodes use Stmt* arrays to store 44ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek // references to children (to be compatible with StmtIterator). 45ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek //===----------------------------------------------------------------------===// 46ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek 47ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek class Stmt; 48ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek class Expr; 49ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek 50ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek class ExprIterator { 51ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek Stmt** I; 52ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek public: 53ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek ExprIterator(Stmt** i) : I(i) {} 54ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek ExprIterator() : I(0) {} 55ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek ExprIterator& operator++() { ++I; return *this; } 56ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek ExprIterator operator-(size_t i) { return I-i; } 57ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek ExprIterator operator+(size_t i) { return I+i; } 58ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek Expr* operator[](size_t idx); 59ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek // FIXME: Verify that this will correctly return a signed distance. 60ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek signed operator-(const ExprIterator& R) const { return I - R.I; } 61ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek Expr* operator*() const; 62ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek Expr* operator->() const; 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 bool operator>=(const ExprIterator& R) const { return I >= R.I; } 67ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek }; 68ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek 69ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek class ConstExprIterator { 70ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek Stmt* const * I; 71ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek public: 72ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek ConstExprIterator(Stmt* const* i) : I(i) {} 73ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek ConstExprIterator() : I(0) {} 74ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek ConstExprIterator& operator++() { ++I; return *this; } 75ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek ConstExprIterator operator+(size_t i) { return I+i; } 76ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek ConstExprIterator operator-(size_t i) { return I-i; } 77ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek const Expr * operator[](size_t idx) const; 78ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek signed operator-(const ConstExprIterator& R) const { return I - R.I; } 79ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek const Expr * operator*() const; 80ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek const Expr * operator->() const; 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 bool operator>=(const ConstExprIterator& R) const { return I >= R.I; } 85ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek }; 86ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek 87ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek//===----------------------------------------------------------------------===// 88ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek// AST classes for statements. 89ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek//===----------------------------------------------------------------------===// 90ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek 915f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// Stmt - This represents one statement. 925f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 935f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass Stmt { 945f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 955f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer enum StmtClass { 96f2cad8633e46cce12fc3d77c0bd451ffd7264bafDouglas Gregor NoStmtClass = 0, 97f2cad8633e46cce12fc3d77c0bd451ffd7264bafDouglas Gregor#define STMT(CLASS, PARENT) CLASS##Class, 98f2cad8633e46cce12fc3d77c0bd451ffd7264bafDouglas Gregor#define FIRST_STMT(CLASS) firstStmtConstant = CLASS##Class, 99f2cad8633e46cce12fc3d77c0bd451ffd7264bafDouglas Gregor#define LAST_STMT(CLASS) lastStmtConstant = CLASS##Class, 100f2cad8633e46cce12fc3d77c0bd451ffd7264bafDouglas Gregor#define FIRST_EXPR(CLASS) firstExprConstant = CLASS##Class, 101f2cad8633e46cce12fc3d77c0bd451ffd7264bafDouglas Gregor#define LAST_EXPR(CLASS) lastExprConstant = CLASS##Class 1025f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#include "clang/AST/StmtNodes.def" 1035f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 1045f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerprivate: 1055f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer const StmtClass sClass; 1068189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek 1078189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek // Make vanilla 'new' and 'delete' illegal for Stmts. 1088189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenekprotected: 1098189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek void* operator new(size_t bytes) throw() { 1108189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek assert(0 && "Stmts cannot be allocated with regular 'new'."); 1118189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek return 0; 1128189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek } 1138189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek void operator delete(void* data) throw() { 1148189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek assert(0 && "Stmts cannot be released with regular 'delete'."); 1158189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek } 1168189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek 1178189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenekpublic: 1188189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek // Only allow allocation of Stmts using the allocator in ASTContext 1198189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek // or by doing a placement new. 1208189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek void* operator new(size_t bytes, ASTContext& C, 1218189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek unsigned alignment = 16) throw() { 1228189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek return ::operator new(bytes, C, alignment); 1238189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek } 1248189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek 1258189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek void* operator new(size_t bytes, ASTContext* C, 1268189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek unsigned alignment = 16) throw() { 1278189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek return ::operator new(bytes, *C, alignment); 1288189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek } 1298189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek 1308189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek void* operator new(size_t bytes, void* mem) throw() { 1318189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek return mem; 1328189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek } 133e2dedf8f61b8f306f704781456b482eb61871e8eDouglas Gregor 134fb523e16dd1f860ff02a3ae03e5e3e25327a5860Chris Lattner void operator delete(void*, ASTContext&, unsigned) throw() { } 135fb523e16dd1f860ff02a3ae03e5e3e25327a5860Chris Lattner void operator delete(void*, ASTContext*, unsigned) throw() { } 136e2dedf8f61b8f306f704781456b482eb61871e8eDouglas Gregor void operator delete(void*, std::size_t) throw() { } 137fb523e16dd1f860ff02a3ae03e5e3e25327a5860Chris Lattner void operator delete(void*, void*) throw() { } 138e2dedf8f61b8f306f704781456b482eb61871e8eDouglas Gregor 139025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregorpublic: 140025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor /// \brief A placeholder type used to construct an empty shell of a 141025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor /// type, that will be filled in later (e.g., by some 142025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor /// de-serialization). 143025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor struct EmptyShell { }; 144025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor 1459c1863ef36a74e8203f00289d19856ad956f48b9Ted Kremenekprotected: 1469c1863ef36a74e8203f00289d19856ad956f48b9Ted Kremenek /// DestroyChildren - Invoked by destructors of subclasses of Stmt to 1479c1863ef36a74e8203f00289d19856ad956f48b9Ted Kremenek /// recursively release child AST nodes. 14827f8a28bee33bb0e857cfe1a61c281bbc234b338Ted Kremenek void DestroyChildren(ASTContext& Ctx); 1499c1863ef36a74e8203f00289d19856ad956f48b9Ted Kremenek 150025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor /// \brief Construct an empty statement. 151025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor explicit Stmt(StmtClass SC, EmptyShell) : sClass(SC) { 152025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor if (Stmt::CollectingStats()) Stmt::addStmtClass(SC); 153025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor } 154025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor 1555f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 1565f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Stmt(StmtClass SC) : sClass(SC) { 1575f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer if (Stmt::CollectingStats()) Stmt::addStmtClass(SC); 1585f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 1595f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer virtual ~Stmt() {} 16027f8a28bee33bb0e857cfe1a61c281bbc234b338Ted Kremenek 16124e1e707b4c362f18e371e2bbf054a8345b57bfaChris Lattner virtual void Destroy(ASTContext &Ctx); 1625f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1635f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer StmtClass getStmtClass() const { return sClass; } 1645f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer const char *getStmtClassName() const; 165b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 166b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff /// SourceLocation tokens are not useful in isolation - they are low level 167b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff /// value objects created/interpreted by SourceManager. We assume AST 168b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff /// clients will have a pointer to the respective SourceManager. 169b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const = 0; 170311ff02fae0392bee6abe7723cdf5a69b2899a47Chris Lattner SourceLocation getLocStart() const { return getSourceRange().getBegin(); } 171311ff02fae0392bee6abe7723cdf5a69b2899a47Chris Lattner SourceLocation getLocEnd() const { return getSourceRange().getEnd(); } 1725f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1735f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // global temp stats (until we have a per-module visitor) 1745f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static void addStmtClass(const StmtClass s); 1755f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool CollectingStats(bool enable=false); 1765f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static void PrintStats(); 1776000dace22f110d8768476989313e9d981d690d0Chris Lattner 1786000dace22f110d8768476989313e9d981d690d0Chris Lattner /// dump - This does a local dump of the specified AST fragment. It dumps the 1796000dace22f110d8768476989313e9d981d690d0Chris Lattner /// specified node and a few nodes underneath it, but not the whole subtree. 1806000dace22f110d8768476989313e9d981d690d0Chris Lattner /// This is useful in a debugger. 1815f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void dump() const; 182e300c870f08d08badf2ebcb53ded49f304af37fcChris Lattner void dump(SourceManager &SM) const; 1836000dace22f110d8768476989313e9d981d690d0Chris Lattner 1846000dace22f110d8768476989313e9d981d690d0Chris Lattner /// dumpAll - This does a dump of the specified AST fragment and all subtrees. 1856000dace22f110d8768476989313e9d981d690d0Chris Lattner void dumpAll() const; 186e300c870f08d08badf2ebcb53ded49f304af37fcChris Lattner void dumpAll(SourceManager &SM) const; 1876000dace22f110d8768476989313e9d981d690d0Chris Lattner 1886000dace22f110d8768476989313e9d981d690d0Chris Lattner /// dumpPretty/printPretty - These two methods do a "pretty print" of the AST 1896000dace22f110d8768476989313e9d981d690d0Chris Lattner /// back to its original source language syntax. 1906000dace22f110d8768476989313e9d981d690d0Chris Lattner void dumpPretty() const; 191071e4da10b07ca5278a7ce9dcabd853e0d57e5a4Mike Stump void printPretty(llvm::raw_ostream &OS, PrinterHelper* = NULL, unsigned = 0, 192071e4da10b07ca5278a7ce9dcabd853e0d57e5a4Mike Stump bool NoIndent=false) const; 1935f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 194d2a4a1af1088fca80e2dc76eb3369db0fbbfdefdTed Kremenek /// viewAST - Visualize an AST rooted at this Stmt* using GraphViz. Only 195d2a4a1af1088fca80e2dc76eb3369db0fbbfdefdTed Kremenek /// works on systems with GraphViz (Mac OS X) or dot+gv installed. 196d2a4a1af1088fca80e2dc76eb3369db0fbbfdefdTed Kremenek void viewAST() const; 197d2a4a1af1088fca80e2dc76eb3369db0fbbfdefdTed Kremenek 1985f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // Implement isa<T> support. 1998297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek static bool classof(const Stmt *) { return true; } 20077ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek 201d48ade633d96b94cb435d73e2c935ea457152decTed Kremenek /// hasImplicitControlFlow - Some statements (e.g. short circuited operations) 202d48ade633d96b94cb435d73e2c935ea457152decTed Kremenek /// contain implicit control-flow in the order their subexpressions 203d48ade633d96b94cb435d73e2c935ea457152decTed Kremenek /// are evaluated. This predicate returns true if this statement has 204d48ade633d96b94cb435d73e2c935ea457152decTed Kremenek /// such implicit control-flow. Such statements are also specially handled 205d48ade633d96b94cb435d73e2c935ea457152decTed Kremenek /// within CFGs. 206d48ade633d96b94cb435d73e2c935ea457152decTed Kremenek bool hasImplicitControlFlow() const; 207d48ade633d96b94cb435d73e2c935ea457152decTed Kremenek 20877ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek /// Child Iterators: All subclasses must implement child_begin and child_end 20977ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek /// to permit easy iteration over the substatements/subexpessions of an 21077ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek /// AST node. This permits easy iteration over all nodes in the AST. 2119caf8b1ca6beb254f420dada3c0e94d5ef027f58Ted Kremenek typedef StmtIterator child_iterator; 2129caf8b1ca6beb254f420dada3c0e94d5ef027f58Ted Kremenek typedef ConstStmtIterator const_child_iterator; 21377ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek 2148297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin() = 0; 2158297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end() = 0; 21677ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek 21777ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek const_child_iterator child_begin() const { 2189caf8b1ca6beb254f420dada3c0e94d5ef027f58Ted Kremenek return const_child_iterator(const_cast<Stmt*>(this)->child_begin()); 21977ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek } 22077ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek 22177ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek const_child_iterator child_end() const { 2229caf8b1ca6beb254f420dada3c0e94d5ef027f58Ted Kremenek return const_child_iterator(const_cast<Stmt*>(this)->child_end()); 22377ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek } 2240b7489194f9f89fac39d57211c1e7953ae50251fDouglas Gregor 2252dc9ac73a8a34cabf261a81a1653d7379065ac61Ted Kremenek void Emit(llvm::Serializer& S) const; 226e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static Stmt* Create(llvm::Deserializer& D, ASTContext& C); 227e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop 228ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const { 2292dc9ac73a8a34cabf261a81a1653d7379065ac61Ted Kremenek // This method will eventually be a pure-virtual function. 2302dc9ac73a8a34cabf261a81a1653d7379065ac61Ted Kremenek assert (false && "Not implemented."); 2312dc9ac73a8a34cabf261a81a1653d7379065ac61Ted Kremenek } 2325f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 2335f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 2345f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// DeclStmt - Adaptor class for mixing declarations with statements and 2355f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// expressions. For example, CompoundStmt mixes statements, expressions 2365f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// and declarations (variables, types). Another example is ForStmt, where 2375f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// the first statement can be an expression or a declaration. 2385f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 2395f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass DeclStmt : public Stmt { 2409653db7bd0e3665b955a0445859285f2e1e7dacdDouglas Gregor DeclGroupRef DG; 24181c018d9482e7cc2addadc6202dcf162a01faefdChris Lattner SourceLocation StartLoc, EndLoc; 2425f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 2439653db7bd0e3665b955a0445859285f2e1e7dacdDouglas Gregor DeclStmt(DeclGroupRef dg, SourceLocation startLoc, 2448ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek SourceLocation endLoc) : Stmt(DeclStmtClass), DG(dg), 2458ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek StartLoc(startLoc), EndLoc(endLoc) {} 2465f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 24784f2170062014d268951902164bed0d8bdea0e82Douglas Gregor /// \brief Build an empty declaration statement. 24884f2170062014d268951902164bed0d8bdea0e82Douglas Gregor explicit DeclStmt(EmptyShell Empty) : Stmt(DeclStmtClass, Empty) { } 24984f2170062014d268951902164bed0d8bdea0e82Douglas Gregor 2508e355f296a3ba45b94de49dbb18ae6a6e67df04cTed Kremenek virtual void Destroy(ASTContext& Ctx); 2518e355f296a3ba45b94de49dbb18ae6a6e67df04cTed Kremenek 2527e24e82a70a2c681f4291a3397bcd1e1005f251aChris Lattner /// isSingleDecl - This method returns true if this DeclStmt refers 253fe95deaf66e4fbd82d44b5f6afa8162fa69cb85cChris Lattner /// to a single Decl. 2547e24e82a70a2c681f4291a3397bcd1e1005f251aChris Lattner bool isSingleDecl() const { 255fe95deaf66e4fbd82d44b5f6afa8162fa69cb85cChris Lattner return DG.isSingleDecl(); 2568ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek } 257655137a6c19110620d82d5f03cdcaec3a48c059fTed Kremenek 2587e24e82a70a2c681f4291a3397bcd1e1005f251aChris Lattner const Decl *getSingleDecl() const { return DG.getSingleDecl(); } 2597e24e82a70a2c681f4291a3397bcd1e1005f251aChris Lattner Decl *getSingleDecl() { return DG.getSingleDecl(); } 260e66a8cf9117e5fb95a05ff76ec06615e63dd5adeChris Lattner 261e66a8cf9117e5fb95a05ff76ec06615e63dd5adeChris Lattner const DeclGroupRef getDeclGroup() const { return DG; } 262e66a8cf9117e5fb95a05ff76ec06615e63dd5adeChris Lattner DeclGroupRef getDeclGroup() { return DG; } 26384f2170062014d268951902164bed0d8bdea0e82Douglas Gregor void setDeclGroup(DeclGroupRef DGR) { DG = DGR; } 264b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 26581c018d9482e7cc2addadc6202dcf162a01faefdChris Lattner SourceLocation getStartLoc() const { return StartLoc; } 26684f2170062014d268951902164bed0d8bdea0e82Douglas Gregor void setStartLoc(SourceLocation L) { StartLoc = L; } 26781c018d9482e7cc2addadc6202dcf162a01faefdChris Lattner SourceLocation getEndLoc() const { return EndLoc; } 26884f2170062014d268951902164bed0d8bdea0e82Douglas Gregor void setEndLoc(SourceLocation L) { EndLoc = L; } 26984f2170062014d268951902164bed0d8bdea0e82Douglas Gregor 2708ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek SourceRange getSourceRange() const { 27181c018d9482e7cc2addadc6202dcf162a01faefdChris Lattner return SourceRange(StartLoc, EndLoc); 27281c018d9482e7cc2addadc6202dcf162a01faefdChris Lattner } 2735f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 2745f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 2755f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == DeclStmtClass; 2765f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 2775f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const DeclStmt *) { return true; } 2788297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 27914f8b4ff660bcaa763974b8d0fae81857c594495Ted Kremenek // Iterators over subexpressions. 2808297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 2818297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 2820965f446e7685dc01fc0b5e718610530eed3cc63Ted Kremenek 2830632dd6fe068011af5710c0d6a745724021ff620Chris Lattner typedef DeclGroupRef::iterator decl_iterator; 2840632dd6fe068011af5710c0d6a745724021ff620Chris Lattner typedef DeclGroupRef::const_iterator const_decl_iterator; 2858a0d2660b6890ed95d34f37d142c0c52ac490194Ted Kremenek 2868ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek decl_iterator decl_begin() { return DG.begin(); } 2878ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek decl_iterator decl_end() { return DG.end(); } 2888ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek const_decl_iterator decl_begin() const { return DG.begin(); } 2898ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek const_decl_iterator decl_end() const { return DG.end(); } 2908a0d2660b6890ed95d34f37d142c0c52ac490194Ted Kremenek 29114f8b4ff660bcaa763974b8d0fae81857c594495Ted Kremenek // Serialization. 292ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 293e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static DeclStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 2945f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 2955f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 2965f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// NullStmt - This is the null statement ";": C99 6.8.3p3. 2975f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 2985f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass NullStmt : public Stmt { 2995f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation SemiLoc; 3005f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 3015f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer NullStmt(SourceLocation L) : Stmt(NullStmtClass), SemiLoc(L) {} 3025f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 303025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor /// \brief Build an empty null statement. 304025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor explicit NullStmt(EmptyShell Empty) : Stmt(NullStmtClass, Empty) { } 305025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor 3065f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation getSemiLoc() const { return SemiLoc; } 307025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor void setSemiLoc(SourceLocation L) { SemiLoc = L; } 308b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 309507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff virtual SourceRange getSourceRange() const { return SourceRange(SemiLoc); } 3105f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3115f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 3125f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == NullStmtClass; 3135f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 3145f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const NullStmt *) { return true; } 3158297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 3168297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 3178297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 3188297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 3194927be6102784fc69c50234f7e2253283b3e99e4Ted Kremenek 320ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 321e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static NullStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 3225f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 3235f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3245f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// CompoundStmt - This represents a group of statements like { stmt stmt }. 3255f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 3265f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass CompoundStmt : public Stmt { 3278189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek Stmt** Body; 3288189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek unsigned NumStmts; 329b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation LBracLoc, RBracLoc; 3305f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 3318189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek CompoundStmt(ASTContext& C, Stmt **StmtStart, unsigned numStmts, 3328189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek SourceLocation LB, SourceLocation RB) 3338189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek : Stmt(CompoundStmtClass), NumStmts(numStmts), LBracLoc(LB), RBracLoc(RB) { 334026dc96ac6ece60da5e1b98e2a71bd0ff0939fd8Chris Lattner if (NumStmts == 0) { 335026dc96ac6ece60da5e1b98e2a71bd0ff0939fd8Chris Lattner Body = 0; 336026dc96ac6ece60da5e1b98e2a71bd0ff0939fd8Chris Lattner return; 337026dc96ac6ece60da5e1b98e2a71bd0ff0939fd8Chris Lattner } 338026dc96ac6ece60da5e1b98e2a71bd0ff0939fd8Chris Lattner 339026dc96ac6ece60da5e1b98e2a71bd0ff0939fd8Chris Lattner Body = new (C) Stmt*[NumStmts]; 340026dc96ac6ece60da5e1b98e2a71bd0ff0939fd8Chris Lattner memcpy(Body, StmtStart, numStmts * sizeof(*Body)); 3418189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek } 342025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor 343025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor // \brief Build an empty compound statement. 344025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor explicit CompoundStmt(EmptyShell Empty) 345025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor : Stmt(CompoundStmtClass, Empty), Body(0), NumStmts(0) { } 346025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor 347025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor void setStmts(ASTContext &C, Stmt **Stmts, unsigned NumStmts); 3488189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek 3498189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek bool body_empty() const { return NumStmts == 0; } 350025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor unsigned size() const { return NumStmts; } 351025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor 3528189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek typedef Stmt** body_iterator; 3538189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek body_iterator body_begin() { return Body; } 3548189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek body_iterator body_end() { return Body + NumStmts; } 3558189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek Stmt *body_back() { return NumStmts ? Body[NumStmts-1] : 0; } 3565f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3578189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek typedef Stmt* const * const_body_iterator; 3588189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek const_body_iterator body_begin() const { return Body; } 3598189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek const_body_iterator body_end() const { return Body + NumStmts; } 3608189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek const Stmt *body_back() const { return NumStmts ? Body[NumStmts-1] : 0; } 3618189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek 3628189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek typedef std::reverse_iterator<body_iterator> reverse_body_iterator; 3638189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek reverse_body_iterator body_rbegin() { 3648189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek return reverse_body_iterator(body_end()); 3658189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek } 3668189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek reverse_body_iterator body_rend() { 3678189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek return reverse_body_iterator(body_begin()); 3688189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek } 3694ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek 3708189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek typedef std::reverse_iterator<const_body_iterator> 3718189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek const_reverse_body_iterator; 3724ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek 3738189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek const_reverse_body_iterator body_rbegin() const { 3748189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek return const_reverse_body_iterator(body_end()); 3758189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek } 376b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 3778189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek const_reverse_body_iterator body_rend() const { 3788189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek return const_reverse_body_iterator(body_begin()); 3798189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek } 3808189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek 381b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 382b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(LBracLoc, RBracLoc); 383b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 38454395d440dc82a5e51b945c6c2a7f4bc4bea0358Ted Kremenek 385cc326204dd97771c336b9aab3b9963ea30d69c29Ted Kremenek SourceLocation getLBracLoc() const { return LBracLoc; } 386025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor void setLBracLoc(SourceLocation L) { LBracLoc = L; } 387cc326204dd97771c336b9aab3b9963ea30d69c29Ted Kremenek SourceLocation getRBracLoc() const { return RBracLoc; } 388025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor void setRBracLoc(SourceLocation L) { RBracLoc = L; } 38954395d440dc82a5e51b945c6c2a7f4bc4bea0358Ted Kremenek 3905f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 3915f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == CompoundStmtClass; 3925f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 3935f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const CompoundStmt *) { return true; } 3948297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 3958297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 3968297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 3978297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 3982dc9ac73a8a34cabf261a81a1653d7379065ac61Ted Kremenek 399ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 400e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static CompoundStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 4015f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 4025f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 403c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson// SwitchCase is the base class for CaseStmt and DefaultStmt, 404c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlssonclass SwitchCase : public Stmt { 405103fc81f12aa635aa0a573c94b1aceb496b4e587Ted Kremenekprotected: 406c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson // A pointer to the following CaseStmt or DefaultStmt class, 407c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson // used by SwitchStmt. 408c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson SwitchCase *NextSwitchCase; 409103fc81f12aa635aa0a573c94b1aceb496b4e587Ted Kremenek 410d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek SwitchCase(StmtClass SC) : Stmt(SC), NextSwitchCase(0) {} 411c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson 412c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlssonpublic: 413c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson const SwitchCase *getNextSwitchCase() const { return NextSwitchCase; } 414c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson 415c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson SwitchCase *getNextSwitchCase() { return NextSwitchCase; } 416c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson 417c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson void setNextSwitchCase(SwitchCase *SC) { NextSwitchCase = SC; } 418d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek 419d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek Stmt *getSubStmt() { return v_getSubStmt(); } 420b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 421b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { return SourceRange(); } 422edcc752060be38bfa7e7b32691c0cc4d843622a8Ted Kremenek 423c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson static bool classof(const Stmt *T) { 424c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson return T->getStmtClass() == CaseStmtClass || 425c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson T->getStmtClass() == DefaultStmtClass; 426c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson } 427c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson static bool classof(const SwitchCase *) { return true; } 4283fb94a4918bd427fdb12df997dd87fd1017f0388Chris Lattnerprotected: 4293fb94a4918bd427fdb12df997dd87fd1017f0388Chris Lattner virtual Stmt* v_getSubStmt() = 0; 430c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson}; 431c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson 432c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlssonclass CaseStmt : public SwitchCase { 433d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek enum { SUBSTMT, LHS, RHS, END_EXPR }; 434d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek Stmt* SubExprs[END_EXPR]; // The expression for the RHS is Non-null for 435d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek // GNU "case 1 ... 4" extension 436b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation CaseLoc; 4373fb94a4918bd427fdb12df997dd87fd1017f0388Chris Lattner virtual Stmt* v_getSubStmt() { return getSubStmt(); } 4385f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 43924e1e707b4c362f18e371e2bbf054a8345b57bfaChris Lattner CaseStmt(Expr *lhs, Expr *rhs, SourceLocation caseLoc) 440d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek : SwitchCase(CaseStmtClass) { 44124e1e707b4c362f18e371e2bbf054a8345b57bfaChris Lattner SubExprs[SUBSTMT] = 0; 442d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek SubExprs[LHS] = reinterpret_cast<Stmt*>(lhs); 443d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek SubExprs[RHS] = reinterpret_cast<Stmt*>(rhs); 444b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff CaseLoc = caseLoc; 445d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek } 446025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor 447025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor /// \brief Build an empty switch case statement. 448025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor explicit CaseStmt(EmptyShell Empty) : SwitchCase(CaseStmtClass) { } 449025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor 450764a7ce5217f9569e100a3445f47496ee82daf86Chris Lattner SourceLocation getCaseLoc() const { return CaseLoc; } 451025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor void setCaseLoc(SourceLocation L) { CaseLoc = L; } 452025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor 453d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek Expr *getLHS() { return reinterpret_cast<Expr*>(SubExprs[LHS]); } 454d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek Expr *getRHS() { return reinterpret_cast<Expr*>(SubExprs[RHS]); } 455d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek Stmt *getSubStmt() { return SubExprs[SUBSTMT]; } 456025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor 45751b09f2c528c8460b5465c676173324e44176d62Devang Patel const Expr *getLHS() const { 45851b09f2c528c8460b5465c676173324e44176d62Devang Patel return reinterpret_cast<const Expr*>(SubExprs[LHS]); 45951b09f2c528c8460b5465c676173324e44176d62Devang Patel } 46051b09f2c528c8460b5465c676173324e44176d62Devang Patel const Expr *getRHS() const { 46151b09f2c528c8460b5465c676173324e44176d62Devang Patel return reinterpret_cast<const Expr*>(SubExprs[RHS]); 46251b09f2c528c8460b5465c676173324e44176d62Devang Patel } 46351b09f2c528c8460b5465c676173324e44176d62Devang Patel const Stmt *getSubStmt() const { return SubExprs[SUBSTMT]; } 4645f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 46520dabe8b8ff7ed6d2d0158fee43755a4bc7642c3Chris Lattner void setSubStmt(Stmt *S) { SubExprs[SUBSTMT] = S; } 46620dabe8b8ff7ed6d2d0158fee43755a4bc7642c3Chris Lattner void setLHS(Expr *Val) { SubExprs[LHS] = reinterpret_cast<Stmt*>(Val); } 46720dabe8b8ff7ed6d2d0158fee43755a4bc7642c3Chris Lattner void setRHS(Expr *Val) { SubExprs[RHS] = reinterpret_cast<Stmt*>(Val); } 46820dabe8b8ff7ed6d2d0158fee43755a4bc7642c3Chris Lattner 46920dabe8b8ff7ed6d2d0158fee43755a4bc7642c3Chris Lattner 4703fb94a4918bd427fdb12df997dd87fd1017f0388Chris Lattner virtual SourceRange getSourceRange() const { 4713fb94a4918bd427fdb12df997dd87fd1017f0388Chris Lattner // Handle deeply nested case statements with iteration instead of recursion. 4723fb94a4918bd427fdb12df997dd87fd1017f0388Chris Lattner const CaseStmt *CS = this; 47391ee0140ecb60b5c1402edc9e577257636c4ca60Chris Lattner while (const CaseStmt *CS2 = dyn_cast<CaseStmt>(CS->getSubStmt())) 4743fb94a4918bd427fdb12df997dd87fd1017f0388Chris Lattner CS = CS2; 4753fb94a4918bd427fdb12df997dd87fd1017f0388Chris Lattner 4763fb94a4918bd427fdb12df997dd87fd1017f0388Chris Lattner return SourceRange(CaseLoc, CS->getSubStmt()->getLocEnd()); 477b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 4785f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 4795f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == CaseStmtClass; 4805f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 4815f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const CaseStmt *) { return true; } 482d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek 483d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek // Iterators 484d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek virtual child_iterator child_begin(); 485d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek virtual child_iterator child_end(); 4869eea2ca5f2cb5d77569274702b5b06273e426dc2Ted Kremenek 487ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 488e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static CaseStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 4895f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 4905f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 491c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlssonclass DefaultStmt : public SwitchCase { 492d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek Stmt* SubStmt; 4936c36be5b383875b490684bcf439d6d427298c1afChris Lattner SourceLocation DefaultLoc; 4943fb94a4918bd427fdb12df997dd87fd1017f0388Chris Lattner virtual Stmt* v_getSubStmt() { return getSubStmt(); } 4955f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 496edcc752060be38bfa7e7b32691c0cc4d843622a8Ted Kremenek DefaultStmt(SourceLocation DL, Stmt *substmt) : 497d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek SwitchCase(DefaultStmtClass), SubStmt(substmt), DefaultLoc(DL) {} 498025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor 499025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor /// \brief Build an empty default statement. 500025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor explicit DefaultStmt(EmptyShell) : SwitchCase(DefaultStmtClass) { } 501025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor 502d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek Stmt *getSubStmt() { return SubStmt; } 50351b09f2c528c8460b5465c676173324e44176d62Devang Patel const Stmt *getSubStmt() const { return SubStmt; } 504025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor void setSubStmt(Stmt *S) { SubStmt = S; } 505025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor 5066c36be5b383875b490684bcf439d6d427298c1afChris Lattner SourceLocation getDefaultLoc() const { return DefaultLoc; } 507025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor void setDefaultLoc(SourceLocation L) { DefaultLoc = L; } 5085f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 509b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 510b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(DefaultLoc, SubStmt->getLocEnd()); 511b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 5125f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 5135f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == DefaultStmtClass; 5145f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 5155f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const DefaultStmt *) { return true; } 516d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek 517d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek // Iterators 518d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek virtual child_iterator child_begin(); 519d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek virtual child_iterator child_end(); 5209eea2ca5f2cb5d77569274702b5b06273e426dc2Ted Kremenek 521ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 522e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static DefaultStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 5235f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 5245f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5255f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass LabelStmt : public Stmt { 5265f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer IdentifierInfo *Label; 5275f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Stmt *SubStmt; 528b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation IdentLoc; 5295f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 530b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff LabelStmt(SourceLocation IL, IdentifierInfo *label, Stmt *substmt) 531b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff : Stmt(LabelStmtClass), Label(label), 532b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SubStmt(substmt), IdentLoc(IL) {} 5331de05feeeafe5b215fe7617594a7076a5192a6e2Douglas Gregor 5341de05feeeafe5b215fe7617594a7076a5192a6e2Douglas Gregor // \brief Build an empty label statement. 5351de05feeeafe5b215fe7617594a7076a5192a6e2Douglas Gregor explicit LabelStmt(EmptyShell Empty) : Stmt(LabelStmtClass, Empty) { } 5365f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5375f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation getIdentLoc() const { return IdentLoc; } 5385f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer IdentifierInfo *getID() const { return Label; } 5391de05feeeafe5b215fe7617594a7076a5192a6e2Douglas Gregor void setID(IdentifierInfo *II) { Label = II; } 5405f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer const char *getName() const; 5415f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Stmt *getSubStmt() { return SubStmt; } 5425f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer const Stmt *getSubStmt() const { return SubStmt; } 5435f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void setIdentLoc(SourceLocation L) { IdentLoc = L; } 5445f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void setSubStmt(Stmt *SS) { SubStmt = SS; } 545b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 546b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 547b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(IdentLoc, SubStmt->getLocEnd()); 548b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 5495f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 5505f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == LabelStmtClass; 5515f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 5525f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const LabelStmt *) { return true; } 5538297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 5548297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 5558297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 5568297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 557b15132fda52046ba65eafd6f4b448f7aa16b7e8dTed Kremenek 558ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 559e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static LabelStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 5605f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 5615f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5625f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5635f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// IfStmt - This represents an if/then/else. 5645f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 5655f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass IfStmt : public Stmt { 5668297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek enum { COND, THEN, ELSE, END_EXPR }; 5678297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt* SubExprs[END_EXPR]; 568b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation IfLoc; 5695f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 570b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff IfStmt(SourceLocation IL, Expr *cond, Stmt *then, Stmt *elsev = 0) 571b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff : Stmt(IfStmtClass) { 5728297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[COND] = reinterpret_cast<Stmt*>(cond); 5738297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[THEN] = then; 5748297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[ELSE] = elsev; 575b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff IfLoc = IL; 5768297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek } 5775f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 578025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor /// \brief Build an empty if/then/else statement 579025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor explicit IfStmt(EmptyShell Empty) : Stmt(IfStmtClass, Empty) { } 580025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor 5818297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Expr *getCond() const { return reinterpret_cast<Expr*>(SubExprs[COND]);} 582025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor void setCond(Expr *E) { SubExprs[COND] = reinterpret_cast<Stmt *>(E); } 5838297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Stmt *getThen() const { return SubExprs[THEN]; } 584025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor void setThen(Stmt *S) { SubExprs[THEN] = S; } 5858297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Stmt *getElse() const { return SubExprs[ELSE]; } 586025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor void setElse(Stmt *S) { SubExprs[ELSE] = S; } 5875f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5888297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Expr *getCond() { return reinterpret_cast<Expr*>(SubExprs[COND]); } 5898297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt *getThen() { return SubExprs[THEN]; } 5908297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt *getElse() { return SubExprs[ELSE]; } 591b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 592025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor SourceLocation getIfLoc() const { return IfLoc; } 593025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor void setIfLoc(SourceLocation L) { IfLoc = L; } 594025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor 595b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 596b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff if (SubExprs[ELSE]) 597b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(IfLoc, SubExprs[ELSE]->getLocEnd()); 598b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff else 599b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(IfLoc, SubExprs[THEN]->getLocEnd()); 600b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 6015f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6025f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 6035f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == IfStmtClass; 6045f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 6055f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const IfStmt *) { return true; } 6068297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 6078297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 6088297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 6098297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 6104210f3dfd73ad3482f9cfa0a382e1fd78f22976dTed Kremenek 611ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 612e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static IfStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 6135f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 6145f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6155f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// SwitchStmt - This represents a 'switch' stmt. 6165f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 6175f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass SwitchStmt : public Stmt { 6188297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek enum { COND, BODY, END_EXPR }; 6198297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt* SubExprs[END_EXPR]; 620c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson // This points to a linked list of case and default statements. 621c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson SwitchCase *FirstCase; 6229dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff SourceLocation SwitchLoc; 6235f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 6248297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SwitchStmt(Expr *cond) : Stmt(SwitchStmtClass), FirstCase(0) { 6258297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[COND] = reinterpret_cast<Stmt*>(cond); 6268297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[BODY] = NULL; 6278297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek } 6285f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 629025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor /// \brief Build a empty switch statement. 630025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor explicit SwitchStmt(EmptyShell Empty) : Stmt(SwitchStmtClass, Empty) { } 631025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor 6328297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Expr *getCond() const { return reinterpret_cast<Expr*>(SubExprs[COND]);} 6338297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Stmt *getBody() const { return SubExprs[BODY]; } 634c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson const SwitchCase *getSwitchCaseList() const { return FirstCase; } 635c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson 6368297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Expr *getCond() { return reinterpret_cast<Expr*>(SubExprs[COND]);} 637025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor void setCond(Expr *E) { SubExprs[COND] = reinterpret_cast<Stmt *>(E); } 6388297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt *getBody() { return SubExprs[BODY]; } 639025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor void setBody(Stmt *S) { SubExprs[BODY] = S; } 640c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson SwitchCase *getSwitchCaseList() { return FirstCase; } 641025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor void setSwitchCaseList(SwitchCase *SC) { FirstCase = SC; } 642025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor 643025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor SourceLocation getSwitchLoc() const { return SwitchLoc; } 644025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor void setSwitchLoc(SourceLocation L) { SwitchLoc = L; } 645c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson 6469dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff void setBody(Stmt *S, SourceLocation SL) { 6479dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff SubExprs[BODY] = S; 6489dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff SwitchLoc = SL; 6499dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff } 650c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson void addSwitchCase(SwitchCase *SC) { 651c2ee10d79f70036af652a395ac1f8273f3d04e12Douglas Gregor assert(!SC->getNextSwitchCase() && "case/default already added to a switch"); 652c2ee10d79f70036af652a395ac1f8273f3d04e12Douglas Gregor SC->setNextSwitchCase(FirstCase); 653c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson FirstCase = SC; 654c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson } 6559dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff virtual SourceRange getSourceRange() const { 6569dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff return SourceRange(SwitchLoc, SubExprs[BODY]->getLocEnd()); 6579dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff } 6585f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 6595f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == SwitchStmtClass; 6605f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 6615f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const SwitchStmt *) { return true; } 6628297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 6638297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 6648297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 6658297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 6669eea2ca5f2cb5d77569274702b5b06273e426dc2Ted Kremenek 667ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 668e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static SwitchStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 6695f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 6705f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6715f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6725f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// WhileStmt - This represents a 'while' stmt. 6735f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 6745f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass WhileStmt : public Stmt { 6758297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek enum { COND, BODY, END_EXPR }; 6768297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt* SubExprs[END_EXPR]; 677b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation WhileLoc; 6785f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 679b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff WhileStmt(Expr *cond, Stmt *body, SourceLocation WL) : Stmt(WhileStmtClass) { 6808297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[COND] = reinterpret_cast<Stmt*>(cond); 6818297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[BODY] = body; 682b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff WhileLoc = WL; 6838297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek } 6845f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 685d921cf976b4769af8d06d6763a2547dadf7940abDouglas Gregor /// \brief Build an empty while statement. 686d921cf976b4769af8d06d6763a2547dadf7940abDouglas Gregor explicit WhileStmt(EmptyShell Empty) : Stmt(WhileStmtClass, Empty) { } 687d921cf976b4769af8d06d6763a2547dadf7940abDouglas Gregor 6888297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Expr *getCond() { return reinterpret_cast<Expr*>(SubExprs[COND]); } 6898297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Expr *getCond() const { return reinterpret_cast<Expr*>(SubExprs[COND]);} 690d921cf976b4769af8d06d6763a2547dadf7940abDouglas Gregor void setCond(Expr *E) { SubExprs[COND] = reinterpret_cast<Stmt*>(E); } 6918297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt *getBody() { return SubExprs[BODY]; } 6928297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Stmt *getBody() const { return SubExprs[BODY]; } 693d921cf976b4769af8d06d6763a2547dadf7940abDouglas Gregor void setBody(Stmt *S) { SubExprs[BODY] = S; } 694d921cf976b4769af8d06d6763a2547dadf7940abDouglas Gregor 695d921cf976b4769af8d06d6763a2547dadf7940abDouglas Gregor SourceLocation getWhileLoc() const { return WhileLoc; } 696d921cf976b4769af8d06d6763a2547dadf7940abDouglas Gregor void setWhileLoc(SourceLocation L) { WhileLoc = L; } 697b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 698b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 699b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(WhileLoc, SubExprs[BODY]->getLocEnd()); 700b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 7015f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 7025f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == WhileStmtClass; 7035f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 7045f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const WhileStmt *) { return true; } 7058297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 7068297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 7078297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 7088297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 7095572b94b76a78a35bac32d1ef04907c7a651adbaTed Kremenek 710ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 711e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static WhileStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 7125f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 7135f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 7145f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// DoStmt - This represents a 'do/while' stmt. 7155f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 7165f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass DoStmt : public Stmt { 7178297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek enum { COND, BODY, END_EXPR }; 7188297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt* SubExprs[END_EXPR]; 719b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation DoLoc; 7205f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 721b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff DoStmt(Stmt *body, Expr *cond, SourceLocation DL) 722b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff : Stmt(DoStmtClass), DoLoc(DL) { 7238297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[COND] = reinterpret_cast<Stmt*>(cond); 7248297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[BODY] = body; 725b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff DoLoc = DL; 7268297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek } 72767d8249924ef38a5375ff9c92cd21c1854d6ababDouglas Gregor 72867d8249924ef38a5375ff9c92cd21c1854d6ababDouglas Gregor /// \brief Build an empty do-while statement. 72967d8249924ef38a5375ff9c92cd21c1854d6ababDouglas Gregor explicit DoStmt(EmptyShell Empty) : Stmt(DoStmtClass, Empty) { } 7305f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 7318297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Expr *getCond() { return reinterpret_cast<Expr*>(SubExprs[COND]); } 7328297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Expr *getCond() const { return reinterpret_cast<Expr*>(SubExprs[COND]);} 73367d8249924ef38a5375ff9c92cd21c1854d6ababDouglas Gregor void setCond(Expr *E) { SubExprs[COND] = reinterpret_cast<Stmt*>(E); } 7348297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt *getBody() { return SubExprs[BODY]; } 7358297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Stmt *getBody() const { return SubExprs[BODY]; } 73667d8249924ef38a5375ff9c92cd21c1854d6ababDouglas Gregor void setBody(Stmt *S) { SubExprs[BODY] = S; } 73767d8249924ef38a5375ff9c92cd21c1854d6ababDouglas Gregor 73867d8249924ef38a5375ff9c92cd21c1854d6ababDouglas Gregor SourceLocation getDoLoc() const { return DoLoc; } 73967d8249924ef38a5375ff9c92cd21c1854d6ababDouglas Gregor void setDoLoc(SourceLocation L) { DoLoc = L; } 740b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 741b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 742b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(DoLoc, SubExprs[BODY]->getLocEnd()); 743b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 7445f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 7455f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == DoStmtClass; 7465f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 7475f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const DoStmt *) { return true; } 7488297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 7498297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 7508297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 7518297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 752e3299ef345bb8a71901108bf83a824591eae6c1aTed Kremenek 753ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 754e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static DoStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 7555f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 7565f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 7575f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 7585f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// ForStmt - This represents a 'for (init;cond;inc)' stmt. Note that any of 7595f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// the init/cond/inc parts of the ForStmt will be null if they were not 7605f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// specified in the source. 7615f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 7625f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass ForStmt : public Stmt { 7638297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek enum { INIT, COND, INC, BODY, END_EXPR }; 7648297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt* SubExprs[END_EXPR]; // SubExprs[INIT] is an expression or declstmt. 765b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation ForLoc; 7665f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 767b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff ForStmt(Stmt *Init, Expr *Cond, Expr *Inc, Stmt *Body, SourceLocation FL) 768b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff : Stmt(ForStmtClass) { 769af458c9f658335bdea482395ff4a25c75935e129Chris Lattner SubExprs[INIT] = Init; 770af458c9f658335bdea482395ff4a25c75935e129Chris Lattner SubExprs[COND] = reinterpret_cast<Stmt*>(Cond); 771af458c9f658335bdea482395ff4a25c75935e129Chris Lattner SubExprs[INC] = reinterpret_cast<Stmt*>(Inc); 772af458c9f658335bdea482395ff4a25c75935e129Chris Lattner SubExprs[BODY] = Body; 773b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff ForLoc = FL; 774af458c9f658335bdea482395ff4a25c75935e129Chris Lattner } 7755f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 77667d8249924ef38a5375ff9c92cd21c1854d6ababDouglas Gregor /// \brief Build an empty for statement. 77767d8249924ef38a5375ff9c92cd21c1854d6ababDouglas Gregor explicit ForStmt(EmptyShell Empty) : Stmt(ForStmtClass, Empty) { } 77867d8249924ef38a5375ff9c92cd21c1854d6ababDouglas Gregor 7798297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt *getInit() { return SubExprs[INIT]; } 7808297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Expr *getCond() { return reinterpret_cast<Expr*>(SubExprs[COND]); } 7818297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Expr *getInc() { return reinterpret_cast<Expr*>(SubExprs[INC]); } 7828297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt *getBody() { return SubExprs[BODY]; } 7838297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 7848297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Stmt *getInit() const { return SubExprs[INIT]; } 7858297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Expr *getCond() const { return reinterpret_cast<Expr*>(SubExprs[COND]);} 7868297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Expr *getInc() const { return reinterpret_cast<Expr*>(SubExprs[INC]); } 7878297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Stmt *getBody() const { return SubExprs[BODY]; } 788b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 78967d8249924ef38a5375ff9c92cd21c1854d6ababDouglas Gregor void setInit(Stmt *S) { SubExprs[INIT] = S; } 79067d8249924ef38a5375ff9c92cd21c1854d6ababDouglas Gregor void setCond(Expr *E) { SubExprs[COND] = reinterpret_cast<Stmt*>(E); } 79167d8249924ef38a5375ff9c92cd21c1854d6ababDouglas Gregor void setInc(Expr *E) { SubExprs[INC] = reinterpret_cast<Stmt*>(E); } 79267d8249924ef38a5375ff9c92cd21c1854d6ababDouglas Gregor void setBody(Stmt *S) { SubExprs[BODY] = S; } 79367d8249924ef38a5375ff9c92cd21c1854d6ababDouglas Gregor 79467d8249924ef38a5375ff9c92cd21c1854d6ababDouglas Gregor SourceLocation getForLoc() const { return ForLoc; } 79567d8249924ef38a5375ff9c92cd21c1854d6ababDouglas Gregor void setForLoc(SourceLocation L) { ForLoc = L; } 79667d8249924ef38a5375ff9c92cd21c1854d6ababDouglas Gregor 797b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 798b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(ForLoc, SubExprs[BODY]->getLocEnd()); 799b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 8005f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 8015f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == ForStmtClass; 8025f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 8035f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const ForStmt *) { return true; } 8048297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 8058297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 8068297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 8078297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 80807ba046c7d7bbc1f42b86b3ed012eec8fc7849daTed Kremenek 809ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 810e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static ForStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 8115f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 8120196cab54007ff072ec2642da8911c6b7e8d3fb5Fariborz Jahanian 8135f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// GotoStmt - This represents a direct goto. 8145f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 8155f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass GotoStmt : public Stmt { 8165f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer LabelStmt *Label; 817507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff SourceLocation GotoLoc; 81861f62165220e75694fe333179c78815e2e48d71fTed Kremenek SourceLocation LabelLoc; 8195f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 82061f62165220e75694fe333179c78815e2e48d71fTed Kremenek GotoStmt(LabelStmt *label, SourceLocation GL, SourceLocation LL) 82161f62165220e75694fe333179c78815e2e48d71fTed Kremenek : Stmt(GotoStmtClass), Label(label), GotoLoc(GL), LabelLoc(LL) {} 8225f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 8231de05feeeafe5b215fe7617594a7076a5192a6e2Douglas Gregor /// \brief Build an empty goto statement. 8241de05feeeafe5b215fe7617594a7076a5192a6e2Douglas Gregor explicit GotoStmt(EmptyShell Empty) : Stmt(GotoStmtClass, Empty) { } 8251de05feeeafe5b215fe7617594a7076a5192a6e2Douglas Gregor 8265f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer LabelStmt *getLabel() const { return Label; } 8271de05feeeafe5b215fe7617594a7076a5192a6e2Douglas Gregor void setLabel(LabelStmt *S) { Label = S; } 8281de05feeeafe5b215fe7617594a7076a5192a6e2Douglas Gregor 8291de05feeeafe5b215fe7617594a7076a5192a6e2Douglas Gregor SourceLocation getGotoLoc() const { return GotoLoc; } 8301de05feeeafe5b215fe7617594a7076a5192a6e2Douglas Gregor void setGotoLoc(SourceLocation L) { GotoLoc = L; } 8311de05feeeafe5b215fe7617594a7076a5192a6e2Douglas Gregor SourceLocation getLabelLoc() const { return LabelLoc; } 8321de05feeeafe5b215fe7617594a7076a5192a6e2Douglas Gregor void setLabelLoc(SourceLocation L) { LabelLoc = L; } 833b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 834507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff virtual SourceRange getSourceRange() const { 83561f62165220e75694fe333179c78815e2e48d71fTed Kremenek return SourceRange(GotoLoc, LabelLoc); 836507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff } 8375f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 8385f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == GotoStmtClass; 8395f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 8405f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const GotoStmt *) { return true; } 8418297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 8428297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 8438297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 8448297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 8453f0767b74b16b37bcce60ff457609161a0665784Ted Kremenek 846ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 847e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static GotoStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 8485f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 8495f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 8505f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// IndirectGotoStmt - This represents an indirect goto. 8515f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 8525f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass IndirectGotoStmt : public Stmt { 853ad56d684259f706b7c0ae5ad9c23adb4f2926817Chris Lattner SourceLocation GotoLoc; 8541060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek Stmt *Target; 8555f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 856ad56d684259f706b7c0ae5ad9c23adb4f2926817Chris Lattner IndirectGotoStmt(SourceLocation gotoLoc, Expr *target) 857ad56d684259f706b7c0ae5ad9c23adb4f2926817Chris Lattner : Stmt(IndirectGotoStmtClass), GotoLoc(gotoLoc), Target((Stmt*)target) {} 8587d5c2f241c74e5f8d9ec492e8f9f268e5e9ae41fDouglas Gregor 8597d5c2f241c74e5f8d9ec492e8f9f268e5e9ae41fDouglas Gregor /// \brief Build an empty indirect goto statement. 8607d5c2f241c74e5f8d9ec492e8f9f268e5e9ae41fDouglas Gregor explicit IndirectGotoStmt(EmptyShell Empty) 8617d5c2f241c74e5f8d9ec492e8f9f268e5e9ae41fDouglas Gregor : Stmt(IndirectGotoStmtClass, Empty) { } 8625f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 863ad56d684259f706b7c0ae5ad9c23adb4f2926817Chris Lattner void setGotoLoc(SourceLocation L) { GotoLoc = L; } 864ad56d684259f706b7c0ae5ad9c23adb4f2926817Chris Lattner SourceLocation getGotoLoc() const { return GotoLoc; } 865ad56d684259f706b7c0ae5ad9c23adb4f2926817Chris Lattner 8661060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek Expr *getTarget(); 8671060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek const Expr *getTarget() const; 8687d5c2f241c74e5f8d9ec492e8f9f268e5e9ae41fDouglas Gregor void setTarget(Expr *E) { Target = reinterpret_cast<Stmt*>(E); } 869b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 870ad56d684259f706b7c0ae5ad9c23adb4f2926817Chris Lattner virtual SourceRange getSourceRange() const { 871ad56d684259f706b7c0ae5ad9c23adb4f2926817Chris Lattner return SourceRange(GotoLoc, Target->getLocEnd()); 872ad56d684259f706b7c0ae5ad9c23adb4f2926817Chris Lattner } 8735f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 8745f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 8755f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == IndirectGotoStmtClass; 8765f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 8775f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const IndirectGotoStmt *) { return true; } 8788297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 8798297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 8808297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 8818297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 882225a2d946f73aed3b38f265fcb4e7d7d88136928Ted Kremenek 883ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 884e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static IndirectGotoStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 8855f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 8865f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 8875f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 8885f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// ContinueStmt - This represents a continue. 8895f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 8905f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass ContinueStmt : public Stmt { 891507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff SourceLocation ContinueLoc; 8925f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 893507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff ContinueStmt(SourceLocation CL) : Stmt(ContinueStmtClass), ContinueLoc(CL) {} 894b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 895d921cf976b4769af8d06d6763a2547dadf7940abDouglas Gregor /// \brief Build an empty continue statement. 896d921cf976b4769af8d06d6763a2547dadf7940abDouglas Gregor explicit ContinueStmt(EmptyShell Empty) : Stmt(ContinueStmtClass, Empty) { } 897d921cf976b4769af8d06d6763a2547dadf7940abDouglas Gregor 898d921cf976b4769af8d06d6763a2547dadf7940abDouglas Gregor SourceLocation getContinueLoc() const { return ContinueLoc; } 899d921cf976b4769af8d06d6763a2547dadf7940abDouglas Gregor void setContinueLoc(SourceLocation L) { ContinueLoc = L; } 900d921cf976b4769af8d06d6763a2547dadf7940abDouglas Gregor 901507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff virtual SourceRange getSourceRange() const { 902507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff return SourceRange(ContinueLoc); 903507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff } 9045f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 9055f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == ContinueStmtClass; 9065f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 9075f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const ContinueStmt *) { return true; } 9088297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 9098297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 9108297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 9118297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 91296f22423c52c22d263b4e5f7ee762122b607459eTed Kremenek 913ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 914e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static ContinueStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 9155f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 9165f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 9175f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// BreakStmt - This represents a break. 9185f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 9195f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass BreakStmt : public Stmt { 920507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff SourceLocation BreakLoc; 9215f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 922507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff BreakStmt(SourceLocation BL) : Stmt(BreakStmtClass), BreakLoc(BL) {} 923b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 924025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor /// \brief Build an empty break statement. 925025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor explicit BreakStmt(EmptyShell Empty) : Stmt(BreakStmtClass, Empty) { } 926025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor 927025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor SourceLocation getBreakLoc() const { return BreakLoc; } 928025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor void setBreakLoc(SourceLocation L) { BreakLoc = L; } 929025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor 930507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff virtual SourceRange getSourceRange() const { return SourceRange(BreakLoc); } 931b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 9325f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 9335f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == BreakStmtClass; 9345f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 9355f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const BreakStmt *) { return true; } 9368297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 9378297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 9388297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 9398297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 9409eea2ca5f2cb5d77569274702b5b06273e426dc2Ted Kremenek 941ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 942e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static BreakStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 9435f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 9445f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 9455f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 946c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner/// ReturnStmt - This represents a return, optionally of an expression: 947c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner/// return; 948c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner/// return 4; 949c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner/// 950c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner/// Note that GCC allows return with no argument in a function declared to 951c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner/// return a value, and it allows returning a value in functions declared to 952c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner/// return void. We explicitly model this in the AST, which means you can't 953c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner/// depend on the return type of the function and the presence of an argument. 9545f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 9555f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass ReturnStmt : public Stmt { 9561060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek Stmt *RetExpr; 957507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff SourceLocation RetLoc; 9585f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 959507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff ReturnStmt(SourceLocation RL, Expr *E = 0) : Stmt(ReturnStmtClass), 9601060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek RetExpr((Stmt*) E), RetLoc(RL) {} 9610de9d8857b715c2f45c987651f4ce06d73330d93Douglas Gregor 9620de9d8857b715c2f45c987651f4ce06d73330d93Douglas Gregor /// \brief Build an empty return expression. 9630de9d8857b715c2f45c987651f4ce06d73330d93Douglas Gregor explicit ReturnStmt(EmptyShell Empty) : Stmt(ReturnStmtClass, Empty) { } 9640de9d8857b715c2f45c987651f4ce06d73330d93Douglas Gregor 9651060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek const Expr *getRetValue() const; 9661060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek Expr *getRetValue(); 9670de9d8857b715c2f45c987651f4ce06d73330d93Douglas Gregor void setRetValue(Expr *E) { RetExpr = reinterpret_cast<Stmt*>(E); } 9680de9d8857b715c2f45c987651f4ce06d73330d93Douglas Gregor 9690de9d8857b715c2f45c987651f4ce06d73330d93Douglas Gregor SourceLocation getReturnLoc() const { return RetLoc; } 9700de9d8857b715c2f45c987651f4ce06d73330d93Douglas Gregor void setReturnLoc(SourceLocation L) { RetLoc = L; } 971b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 972507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff virtual SourceRange getSourceRange() const; 9735f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 9745f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 9755f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == ReturnStmtClass; 9765f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 9775f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const ReturnStmt *) { return true; } 9788297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 9798297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 9808297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 9818297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 9822dc9ac73a8a34cabf261a81a1653d7379065ac61Ted Kremenek 983ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 984e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static ReturnStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 9855f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 9865f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 987fe795956194141c91ae555985c9b930595bff43fChris Lattner/// AsmStmt - This represents a GNU inline-assembly statement extension. 988fe795956194141c91ae555985c9b930595bff43fChris Lattner/// 989fe795956194141c91ae555985c9b930595bff43fChris Lattnerclass AsmStmt : public Stmt { 990fe795956194141c91ae555985c9b930595bff43fChris Lattner SourceLocation AsmLoc, RParenLoc; 9916a0ef4b83c91a6d6d5acb4ed5577c4659fe022a3Anders Carlsson StringLiteral *AsmStr; 992b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson 993dfab34a696d1dba8622248c31aaf605906cb6109Anders Carlsson bool IsSimple; 99439c47b56f45437bbc49c9568b7308a400234a730Anders Carlsson bool IsVolatile; 99539c47b56f45437bbc49c9568b7308a400234a730Anders Carlsson 996b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson unsigned NumOutputs; 997b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson unsigned NumInputs; 998b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson 999b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson llvm::SmallVector<std::string, 4> Names; 1000b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson llvm::SmallVector<StringLiteral*, 4> Constraints; 1001ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek llvm::SmallVector<Stmt*, 4> Exprs; 1002b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson 1003b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson llvm::SmallVector<StringLiteral*, 4> Clobbers; 1004fe795956194141c91ae555985c9b930595bff43fChris Lattnerpublic: 1005dfab34a696d1dba8622248c31aaf605906cb6109Anders Carlsson AsmStmt(SourceLocation asmloc, bool issimple, bool isvolatile, 1006dfab34a696d1dba8622248c31aaf605906cb6109Anders Carlsson unsigned numoutputs, unsigned numinputs, 1007dfab34a696d1dba8622248c31aaf605906cb6109Anders Carlsson std::string *names, StringLiteral **constraints, 1008db6ed1786bf460e1143f67d14bf2d71ad9856f81Chris Lattner Expr **exprs, StringLiteral *asmstr, unsigned numclobbers, 1009db6ed1786bf460e1143f67d14bf2d71ad9856f81Chris Lattner StringLiteral **clobbers, SourceLocation rparenloc); 1010b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson 1011cd7d5a9dc558178ed7a66032f888781b3c592e4fDouglas Gregor /// \brief Build an empty inline-assembly statement. 1012cd7d5a9dc558178ed7a66032f888781b3c592e4fDouglas Gregor explicit AsmStmt(EmptyShell Empty) : Stmt(AsmStmtClass, Empty) { } 1013cd7d5a9dc558178ed7a66032f888781b3c592e4fDouglas Gregor 1014cd7d5a9dc558178ed7a66032f888781b3c592e4fDouglas Gregor SourceLocation getAsmLoc() const { return AsmLoc; } 1015cd7d5a9dc558178ed7a66032f888781b3c592e4fDouglas Gregor void setAsmLoc(SourceLocation L) { AsmLoc = L; } 1016cd7d5a9dc558178ed7a66032f888781b3c592e4fDouglas Gregor SourceLocation getRParenLoc() const { return RParenLoc; } 1017cd7d5a9dc558178ed7a66032f888781b3c592e4fDouglas Gregor void setRParenLoc(SourceLocation L) { RParenLoc = L; } 1018cd7d5a9dc558178ed7a66032f888781b3c592e4fDouglas Gregor 101939c47b56f45437bbc49c9568b7308a400234a730Anders Carlsson bool isVolatile() const { return IsVolatile; } 1020cd7d5a9dc558178ed7a66032f888781b3c592e4fDouglas Gregor void setVolatile(bool V) { IsVolatile = V; } 1021dfab34a696d1dba8622248c31aaf605906cb6109Anders Carlsson bool isSimple() const { return IsSimple; } 1022cd7d5a9dc558178ed7a66032f888781b3c592e4fDouglas Gregor void setSimple(bool V) { IsSimple = false; } 1023dfab34a696d1dba8622248c31aaf605906cb6109Anders Carlsson 1024458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner //===--- Asm String Analysis ---===// 1025458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner 1026458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner const StringLiteral *getAsmString() const { return AsmStr; } 1027458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner StringLiteral *getAsmString() { return AsmStr; } 1028cd7d5a9dc558178ed7a66032f888781b3c592e4fDouglas Gregor void setAsmString(StringLiteral *E) { AsmStr = E; } 1029cd7d5a9dc558178ed7a66032f888781b3c592e4fDouglas Gregor 1030458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner /// AsmStringPiece - this is part of a decomposed asm string specification 1031458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner /// (for use with the AnalyzeAsmString function below). An asm string is 1032458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner /// considered to be a concatenation of these parts. 1033458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner class AsmStringPiece { 1034458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner public: 1035458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner enum Kind { 1036458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner String, // String in .ll asm string form, "$" -> "$$" and "%%" -> "%". 1037458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner Operand // Operand reference, with optional modifier %c4. 1038458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner }; 1039458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner private: 1040458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner Kind MyKind; 1041458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner std::string Str; 1042458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner unsigned OperandNo; 1043458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner public: 1044458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner AsmStringPiece(const std::string &S) : MyKind(String), Str(S) {} 1045458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner AsmStringPiece(unsigned OpNo, char Modifier) 1046458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner : MyKind(Operand), Str(), OperandNo(OpNo) { 1047458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner Str += Modifier; 1048458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner } 1049458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner 1050458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner bool isString() const { return MyKind == String; } 1051458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner bool isOperand() const { return MyKind == Operand; } 1052458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner 1053458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner const std::string &getString() const { 1054458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner assert(isString()); 1055458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner return Str; 1056458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner } 1057458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner 1058458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner unsigned getOperandNo() const { 1059458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner assert(isOperand()); 1060458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner return OperandNo; 1061458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner } 1062458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner 1063458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner /// getModifier - Get the modifier for this operand, if present. This 1064458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner /// returns '\0' if there was no modifier. 1065458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner char getModifier() const { 1066458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner assert(isOperand()); 1067458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner return Str[0]; 1068458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner } 1069458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner }; 1070458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner 1071458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner /// AnalyzeAsmString - Analyze the asm string of the current asm, decomposing 1072458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner /// it into pieces. If the asm string is erroneous, emit errors and return 1073458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner /// true, otherwise return false. This handles canonicalization and 1074458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner /// translation of strings from GCC syntax to LLVM IR syntax, and handles 1075458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner //// flattening of named references like %[foo] to Operand AsmStringPiece's. 1076fb5058ef67c054296c88db18ab1b3717845cb71dChris Lattner unsigned AnalyzeAsmString(llvm::SmallVectorImpl<AsmStringPiece> &Pieces, 1077fb5058ef67c054296c88db18ab1b3717845cb71dChris Lattner ASTContext &C, unsigned &DiagOffs) const; 1078458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner 1079458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner 1080b327793860737d1c103a73aeda8057dd628a101dChris Lattner //===--- Output operands ---===// 1081b327793860737d1c103a73aeda8057dd628a101dChris Lattner 1082b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson unsigned getNumOutputs() const { return NumOutputs; } 1083ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek 1084ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek const std::string &getOutputName(unsigned i) const { 1085ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek return Names[i]; 1086ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek } 1087ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek 1088b327793860737d1c103a73aeda8057dd628a101dChris Lattner /// getOutputConstraint - Return the constraint string for the specified 1089b327793860737d1c103a73aeda8057dd628a101dChris Lattner /// output operand. All output constraints are known to be non-empty (either 1090b327793860737d1c103a73aeda8057dd628a101dChris Lattner /// '=' or '+'). 1091b327793860737d1c103a73aeda8057dd628a101dChris Lattner std::string getOutputConstraint(unsigned i) const; 1092b327793860737d1c103a73aeda8057dd628a101dChris Lattner 1093b327793860737d1c103a73aeda8057dd628a101dChris Lattner const StringLiteral *getOutputConstraintLiteral(unsigned i) const { 1094ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek return Constraints[i]; 1095ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek } 1096b327793860737d1c103a73aeda8057dd628a101dChris Lattner StringLiteral *getOutputConstraintLiteral(unsigned i) { 1097b327793860737d1c103a73aeda8057dd628a101dChris Lattner return Constraints[i]; 1098b327793860737d1c103a73aeda8057dd628a101dChris Lattner } 1099b327793860737d1c103a73aeda8057dd628a101dChris Lattner 1100b327793860737d1c103a73aeda8057dd628a101dChris Lattner 1101ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek Expr *getOutputExpr(unsigned i); 1102b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson 1103b327793860737d1c103a73aeda8057dd628a101dChris Lattner const Expr *getOutputExpr(unsigned i) const { 1104b327793860737d1c103a73aeda8057dd628a101dChris Lattner return const_cast<AsmStmt*>(this)->getOutputExpr(i); 1105b327793860737d1c103a73aeda8057dd628a101dChris Lattner } 1106b327793860737d1c103a73aeda8057dd628a101dChris Lattner 1107b327793860737d1c103a73aeda8057dd628a101dChris Lattner /// isOutputPlusConstraint - Return true if the specified output constraint 1108b327793860737d1c103a73aeda8057dd628a101dChris Lattner /// is a "+" constraint (which is both an input and an output) or false if it 1109b327793860737d1c103a73aeda8057dd628a101dChris Lattner /// is an "=" constraint (just an output). 1110b327793860737d1c103a73aeda8057dd628a101dChris Lattner bool isOutputPlusConstraint(unsigned i) const { 1111b327793860737d1c103a73aeda8057dd628a101dChris Lattner return getOutputConstraint(i)[0] == '+'; 1112b327793860737d1c103a73aeda8057dd628a101dChris Lattner } 1113b327793860737d1c103a73aeda8057dd628a101dChris Lattner 111485759278332404e96d4bb89d0e976e46158cd026Chris Lattner /// getNumPlusOperands - Return the number of output operands that have a "+" 111585759278332404e96d4bb89d0e976e46158cd026Chris Lattner /// constraint. 111685759278332404e96d4bb89d0e976e46158cd026Chris Lattner unsigned getNumPlusOperands() const; 111785759278332404e96d4bb89d0e976e46158cd026Chris Lattner 1118b327793860737d1c103a73aeda8057dd628a101dChris Lattner //===--- Input operands ---===// 1119b327793860737d1c103a73aeda8057dd628a101dChris Lattner 1120b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson unsigned getNumInputs() const { return NumInputs; } 1121ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek 1122ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek const std::string &getInputName(unsigned i) const { 1123ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek return Names[i + NumOutputs]; 1124ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek } 1125b327793860737d1c103a73aeda8057dd628a101dChris Lattner 1126b327793860737d1c103a73aeda8057dd628a101dChris Lattner /// getInputConstraint - Return the specified input constraint. Unlike output 1127b327793860737d1c103a73aeda8057dd628a101dChris Lattner /// constraints, these can be empty. 1128b327793860737d1c103a73aeda8057dd628a101dChris Lattner std::string getInputConstraint(unsigned i) const; 1129b327793860737d1c103a73aeda8057dd628a101dChris Lattner 1130b327793860737d1c103a73aeda8057dd628a101dChris Lattner const StringLiteral *getInputConstraintLiteral(unsigned i) const { 1131ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek return Constraints[i + NumOutputs]; 1132ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek } 1133b327793860737d1c103a73aeda8057dd628a101dChris Lattner StringLiteral *getInputConstraintLiteral(unsigned i) { 1134ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek return Constraints[i + NumOutputs]; 1135ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek } 1136b327793860737d1c103a73aeda8057dd628a101dChris Lattner 1137b327793860737d1c103a73aeda8057dd628a101dChris Lattner 1138ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek Expr *getInputExpr(unsigned i); 1139b327793860737d1c103a73aeda8057dd628a101dChris Lattner 1140b327793860737d1c103a73aeda8057dd628a101dChris Lattner const Expr *getInputExpr(unsigned i) const { 1141b327793860737d1c103a73aeda8057dd628a101dChris Lattner return const_cast<AsmStmt*>(this)->getInputExpr(i); 1142b327793860737d1c103a73aeda8057dd628a101dChris Lattner } 1143cd7d5a9dc558178ed7a66032f888781b3c592e4fDouglas Gregor 1144cd7d5a9dc558178ed7a66032f888781b3c592e4fDouglas Gregor void setOutputsAndInputs(unsigned NumOutputs, 1145cd7d5a9dc558178ed7a66032f888781b3c592e4fDouglas Gregor unsigned NumInputs, 1146cd7d5a9dc558178ed7a66032f888781b3c592e4fDouglas Gregor const std::string *Names, 1147cd7d5a9dc558178ed7a66032f888781b3c592e4fDouglas Gregor StringLiteral **Constraints, 1148cd7d5a9dc558178ed7a66032f888781b3c592e4fDouglas Gregor Stmt **Exprs); 1149cd7d5a9dc558178ed7a66032f888781b3c592e4fDouglas Gregor 115010ca96ae9aed6906c3302403ef1a146a8d4c6b74Chris Lattner //===--- Other ---===// 115110ca96ae9aed6906c3302403ef1a146a8d4c6b74Chris Lattner 115210ca96ae9aed6906c3302403ef1a146a8d4c6b74Chris Lattner /// getNamedOperand - Given a symbolic operand reference like %[foo], 115310ca96ae9aed6906c3302403ef1a146a8d4c6b74Chris Lattner /// translate this into a numeric value needed to reference the same operand. 115410ca96ae9aed6906c3302403ef1a146a8d4c6b74Chris Lattner /// This returns -1 if the operand name is invalid. 115510ca96ae9aed6906c3302403ef1a146a8d4c6b74Chris Lattner int getNamedOperand(const std::string &SymbolicName) const; 115610ca96ae9aed6906c3302403ef1a146a8d4c6b74Chris Lattner 115710ca96ae9aed6906c3302403ef1a146a8d4c6b74Chris Lattner 1158d04c6e23f2e10eeb9936778d67f4a1c4a14cc4f6Anders Carlsson 1159b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson unsigned getNumClobbers() const { return Clobbers.size(); } 1160b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson StringLiteral *getClobber(unsigned i) { return Clobbers[i]; } 1161d04c6e23f2e10eeb9936778d67f4a1c4a14cc4f6Anders Carlsson const StringLiteral *getClobber(unsigned i) const { return Clobbers[i]; } 1162cd7d5a9dc558178ed7a66032f888781b3c592e4fDouglas Gregor void setClobbers(StringLiteral **Clobbers, unsigned NumClobbers); 1163cd7d5a9dc558178ed7a66032f888781b3c592e4fDouglas Gregor 1164fe795956194141c91ae555985c9b930595bff43fChris Lattner virtual SourceRange getSourceRange() const { 1165fe795956194141c91ae555985c9b930595bff43fChris Lattner return SourceRange(AsmLoc, RParenLoc); 1166fe795956194141c91ae555985c9b930595bff43fChris Lattner } 1167fe795956194141c91ae555985c9b930595bff43fChris Lattner 1168fe795956194141c91ae555985c9b930595bff43fChris Lattner static bool classof(const Stmt *T) {return T->getStmtClass() == AsmStmtClass;} 1169fe795956194141c91ae555985c9b930595bff43fChris Lattner static bool classof(const AsmStmt *) { return true; } 1170fe795956194141c91ae555985c9b930595bff43fChris Lattner 1171ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek // Input expr iterators. 1172ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek 1173ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek typedef ExprIterator inputs_iterator; 1174ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek typedef ConstExprIterator const_inputs_iterator; 1175ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek 1176ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek inputs_iterator begin_inputs() { 1177ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek return &Exprs[0] + NumOutputs; 1178ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek } 1179ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek 1180ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek inputs_iterator end_inputs() { 1181ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek return &Exprs[0] + NumOutputs + NumInputs; 1182ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek } 1183ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek 1184ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek const_inputs_iterator begin_inputs() const { 1185ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek return &Exprs[0] + NumOutputs; 1186ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek } 1187ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek 1188ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek const_inputs_iterator end_inputs() const { 1189ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek return &Exprs[0] + NumOutputs + NumInputs;} 1190ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek 1191ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek // Output expr iterators. 1192ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek 1193ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek typedef ExprIterator outputs_iterator; 1194ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek typedef ConstExprIterator const_outputs_iterator; 1195ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek 1196ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek outputs_iterator begin_outputs() { return &Exprs[0]; } 1197ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek outputs_iterator end_outputs() { return &Exprs[0] + NumOutputs; } 1198ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek 1199ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek const_outputs_iterator begin_outputs() const { return &Exprs[0]; } 1200ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek const_outputs_iterator end_outputs() const { return &Exprs[0] + NumOutputs; } 1201ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek 120245b050e72d058131e6f169fe54888bb91a003fb5Anders Carlsson // Input name iterator. 120345b050e72d058131e6f169fe54888bb91a003fb5Anders Carlsson 120445b050e72d058131e6f169fe54888bb91a003fb5Anders Carlsson const std::string *begin_output_names() const { 120545b050e72d058131e6f169fe54888bb91a003fb5Anders Carlsson return &Names[0]; 120645b050e72d058131e6f169fe54888bb91a003fb5Anders Carlsson } 120745b050e72d058131e6f169fe54888bb91a003fb5Anders Carlsson 120845b050e72d058131e6f169fe54888bb91a003fb5Anders Carlsson const std::string *end_output_names() const { 120945b050e72d058131e6f169fe54888bb91a003fb5Anders Carlsson return &Names[0] + NumOutputs; 121045b050e72d058131e6f169fe54888bb91a003fb5Anders Carlsson } 121145b050e72d058131e6f169fe54888bb91a003fb5Anders Carlsson 1212ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek // Child iterators 1213ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek 1214fe795956194141c91ae555985c9b930595bff43fChris Lattner virtual child_iterator child_begin(); 1215fe795956194141c91ae555985c9b930595bff43fChris Lattner virtual child_iterator child_end(); 12161f85acd5ff54345788b93111197088160fe9f06eTed Kremenek 12171f85acd5ff54345788b93111197088160fe9f06eTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 1218e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static AsmStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 1219fe795956194141c91ae555985c9b930595bff43fChris Lattner}; 122078492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek 122178492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek/// ObjCForCollectionStmt - This represents Objective-c's collection statement; 122278492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek/// represented as 'for (element 'in' collection-expression)' stmt. 122378492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek/// 122478492dae00fb85e0da0f966df4745edafdafb66cTed Kremenekclass ObjCForCollectionStmt : public Stmt { 122578492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek enum { ELEM, COLLECTION, BODY, END_EXPR }; 122678492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek Stmt* SubExprs[END_EXPR]; // SubExprs[ELEM] is an expression or declstmt. 122778492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek SourceLocation ForLoc; 122878492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek SourceLocation RParenLoc; 122978492dae00fb85e0da0f966df4745edafdafb66cTed Kremenekpublic: 123078492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek ObjCForCollectionStmt(Stmt *Elem, Expr *Collect, Stmt *Body, 123178492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek SourceLocation FCL, SourceLocation RPL); 123278492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek 123378492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek Stmt *getElement() { return SubExprs[ELEM]; } 123478492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek Expr *getCollection() { 123578492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek return reinterpret_cast<Expr*>(SubExprs[COLLECTION]); 123678492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek } 123778492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek Stmt *getBody() { return SubExprs[BODY]; } 123878492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek 123978492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek const Stmt *getElement() const { return SubExprs[ELEM]; } 124078492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek const Expr *getCollection() const { 124178492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek return reinterpret_cast<Expr*>(SubExprs[COLLECTION]); 124278492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek } 124378492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek const Stmt *getBody() const { return SubExprs[BODY]; } 124478492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek 124578492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek SourceLocation getRParenLoc() const { return RParenLoc; } 124678492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek 124778492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek virtual SourceRange getSourceRange() const { 124878492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek return SourceRange(ForLoc, SubExprs[BODY]->getLocEnd()); 124978492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek } 125078492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek static bool classof(const Stmt *T) { 125178492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek return T->getStmtClass() == ObjCForCollectionStmtClass; 125278492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek } 125378492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek static bool classof(const ObjCForCollectionStmt *) { return true; } 125478492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek 125578492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek // Iterators 125678492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek virtual child_iterator child_begin(); 125778492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek virtual child_iterator child_end(); 125878492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek 125978492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 1260e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static ObjCForCollectionStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 126178492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek}; 1262b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 1263a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek/// ObjCAtCatchStmt - This represents objective-c's @catch statement. 1264a526c5c67e5a0473c340903ee542ce570119665fTed Kremenekclass ObjCAtCatchStmt : public Stmt { 1265b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanianprivate: 12667ba138abd329e591a8f6d5001f60dd7082f71b3bSteve Naroff enum { BODY, NEXT_CATCH, END_EXPR }; 12677ba138abd329e591a8f6d5001f60dd7082f71b3bSteve Naroff ParmVarDecl *ExceptionDecl; 12683b1191d7eaf2f4984564e01ab84b6713a9d80e70Fariborz Jahanian Stmt *SubExprs[END_EXPR]; 1269b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian SourceLocation AtCatchLoc, RParenLoc; 1270af526779b36f43f59e47cfc5b10bb0c48562f4a9Ted Kremenek 1271af526779b36f43f59e47cfc5b10bb0c48562f4a9Ted Kremenek // Used by deserialization. 1272a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek ObjCAtCatchStmt(SourceLocation atCatchLoc, SourceLocation rparenloc) 1273a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek : Stmt(ObjCAtCatchStmtClass), AtCatchLoc(atCatchLoc), RParenLoc(rparenloc) {} 1274af526779b36f43f59e47cfc5b10bb0c48562f4a9Ted Kremenek 1275b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanianpublic: 1276a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek ObjCAtCatchStmt(SourceLocation atCatchLoc, SourceLocation rparenloc, 12777ba138abd329e591a8f6d5001f60dd7082f71b3bSteve Naroff ParmVarDecl *catchVarDecl, 127893b2bdb866d49e3dab4623a822db281042e87382Daniel Dunbar Stmt *atCatchStmt, Stmt *atCatchList); 1279b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 1280606efdfeb9eef70871eb62a26dfd115e209e899cFariborz Jahanian const Stmt *getCatchBody() const { return SubExprs[BODY]; } 1281606efdfeb9eef70871eb62a26dfd115e209e899cFariborz Jahanian Stmt *getCatchBody() { return SubExprs[BODY]; } 1282ff981021554a4965943ca2d19019cea811614602Ted Kremenek 1283ff981021554a4965943ca2d19019cea811614602Ted Kremenek const ObjCAtCatchStmt *getNextCatchStmt() const { 1284ff981021554a4965943ca2d19019cea811614602Ted Kremenek return static_cast<const ObjCAtCatchStmt*>(SubExprs[NEXT_CATCH]); 1285ff981021554a4965943ca2d19019cea811614602Ted Kremenek } 1286ff981021554a4965943ca2d19019cea811614602Ted Kremenek ObjCAtCatchStmt *getNextCatchStmt() { 1287ff981021554a4965943ca2d19019cea811614602Ted Kremenek return static_cast<ObjCAtCatchStmt*>(SubExprs[NEXT_CATCH]); 1288ff981021554a4965943ca2d19019cea811614602Ted Kremenek } 1289ff981021554a4965943ca2d19019cea811614602Ted Kremenek 12907ba138abd329e591a8f6d5001f60dd7082f71b3bSteve Naroff const ParmVarDecl *getCatchParamDecl() const { 12917ba138abd329e591a8f6d5001f60dd7082f71b3bSteve Naroff return ExceptionDecl; 12927ba138abd329e591a8f6d5001f60dd7082f71b3bSteve Naroff } 12937ba138abd329e591a8f6d5001f60dd7082f71b3bSteve Naroff ParmVarDecl *getCatchParamDecl() { 12947ba138abd329e591a8f6d5001f60dd7082f71b3bSteve Naroff return ExceptionDecl; 129593b2bdb866d49e3dab4623a822db281042e87382Daniel Dunbar } 12967794cb85d394750db0631c02b7aa7837ae56764cFariborz Jahanian 129707e775d5a1d5262a9cfe1ff333af713535b8cbabChris Lattner SourceLocation getAtCatchLoc() const { return AtCatchLoc; } 12987573098b83e780d1c5bea13b384b610d8f155676Steve Naroff SourceLocation getRParenLoc() const { return RParenLoc; } 12997573098b83e780d1c5bea13b384b610d8f155676Steve Naroff 1300b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian virtual SourceRange getSourceRange() const { 13013b1191d7eaf2f4984564e01ab84b6713a9d80e70Fariborz Jahanian return SourceRange(AtCatchLoc, SubExprs[BODY]->getLocEnd()); 1302b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian } 1303be4b3332c2d17c03af6d015d9e8e2cc524806e6eSteve Naroff 13047ba138abd329e591a8f6d5001f60dd7082f71b3bSteve Naroff bool hasEllipsis() const { return getCatchParamDecl() == 0; } 1305be4b3332c2d17c03af6d015d9e8e2cc524806e6eSteve Naroff 1306b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian static bool classof(const Stmt *T) { 1307a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek return T->getStmtClass() == ObjCAtCatchStmtClass; 1308b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian } 1309a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek static bool classof(const ObjCAtCatchStmt *) { return true; } 1310b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 1311b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian virtual child_iterator child_begin(); 1312b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian virtual child_iterator child_end(); 1313af526779b36f43f59e47cfc5b10bb0c48562f4a9Ted Kremenek 1314af526779b36f43f59e47cfc5b10bb0c48562f4a9Ted Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 1315e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static ObjCAtCatchStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 1316b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian}; 1317b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 1318a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek/// ObjCAtFinallyStmt - This represent objective-c's @finally Statement 1319a526c5c67e5a0473c340903ee542ce570119665fTed Kremenekclass ObjCAtFinallyStmt : public Stmt { 132004be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek Stmt *AtFinallyStmt; 132104be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek SourceLocation AtFinallyLoc; 132204be5aae2dc17292e2007401599638f3c6ba30deTed Kremenekpublic: 1323a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek ObjCAtFinallyStmt(SourceLocation atFinallyLoc, Stmt *atFinallyStmt) 1324a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek : Stmt(ObjCAtFinallyStmtClass), 132504be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek AtFinallyStmt(atFinallyStmt), AtFinallyLoc(atFinallyLoc) {} 13267794cb85d394750db0631c02b7aa7837ae56764cFariborz Jahanian 132707e775d5a1d5262a9cfe1ff333af713535b8cbabChris Lattner const Stmt *getFinallyBody() const { return AtFinallyStmt; } 132807e775d5a1d5262a9cfe1ff333af713535b8cbabChris Lattner Stmt *getFinallyBody() { return AtFinallyStmt; } 132904be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek 133004be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek virtual SourceRange getSourceRange() const { 133104be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek return SourceRange(AtFinallyLoc, AtFinallyStmt->getLocEnd()); 133204be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek } 133304be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek 133407e775d5a1d5262a9cfe1ff333af713535b8cbabChris Lattner SourceLocation getAtFinallyLoc() const { return AtFinallyLoc; } 133507e775d5a1d5262a9cfe1ff333af713535b8cbabChris Lattner 133604be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek static bool classof(const Stmt *T) { 1337a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek return T->getStmtClass() == ObjCAtFinallyStmtClass; 133804be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek } 1339a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek static bool classof(const ObjCAtFinallyStmt *) { return true; } 134004be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek 134104be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek virtual child_iterator child_begin(); 134204be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek virtual child_iterator child_end(); 134304be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek 134404be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 1345e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static ObjCAtFinallyStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 1346b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian}; 1347b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 1348a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek/// ObjCAtTryStmt - This represent objective-c's over-all 1349b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian/// @try ... @catch ... @finally statement. 1350a526c5c67e5a0473c340903ee542ce570119665fTed Kremenekclass ObjCAtTryStmt : public Stmt { 1351b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanianprivate: 135289079eac7d6e3091b74b477a4a5ff0cdaf35496cFariborz Jahanian enum { TRY, CATCH, FINALLY, END_EXPR }; 135389079eac7d6e3091b74b477a4a5ff0cdaf35496cFariborz Jahanian Stmt* SubStmts[END_EXPR]; 1354b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 13559c1efff14b0e001f73c875ed5b184fb3569d641dTed Kremenek SourceLocation AtTryLoc; 1356b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanianpublic: 1357a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek ObjCAtTryStmt(SourceLocation atTryLoc, Stmt *atTryStmt, 1358bd49a647afd9cc534fef13cadf652d4e9c396e2bFariborz Jahanian Stmt *atCatchStmt, 1359bd49a647afd9cc534fef13cadf652d4e9c396e2bFariborz Jahanian Stmt *atFinallyStmt) 1360a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek : Stmt(ObjCAtTryStmtClass) { 1361b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian SubStmts[TRY] = atTryStmt; 1362b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian SubStmts[CATCH] = atCatchStmt; 1363b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian SubStmts[FINALLY] = atFinallyStmt; 1364ccdbc5c6f14965d91a352d114c109a9d4d9552b8Steve Naroff AtTryLoc = atTryLoc; 1365b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian } 1366b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 13678f4e18fce5ef11a4e1bcb9dd7adcd2e20a21ef0aChris Lattner SourceLocation getAtTryLoc() const { return AtTryLoc; } 13688aab17e82aab6b3f266ef1884253226d2cb8b8d8Fariborz Jahanian const Stmt *getTryBody() const { return SubStmts[TRY]; } 13698aab17e82aab6b3f266ef1884253226d2cb8b8d8Fariborz Jahanian Stmt *getTryBody() { return SubStmts[TRY]; } 1370a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek const ObjCAtCatchStmt *getCatchStmts() const { 1371a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek return dyn_cast_or_null<ObjCAtCatchStmt>(SubStmts[CATCH]); 13727573098b83e780d1c5bea13b384b610d8f155676Steve Naroff } 1373a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek ObjCAtCatchStmt *getCatchStmts() { 1374a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek return dyn_cast_or_null<ObjCAtCatchStmt>(SubStmts[CATCH]); 13757573098b83e780d1c5bea13b384b610d8f155676Steve Naroff } 1376a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek const ObjCAtFinallyStmt *getFinallyStmt() const { 1377a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek return dyn_cast_or_null<ObjCAtFinallyStmt>(SubStmts[FINALLY]); 13787573098b83e780d1c5bea13b384b610d8f155676Steve Naroff } 1379a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek ObjCAtFinallyStmt *getFinallyStmt() { 1380a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek return dyn_cast_or_null<ObjCAtFinallyStmt>(SubStmts[FINALLY]); 13817573098b83e780d1c5bea13b384b610d8f155676Steve Naroff } 1382b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian virtual SourceRange getSourceRange() const { 1383b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian return SourceRange(AtTryLoc, SubStmts[TRY]->getLocEnd()); 1384b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian } 1385b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 1386b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian static bool classof(const Stmt *T) { 1387a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek return T->getStmtClass() == ObjCAtTryStmtClass; 1388b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian } 1389a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek static bool classof(const ObjCAtTryStmt *) { return true; } 1390b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 1391b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian virtual child_iterator child_begin(); 1392b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian virtual child_iterator child_end(); 13939c1efff14b0e001f73c875ed5b184fb3569d641dTed Kremenek 13949c1efff14b0e001f73c875ed5b184fb3569d641dTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 1395e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static ObjCAtTryStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 1396b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian}; 1397fe795956194141c91ae555985c9b930595bff43fChris Lattner 1398c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian/// ObjCAtSynchronizedStmt - This is for objective-c's @synchronized statement. 139978a677bbb5fa115fa0995b5783adeeefad67167eFariborz Jahanian/// Example: @synchronized (sem) { 1400bd144b7ac70cc96cb1ff822347c2bb9b330729ecFariborz Jahanian/// do-something; 140178a677bbb5fa115fa0995b5783adeeefad67167eFariborz Jahanian/// } 1402c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian/// 1403c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanianclass ObjCAtSynchronizedStmt : public Stmt { 1404c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanianprivate: 1405a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian enum { SYNC_EXPR, SYNC_BODY, END_EXPR }; 1406a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian Stmt* SubStmts[END_EXPR]; 1407c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian SourceLocation AtSynchronizedLoc; 1408c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian 1409c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanianpublic: 1410a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian ObjCAtSynchronizedStmt(SourceLocation atSynchronizedLoc, Stmt *synchExpr, 1411c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian Stmt *synchBody) 1412a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian : Stmt(ObjCAtSynchronizedStmtClass) { 1413a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian SubStmts[SYNC_EXPR] = synchExpr; 1414a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian SubStmts[SYNC_BODY] = synchBody; 1415a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian AtSynchronizedLoc = atSynchronizedLoc; 1416a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian } 1417c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian 141878a677bbb5fa115fa0995b5783adeeefad67167eFariborz Jahanian const CompoundStmt *getSynchBody() const { 141978a677bbb5fa115fa0995b5783adeeefad67167eFariborz Jahanian return reinterpret_cast<CompoundStmt*>(SubStmts[SYNC_BODY]); 142078a677bbb5fa115fa0995b5783adeeefad67167eFariborz Jahanian } 142178a677bbb5fa115fa0995b5783adeeefad67167eFariborz Jahanian CompoundStmt *getSynchBody() { 142278a677bbb5fa115fa0995b5783adeeefad67167eFariborz Jahanian return reinterpret_cast<CompoundStmt*>(SubStmts[SYNC_BODY]); 142378a677bbb5fa115fa0995b5783adeeefad67167eFariborz Jahanian } 1424c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian 1425a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian const Expr *getSynchExpr() const { 1426a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian return reinterpret_cast<Expr*>(SubStmts[SYNC_EXPR]); 1427a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian } 1428a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian Expr *getSynchExpr() { 1429a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian return reinterpret_cast<Expr*>(SubStmts[SYNC_EXPR]); 1430a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian } 1431c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian 1432c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian virtual SourceRange getSourceRange() const { 1433a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian return SourceRange(AtSynchronizedLoc, getSynchBody()->getLocEnd()); 1434c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian } 1435c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian 1436c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian static bool classof(const Stmt *T) { 1437c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian return T->getStmtClass() == ObjCAtSynchronizedStmtClass; 1438c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian } 1439c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian static bool classof(const ObjCAtSynchronizedStmt *) { return true; } 1440c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian 1441fa3ee8e6776634caf064ba5928ca7699d317a280Fariborz Jahanian virtual child_iterator child_begin(); 1442fa3ee8e6776634caf064ba5928ca7699d317a280Fariborz Jahanian virtual child_iterator child_end(); 1443fa3ee8e6776634caf064ba5928ca7699d317a280Fariborz Jahanian 1444c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian virtual void EmitImpl(llvm::Serializer& S) const; 1445e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static ObjCAtSynchronizedStmt* CreateImpl(llvm::Deserializer& D, 1446e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop ASTContext& C); 1447c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian}; 1448c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian 1449a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek/// ObjCAtThrowStmt - This represents objective-c's @throw statement. 1450a526c5c67e5a0473c340903ee542ce570119665fTed Kremenekclass ObjCAtThrowStmt : public Stmt { 145139f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian Stmt *Throw; 145239f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian SourceLocation AtThrowLoc; 145339f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanianpublic: 1454a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek ObjCAtThrowStmt(SourceLocation atThrowLoc, Stmt *throwExpr) 1455a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek : Stmt(ObjCAtThrowStmtClass), Throw(throwExpr) { 145639f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian AtThrowLoc = atThrowLoc; 145739f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian } 145839f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian 1459e0def7589a8afa8a6acef13476bb3f882c104b91Chris Lattner const Expr *getThrowExpr() const { return reinterpret_cast<Expr*>(Throw); } 1460e0def7589a8afa8a6acef13476bb3f882c104b91Chris Lattner Expr *getThrowExpr() { return reinterpret_cast<Expr*>(Throw); } 146139f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian 146220ebf8f15df48f27ce2bf7c1b3ae87565235600fSteve Naroff virtual SourceRange getSourceRange() const { 146320ebf8f15df48f27ce2bf7c1b3ae87565235600fSteve Naroff if (Throw) 146420ebf8f15df48f27ce2bf7c1b3ae87565235600fSteve Naroff return SourceRange(AtThrowLoc, Throw->getLocEnd()); 1465db6ed1786bf460e1143f67d14bf2d71ad9856f81Chris Lattner else 1466db6ed1786bf460e1143f67d14bf2d71ad9856f81Chris Lattner return SourceRange(AtThrowLoc); 146739f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian } 146839f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian 146939f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian static bool classof(const Stmt *T) { 1470a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek return T->getStmtClass() == ObjCAtThrowStmtClass; 147139f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian } 1472a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek static bool classof(const ObjCAtThrowStmt *) { return true; } 147339f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian 147439f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian virtual child_iterator child_begin(); 147539f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian virtual child_iterator child_end(); 14765bdd4e300b432246b9d261702828e9875414128bTed Kremenek 14775bdd4e300b432246b9d261702828e9875414128bTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 1478e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static ObjCAtThrowStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 147939f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian}; 148039f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian 14814b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl/// CXXCatchStmt - This represents a C++ catch block. 14824b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redlclass CXXCatchStmt : public Stmt { 14834b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl SourceLocation CatchLoc; 14844b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl /// The exception-declaration of the type. 14854b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl Decl *ExceptionDecl; 14864b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl /// The handler block. 14874b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl Stmt *HandlerBlock; 14884b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl 14894b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redlpublic: 14904b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl CXXCatchStmt(SourceLocation catchLoc, Decl *exDecl, Stmt *handlerBlock) 14914b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl : Stmt(CXXCatchStmtClass), CatchLoc(catchLoc), ExceptionDecl(exDecl), 14924b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl HandlerBlock(handlerBlock) {} 14934b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl 14944b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl virtual void Destroy(ASTContext& Ctx); 14954b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl 14964b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl virtual SourceRange getSourceRange() const { 14974b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl return SourceRange(CatchLoc, HandlerBlock->getLocEnd()); 14984b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl } 14994b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl 15004b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl Decl *getExceptionDecl() { return ExceptionDecl; } 15014b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl QualType getCaughtType(); 15024b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl Stmt *getHandlerBlock() { return HandlerBlock; } 15034b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl 15044b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl static bool classof(const Stmt *T) { 15054b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl return T->getStmtClass() == CXXCatchStmtClass; 15064b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl } 15074b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl static bool classof(const CXXCatchStmt *) { return true; } 15084b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl 15094b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl virtual child_iterator child_begin(); 15104b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl virtual child_iterator child_end(); 15114b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl 15124b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl virtual void EmitImpl(llvm::Serializer& S) const; 15134b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl static CXXCatchStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 15144b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl}; 15154b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl 15168351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl/// CXXTryStmt - A C++ try block, including all handlers. 15178351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redlclass CXXTryStmt : public Stmt { 15188351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl SourceLocation TryLoc; 15198351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl // First place is the guarded CompoundStatement. Subsequent are the handlers. 15208351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl // More than three handlers should be rare. 15218351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl llvm::SmallVector<Stmt*, 4> Stmts; 15228351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl 15238351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redlpublic: 15248351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl CXXTryStmt(SourceLocation tryLoc, Stmt *tryBlock, 15258351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl Stmt **handlers, unsigned numHandlers); 15268351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl 15278351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl virtual SourceRange getSourceRange() const { 15288351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl return SourceRange(TryLoc, Stmts.back()->getLocEnd()); 15298351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl } 15308351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl 15318351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl CompoundStmt *getTryBlock() { return llvm::cast<CompoundStmt>(Stmts[0]); } 15328351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl const CompoundStmt *getTryBlock() const { 15338351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl return llvm::cast<CompoundStmt>(Stmts[0]); 15348351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl } 15358351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl 15368351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl unsigned getNumHandlers() const { return Stmts.size() - 1; } 15378351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl CXXCatchStmt *getHandler(unsigned i) { 15388351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl return llvm::cast<CXXCatchStmt>(Stmts[i + 1]); 15398351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl } 15408351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl const CXXCatchStmt *getHandler(unsigned i) const { 15418351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl return llvm::cast<CXXCatchStmt>(Stmts[i + 1]); 15428351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl } 15438351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl 15448351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl static bool classof(const Stmt *T) { 15458351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl return T->getStmtClass() == CXXTryStmtClass; 15468351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl } 15478351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl static bool classof(const CXXTryStmt *) { return true; } 15488351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl 15498351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl virtual child_iterator child_begin(); 15508351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl virtual child_iterator child_end(); 15518351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl 15528351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl virtual void EmitImpl(llvm::Serializer& S) const; 15538351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl static CXXTryStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 15548351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl}; 15558351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl 15565f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer} // end namespace clang 15575f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 15585f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#endif 1559