Stmt.h revision b327793860737d1c103a73aeda8057dd628a101d
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> 275f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 287573098b83e780d1c5bea13b384b610d8f155676Steve Naroffusing llvm::dyn_cast_or_null; 297573098b83e780d1c5bea13b384b610d8f155676Steve Naroff 305f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencernamespace clang { 31e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop class ASTContext; 325f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer class Expr; 335f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer class Decl; 347ba138abd329e591a8f6d5001f60dd7082f71b3bSteve Naroff class ParmVarDecl; 354b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl class QualType; 365f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer class IdentifierInfo; 370c727a35718556866a978f64ac549d9798735f08Chris Lattner class SourceManager; 386a0ef4b83c91a6d6d5acb4ed5577c4659fe022a3Anders Carlsson class StringLiteral; 396c36be5b383875b490684bcf439d6d427298c1afChris Lattner class SwitchStmt; 4042a509f6a4f71bb805cc4abbb26722a34dffdddeTed Kremenek class PrinterHelper; 41ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek 42ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek //===----------------------------------------------------------------------===// 43ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek // ExprIterator - Iterators for iterating over Stmt* arrays that contain 44ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek // only Expr*. This is needed because AST nodes use Stmt* arrays to store 45ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek // references to children (to be compatible with StmtIterator). 46ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek //===----------------------------------------------------------------------===// 47ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek 48ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek class Stmt; 49ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek class Expr; 50ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek 51ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek class ExprIterator { 52ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek Stmt** I; 53ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek public: 54ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek ExprIterator(Stmt** i) : I(i) {} 55ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek ExprIterator() : I(0) {} 56ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek ExprIterator& operator++() { ++I; return *this; } 57ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek ExprIterator operator-(size_t i) { return I-i; } 58ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek ExprIterator operator+(size_t i) { return I+i; } 59ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek Expr* operator[](size_t idx); 60ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek // FIXME: Verify that this will correctly return a signed distance. 61ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek signed operator-(const ExprIterator& R) const { return I - R.I; } 62ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek Expr* operator*() const; 63ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek Expr* operator->() const; 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 bool operator>=(const ExprIterator& R) const { return I >= R.I; } 68ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek }; 69ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek 70ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek class ConstExprIterator { 71ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek Stmt* const * I; 72ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek public: 73ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek ConstExprIterator(Stmt* const* i) : I(i) {} 74ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek ConstExprIterator() : I(0) {} 75ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek ConstExprIterator& operator++() { ++I; return *this; } 76ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek ConstExprIterator operator+(size_t i) { return I+i; } 77ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek ConstExprIterator operator-(size_t i) { return I-i; } 78ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek const Expr * operator[](size_t idx) const; 79ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek signed operator-(const ConstExprIterator& R) const { return I - R.I; } 80ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek const Expr * operator*() const; 81ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek const Expr * operator->() const; 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 bool operator>=(const ConstExprIterator& R) const { return I >= R.I; } 86ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek }; 87ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek 88ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek//===----------------------------------------------------------------------===// 89ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek// AST classes for statements. 90ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek//===----------------------------------------------------------------------===// 91ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek 925f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// Stmt - This represents one statement. 935f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 945f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass Stmt { 955f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 965f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer enum StmtClass { 97f2cad8633e46cce12fc3d77c0bd451ffd7264bafDouglas Gregor NoStmtClass = 0, 98f2cad8633e46cce12fc3d77c0bd451ffd7264bafDouglas Gregor#define STMT(CLASS, PARENT) CLASS##Class, 99f2cad8633e46cce12fc3d77c0bd451ffd7264bafDouglas Gregor#define FIRST_STMT(CLASS) firstStmtConstant = CLASS##Class, 100f2cad8633e46cce12fc3d77c0bd451ffd7264bafDouglas Gregor#define LAST_STMT(CLASS) lastStmtConstant = CLASS##Class, 101f2cad8633e46cce12fc3d77c0bd451ffd7264bafDouglas Gregor#define FIRST_EXPR(CLASS) firstExprConstant = CLASS##Class, 102f2cad8633e46cce12fc3d77c0bd451ffd7264bafDouglas Gregor#define LAST_EXPR(CLASS) lastExprConstant = CLASS##Class 1035f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#include "clang/AST/StmtNodes.def" 1045f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 1055f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerprivate: 1065f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer const StmtClass sClass; 1078189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek 1088189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek // Make vanilla 'new' and 'delete' illegal for Stmts. 1098189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenekprotected: 1108189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek void* operator new(size_t bytes) throw() { 1118189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek assert(0 && "Stmts cannot be allocated with regular 'new'."); 1128189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek return 0; 1138189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek } 1148189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek void operator delete(void* data) throw() { 1158189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek assert(0 && "Stmts cannot be released with regular 'delete'."); 1168189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek } 1178189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek 1188189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenekpublic: 1198189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek // Only allow allocation of Stmts using the allocator in ASTContext 1208189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek // or by doing a placement new. 1218189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek void* operator new(size_t bytes, ASTContext& C, 1228189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek unsigned alignment = 16) throw() { 1238189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek return ::operator new(bytes, C, alignment); 1248189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek } 1258189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek 1268189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek void* operator new(size_t bytes, ASTContext* C, 1278189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek unsigned alignment = 16) throw() { 1288189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek return ::operator new(bytes, *C, alignment); 1298189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek } 1308189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek 1318189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek void* operator new(size_t bytes, void* mem) throw() { 1328189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek return mem; 1338189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek } 134e2dedf8f61b8f306f704781456b482eb61871e8eDouglas Gregor 135e2dedf8f61b8f306f704781456b482eb61871e8eDouglas Gregor void operator delete(void*, ASTContext& C) throw() { } 136e2dedf8f61b8f306f704781456b482eb61871e8eDouglas Gregor void operator delete(void*, ASTContext& C, unsigned alignment) throw() { } 137e2dedf8f61b8f306f704781456b482eb61871e8eDouglas Gregor void operator delete(void*, std::size_t) throw() { } 138e2dedf8f61b8f306f704781456b482eb61871e8eDouglas Gregor 1399c1863ef36a74e8203f00289d19856ad956f48b9Ted Kremenekprotected: 1409c1863ef36a74e8203f00289d19856ad956f48b9Ted Kremenek /// DestroyChildren - Invoked by destructors of subclasses of Stmt to 1419c1863ef36a74e8203f00289d19856ad956f48b9Ted Kremenek /// recursively release child AST nodes. 14227f8a28bee33bb0e857cfe1a61c281bbc234b338Ted Kremenek void DestroyChildren(ASTContext& Ctx); 1439c1863ef36a74e8203f00289d19856ad956f48b9Ted Kremenek 1445f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 1455f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Stmt(StmtClass SC) : sClass(SC) { 1465f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer if (Stmt::CollectingStats()) Stmt::addStmtClass(SC); 1475f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 1485f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer virtual ~Stmt() {} 14927f8a28bee33bb0e857cfe1a61c281bbc234b338Ted Kremenek 15024e1e707b4c362f18e371e2bbf054a8345b57bfaChris Lattner virtual void Destroy(ASTContext &Ctx); 1515f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1525f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer StmtClass getStmtClass() const { return sClass; } 1535f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer const char *getStmtClassName() const; 154b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 155b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff /// SourceLocation tokens are not useful in isolation - they are low level 156b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff /// value objects created/interpreted by SourceManager. We assume AST 157b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff /// clients will have a pointer to the respective SourceManager. 158b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const = 0; 159311ff02fae0392bee6abe7723cdf5a69b2899a47Chris Lattner SourceLocation getLocStart() const { return getSourceRange().getBegin(); } 160311ff02fae0392bee6abe7723cdf5a69b2899a47Chris Lattner SourceLocation getLocEnd() const { return getSourceRange().getEnd(); } 1615f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1625f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // global temp stats (until we have a per-module visitor) 1635f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static void addStmtClass(const StmtClass s); 1645f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool CollectingStats(bool enable=false); 1655f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static void PrintStats(); 1666000dace22f110d8768476989313e9d981d690d0Chris Lattner 1676000dace22f110d8768476989313e9d981d690d0Chris Lattner /// dump - This does a local dump of the specified AST fragment. It dumps the 1686000dace22f110d8768476989313e9d981d690d0Chris Lattner /// specified node and a few nodes underneath it, but not the whole subtree. 1696000dace22f110d8768476989313e9d981d690d0Chris Lattner /// This is useful in a debugger. 1705f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void dump() const; 171e300c870f08d08badf2ebcb53ded49f304af37fcChris Lattner void dump(SourceManager &SM) const; 1726000dace22f110d8768476989313e9d981d690d0Chris Lattner 1736000dace22f110d8768476989313e9d981d690d0Chris Lattner /// dumpAll - This does a dump of the specified AST fragment and all subtrees. 1746000dace22f110d8768476989313e9d981d690d0Chris Lattner void dumpAll() const; 175e300c870f08d08badf2ebcb53ded49f304af37fcChris Lattner void dumpAll(SourceManager &SM) const; 1766000dace22f110d8768476989313e9d981d690d0Chris Lattner 1776000dace22f110d8768476989313e9d981d690d0Chris Lattner /// dumpPretty/printPretty - These two methods do a "pretty print" of the AST 1786000dace22f110d8768476989313e9d981d690d0Chris Lattner /// back to its original source language syntax. 1796000dace22f110d8768476989313e9d981d690d0Chris Lattner void dumpPretty() const; 180071e4da10b07ca5278a7ce9dcabd853e0d57e5a4Mike Stump void printPretty(llvm::raw_ostream &OS, PrinterHelper* = NULL, unsigned = 0, 181071e4da10b07ca5278a7ce9dcabd853e0d57e5a4Mike Stump bool NoIndent=false) const; 1825f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 183d2a4a1af1088fca80e2dc76eb3369db0fbbfdefdTed Kremenek /// viewAST - Visualize an AST rooted at this Stmt* using GraphViz. Only 184d2a4a1af1088fca80e2dc76eb3369db0fbbfdefdTed Kremenek /// works on systems with GraphViz (Mac OS X) or dot+gv installed. 185d2a4a1af1088fca80e2dc76eb3369db0fbbfdefdTed Kremenek void viewAST() const; 186d2a4a1af1088fca80e2dc76eb3369db0fbbfdefdTed Kremenek 1875f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // Implement isa<T> support. 1888297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek static bool classof(const Stmt *) { return true; } 18977ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek 190d48ade633d96b94cb435d73e2c935ea457152decTed Kremenek /// hasImplicitControlFlow - Some statements (e.g. short circuited operations) 191d48ade633d96b94cb435d73e2c935ea457152decTed Kremenek /// contain implicit control-flow in the order their subexpressions 192d48ade633d96b94cb435d73e2c935ea457152decTed Kremenek /// are evaluated. This predicate returns true if this statement has 193d48ade633d96b94cb435d73e2c935ea457152decTed Kremenek /// such implicit control-flow. Such statements are also specially handled 194d48ade633d96b94cb435d73e2c935ea457152decTed Kremenek /// within CFGs. 195d48ade633d96b94cb435d73e2c935ea457152decTed Kremenek bool hasImplicitControlFlow() const; 196d48ade633d96b94cb435d73e2c935ea457152decTed Kremenek 19777ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek /// Child Iterators: All subclasses must implement child_begin and child_end 19877ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek /// to permit easy iteration over the substatements/subexpessions of an 19977ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek /// AST node. This permits easy iteration over all nodes in the AST. 2009caf8b1ca6beb254f420dada3c0e94d5ef027f58Ted Kremenek typedef StmtIterator child_iterator; 2019caf8b1ca6beb254f420dada3c0e94d5ef027f58Ted Kremenek typedef ConstStmtIterator const_child_iterator; 20277ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek 2038297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin() = 0; 2048297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end() = 0; 20577ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek 20677ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek const_child_iterator child_begin() const { 2079caf8b1ca6beb254f420dada3c0e94d5ef027f58Ted Kremenek return const_child_iterator(const_cast<Stmt*>(this)->child_begin()); 20877ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek } 20977ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek 21077ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek const_child_iterator child_end() const { 2119caf8b1ca6beb254f420dada3c0e94d5ef027f58Ted Kremenek return const_child_iterator(const_cast<Stmt*>(this)->child_end()); 21277ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek } 2132dc9ac73a8a34cabf261a81a1653d7379065ac61Ted Kremenek 2142dc9ac73a8a34cabf261a81a1653d7379065ac61Ted Kremenek void Emit(llvm::Serializer& S) const; 215e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static Stmt* Create(llvm::Deserializer& D, ASTContext& C); 216e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop 217ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const { 2182dc9ac73a8a34cabf261a81a1653d7379065ac61Ted Kremenek // This method will eventually be a pure-virtual function. 2192dc9ac73a8a34cabf261a81a1653d7379065ac61Ted Kremenek assert (false && "Not implemented."); 2202dc9ac73a8a34cabf261a81a1653d7379065ac61Ted Kremenek } 2215f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 2225f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 2235f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// DeclStmt - Adaptor class for mixing declarations with statements and 2245f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// expressions. For example, CompoundStmt mixes statements, expressions 2255f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// and declarations (variables, types). Another example is ForStmt, where 2265f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// the first statement can be an expression or a declaration. 2275f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 2285f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass DeclStmt : public Stmt { 22965aa3b9fda7b2114f708014e3d42176abc0e39abTed Kremenekprotected: 2309653db7bd0e3665b955a0445859285f2e1e7dacdDouglas Gregor DeclGroupRef DG; 23181c018d9482e7cc2addadc6202dcf162a01faefdChris Lattner SourceLocation StartLoc, EndLoc; 2325f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 2339653db7bd0e3665b955a0445859285f2e1e7dacdDouglas Gregor DeclStmt(DeclGroupRef dg, SourceLocation startLoc, 2348ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek SourceLocation endLoc) : Stmt(DeclStmtClass), DG(dg), 2358ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek StartLoc(startLoc), EndLoc(endLoc) {} 2365f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 2378e355f296a3ba45b94de49dbb18ae6a6e67df04cTed Kremenek virtual void Destroy(ASTContext& Ctx); 2388e355f296a3ba45b94de49dbb18ae6a6e67df04cTed Kremenek 23965aa3b9fda7b2114f708014e3d42176abc0e39abTed Kremenek // hasSolitaryDecl - This method returns true if this DeclStmt refers 24065aa3b9fda7b2114f708014e3d42176abc0e39abTed Kremenek // to a single Decl. 2418ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek bool hasSolitaryDecl() const { 2428ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek return DG.hasSolitaryDecl(); 2438ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek } 244655137a6c19110620d82d5f03cdcaec3a48c059fTed Kremenek 2454afa39deaa245592977136d367251ee2c173dd8dDouglas Gregor const Decl* getSolitaryDecl() const { 24665aa3b9fda7b2114f708014e3d42176abc0e39abTed Kremenek assert (hasSolitaryDecl() && 24765aa3b9fda7b2114f708014e3d42176abc0e39abTed Kremenek "Caller assumes this DeclStmt points to one Decl*"); 248d311f376c364e5a6c88b63b1d5c53f560ea5e650Argyrios Kyrtzidis return *DG.begin(); 24965aa3b9fda7b2114f708014e3d42176abc0e39abTed Kremenek } 25065aa3b9fda7b2114f708014e3d42176abc0e39abTed Kremenek 2514afa39deaa245592977136d367251ee2c173dd8dDouglas Gregor Decl* getSolitaryDecl() { 25265aa3b9fda7b2114f708014e3d42176abc0e39abTed Kremenek assert (hasSolitaryDecl() && 25365aa3b9fda7b2114f708014e3d42176abc0e39abTed Kremenek "Caller assumes this DeclStmt points to one Decl*"); 254d311f376c364e5a6c88b63b1d5c53f560ea5e650Argyrios Kyrtzidis return *DG.begin(); 25565aa3b9fda7b2114f708014e3d42176abc0e39abTed Kremenek } 256b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 25781c018d9482e7cc2addadc6202dcf162a01faefdChris Lattner SourceLocation getStartLoc() const { return StartLoc; } 25881c018d9482e7cc2addadc6202dcf162a01faefdChris Lattner SourceLocation getEndLoc() const { return EndLoc; } 2598ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek 2608ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek SourceRange getSourceRange() const { 26181c018d9482e7cc2addadc6202dcf162a01faefdChris Lattner return SourceRange(StartLoc, EndLoc); 26281c018d9482e7cc2addadc6202dcf162a01faefdChris Lattner } 2635f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 2645f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 2655f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == DeclStmtClass; 2665f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 2675f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const DeclStmt *) { return true; } 2688297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 26914f8b4ff660bcaa763974b8d0fae81857c594495Ted Kremenek // Iterators over subexpressions. 2708297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 2718297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 2720965f446e7685dc01fc0b5e718610530eed3cc63Ted Kremenek 27314f8b4ff660bcaa763974b8d0fae81857c594495Ted Kremenek class decl_iterator { 2748ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek DeclGroupRef::iterator I; 27514f8b4ff660bcaa763974b8d0fae81857c594495Ted Kremenek public: 2768ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek decl_iterator(DeclGroupRef::iterator i) : I(i) {} 2778ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek decl_iterator& operator++() { ++I; return *this; } 2788ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek bool operator==(const decl_iterator& R) const { 2798ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek return R.I == I; 2808ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek } 2818ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek bool operator!=(const decl_iterator& R) const { 2828ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek return R.I != I; 2838ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek } 2844afa39deaa245592977136d367251ee2c173dd8dDouglas Gregor Decl* operator*() const { 285d311f376c364e5a6c88b63b1d5c53f560ea5e650Argyrios Kyrtzidis return *I; 2868ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek } 28714f8b4ff660bcaa763974b8d0fae81857c594495Ted Kremenek }; 2888ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek 2898a0d2660b6890ed95d34f37d142c0c52ac490194Ted Kremenek class const_decl_iterator { 2908ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek DeclGroupRef::const_iterator I; 2918a0d2660b6890ed95d34f37d142c0c52ac490194Ted Kremenek public: 2928ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek const_decl_iterator(DeclGroupRef::const_iterator i) : I(i) {} 2938ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek const_decl_iterator& operator++() { ++I; return *this; } 2948ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek bool operator==(const const_decl_iterator& R) const { 2958ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek return R.I == I; 2968a0d2660b6890ed95d34f37d142c0c52ac490194Ted Kremenek } 2978ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek bool operator!=(const const_decl_iterator& R) const { 2988ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek return R.I != I; 2998a0d2660b6890ed95d34f37d142c0c52ac490194Ted Kremenek } 3004afa39deaa245592977136d367251ee2c173dd8dDouglas Gregor Decl* operator*() const { 301d311f376c364e5a6c88b63b1d5c53f560ea5e650Argyrios Kyrtzidis return *I; 3028a0d2660b6890ed95d34f37d142c0c52ac490194Ted Kremenek } 3038a0d2660b6890ed95d34f37d142c0c52ac490194Ted Kremenek }; 3048a0d2660b6890ed95d34f37d142c0c52ac490194Ted Kremenek 3058ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek decl_iterator decl_begin() { return DG.begin(); } 3068ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek decl_iterator decl_end() { return DG.end(); } 3078ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek const_decl_iterator decl_begin() const { return DG.begin(); } 3088ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek const_decl_iterator decl_end() const { return DG.end(); } 3098a0d2660b6890ed95d34f37d142c0c52ac490194Ted Kremenek 31014f8b4ff660bcaa763974b8d0fae81857c594495Ted Kremenek // Serialization. 311ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 312e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static DeclStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 3135f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 3145f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3155f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// NullStmt - This is the null statement ";": C99 6.8.3p3. 3165f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 3175f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass NullStmt : public Stmt { 3185f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation SemiLoc; 3195f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 3205f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer NullStmt(SourceLocation L) : Stmt(NullStmtClass), SemiLoc(L) {} 3215f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3225f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation getSemiLoc() const { return SemiLoc; } 323b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 324507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff virtual SourceRange getSourceRange() const { return SourceRange(SemiLoc); } 3255f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3265f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 3275f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == NullStmtClass; 3285f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 3295f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const NullStmt *) { return true; } 3308297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 3318297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 3328297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 3338297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 3344927be6102784fc69c50234f7e2253283b3e99e4Ted Kremenek 335ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 336e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static NullStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 3375f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 3385f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3395f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// CompoundStmt - This represents a group of statements like { stmt stmt }. 3405f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 3415f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass CompoundStmt : public Stmt { 3428189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek Stmt** Body; 3438189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek unsigned NumStmts; 344b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation LBracLoc, RBracLoc; 3455f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 3468189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek CompoundStmt(ASTContext& C, Stmt **StmtStart, unsigned numStmts, 3478189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek SourceLocation LB, SourceLocation RB) 3488189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek : Stmt(CompoundStmtClass), NumStmts(numStmts), LBracLoc(LB), RBracLoc(RB) { 349026dc96ac6ece60da5e1b98e2a71bd0ff0939fd8Chris Lattner if (NumStmts == 0) { 350026dc96ac6ece60da5e1b98e2a71bd0ff0939fd8Chris Lattner Body = 0; 351026dc96ac6ece60da5e1b98e2a71bd0ff0939fd8Chris Lattner return; 352026dc96ac6ece60da5e1b98e2a71bd0ff0939fd8Chris Lattner } 353026dc96ac6ece60da5e1b98e2a71bd0ff0939fd8Chris Lattner 354026dc96ac6ece60da5e1b98e2a71bd0ff0939fd8Chris Lattner Body = new (C) Stmt*[NumStmts]; 355026dc96ac6ece60da5e1b98e2a71bd0ff0939fd8Chris Lattner memcpy(Body, StmtStart, numStmts * sizeof(*Body)); 3568189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek } 3578189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek 3588189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek bool body_empty() const { return NumStmts == 0; } 3598189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek 3608189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek typedef Stmt** body_iterator; 3618189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek body_iterator body_begin() { return Body; } 3628189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek body_iterator body_end() { return Body + NumStmts; } 3638189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek Stmt *body_back() { return NumStmts ? Body[NumStmts-1] : 0; } 3645f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3658189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek typedef Stmt* const * const_body_iterator; 3668189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek const_body_iterator body_begin() const { return Body; } 3678189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek const_body_iterator body_end() const { return Body + NumStmts; } 3688189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek const Stmt *body_back() const { return NumStmts ? Body[NumStmts-1] : 0; } 3698189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek 3708189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek typedef std::reverse_iterator<body_iterator> reverse_body_iterator; 3718189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek reverse_body_iterator body_rbegin() { 3728189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek return reverse_body_iterator(body_end()); 3738189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek } 3748189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek reverse_body_iterator body_rend() { 3758189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek return reverse_body_iterator(body_begin()); 3768189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek } 3774ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek 3788189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek typedef std::reverse_iterator<const_body_iterator> 3798189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek const_reverse_body_iterator; 3804ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek 3818189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek const_reverse_body_iterator body_rbegin() const { 3828189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek return const_reverse_body_iterator(body_end()); 3838189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek } 384b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 3858189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek const_reverse_body_iterator body_rend() const { 3868189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek return const_reverse_body_iterator(body_begin()); 3878189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek } 3888189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek 389b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 390b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(LBracLoc, RBracLoc); 391b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 39254395d440dc82a5e51b945c6c2a7f4bc4bea0358Ted Kremenek 393cc326204dd97771c336b9aab3b9963ea30d69c29Ted Kremenek SourceLocation getLBracLoc() const { return LBracLoc; } 394cc326204dd97771c336b9aab3b9963ea30d69c29Ted Kremenek SourceLocation getRBracLoc() const { return RBracLoc; } 39554395d440dc82a5e51b945c6c2a7f4bc4bea0358Ted Kremenek 3965f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 3975f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == CompoundStmtClass; 3985f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 3995f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const CompoundStmt *) { return true; } 4008297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 4018297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 4028297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 4038297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 4042dc9ac73a8a34cabf261a81a1653d7379065ac61Ted Kremenek 405ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 406e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static CompoundStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 4075f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 4085f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 409c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson// SwitchCase is the base class for CaseStmt and DefaultStmt, 410c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlssonclass SwitchCase : public Stmt { 411103fc81f12aa635aa0a573c94b1aceb496b4e587Ted Kremenekprotected: 412c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson // A pointer to the following CaseStmt or DefaultStmt class, 413c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson // used by SwitchStmt. 414c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson SwitchCase *NextSwitchCase; 415103fc81f12aa635aa0a573c94b1aceb496b4e587Ted Kremenek 416d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek SwitchCase(StmtClass SC) : Stmt(SC), NextSwitchCase(0) {} 417c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson 418c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlssonpublic: 419c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson const SwitchCase *getNextSwitchCase() const { return NextSwitchCase; } 420c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson 421c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson SwitchCase *getNextSwitchCase() { return NextSwitchCase; } 422c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson 423c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson void setNextSwitchCase(SwitchCase *SC) { NextSwitchCase = SC; } 424d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek 425d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek Stmt *getSubStmt() { return v_getSubStmt(); } 426b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 427b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { return SourceRange(); } 428edcc752060be38bfa7e7b32691c0cc4d843622a8Ted Kremenek 429c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson static bool classof(const Stmt *T) { 430c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson return T->getStmtClass() == CaseStmtClass || 431c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson T->getStmtClass() == DefaultStmtClass; 432c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson } 433c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson static bool classof(const SwitchCase *) { return true; } 4343fb94a4918bd427fdb12df997dd87fd1017f0388Chris Lattnerprotected: 4353fb94a4918bd427fdb12df997dd87fd1017f0388Chris Lattner virtual Stmt* v_getSubStmt() = 0; 436c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson}; 437c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson 438c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlssonclass CaseStmt : public SwitchCase { 439d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek enum { SUBSTMT, LHS, RHS, END_EXPR }; 440d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek Stmt* SubExprs[END_EXPR]; // The expression for the RHS is Non-null for 441d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek // GNU "case 1 ... 4" extension 442b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation CaseLoc; 4433fb94a4918bd427fdb12df997dd87fd1017f0388Chris Lattner virtual Stmt* v_getSubStmt() { return getSubStmt(); } 4445f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 44524e1e707b4c362f18e371e2bbf054a8345b57bfaChris Lattner CaseStmt(Expr *lhs, Expr *rhs, SourceLocation caseLoc) 446d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek : SwitchCase(CaseStmtClass) { 44724e1e707b4c362f18e371e2bbf054a8345b57bfaChris Lattner SubExprs[SUBSTMT] = 0; 448d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek SubExprs[LHS] = reinterpret_cast<Stmt*>(lhs); 449d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek SubExprs[RHS] = reinterpret_cast<Stmt*>(rhs); 450b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff CaseLoc = caseLoc; 451d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek } 4525f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 453764a7ce5217f9569e100a3445f47496ee82daf86Chris Lattner SourceLocation getCaseLoc() const { return CaseLoc; } 454764a7ce5217f9569e100a3445f47496ee82daf86Chris Lattner 455d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek Expr *getLHS() { return reinterpret_cast<Expr*>(SubExprs[LHS]); } 456d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek Expr *getRHS() { return reinterpret_cast<Expr*>(SubExprs[RHS]); } 457d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek Stmt *getSubStmt() { return SubExprs[SUBSTMT]; } 45851b09f2c528c8460b5465c676173324e44176d62Devang Patel const Expr *getLHS() const { 45951b09f2c528c8460b5465c676173324e44176d62Devang Patel return reinterpret_cast<const Expr*>(SubExprs[LHS]); 46051b09f2c528c8460b5465c676173324e44176d62Devang Patel } 46151b09f2c528c8460b5465c676173324e44176d62Devang Patel const Expr *getRHS() const { 46251b09f2c528c8460b5465c676173324e44176d62Devang Patel return reinterpret_cast<const Expr*>(SubExprs[RHS]); 46351b09f2c528c8460b5465c676173324e44176d62Devang Patel } 46451b09f2c528c8460b5465c676173324e44176d62Devang Patel const Stmt *getSubStmt() const { return SubExprs[SUBSTMT]; } 4655f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 46620dabe8b8ff7ed6d2d0158fee43755a4bc7642c3Chris Lattner void setSubStmt(Stmt *S) { SubExprs[SUBSTMT] = S; } 46720dabe8b8ff7ed6d2d0158fee43755a4bc7642c3Chris Lattner void setLHS(Expr *Val) { SubExprs[LHS] = reinterpret_cast<Stmt*>(Val); } 46820dabe8b8ff7ed6d2d0158fee43755a4bc7642c3Chris Lattner void setRHS(Expr *Val) { SubExprs[RHS] = reinterpret_cast<Stmt*>(Val); } 46920dabe8b8ff7ed6d2d0158fee43755a4bc7642c3Chris Lattner 47020dabe8b8ff7ed6d2d0158fee43755a4bc7642c3Chris Lattner 4713fb94a4918bd427fdb12df997dd87fd1017f0388Chris Lattner virtual SourceRange getSourceRange() const { 4723fb94a4918bd427fdb12df997dd87fd1017f0388Chris Lattner // Handle deeply nested case statements with iteration instead of recursion. 4733fb94a4918bd427fdb12df997dd87fd1017f0388Chris Lattner const CaseStmt *CS = this; 47491ee0140ecb60b5c1402edc9e577257636c4ca60Chris Lattner while (const CaseStmt *CS2 = dyn_cast<CaseStmt>(CS->getSubStmt())) 4753fb94a4918bd427fdb12df997dd87fd1017f0388Chris Lattner CS = CS2; 4763fb94a4918bd427fdb12df997dd87fd1017f0388Chris Lattner 4773fb94a4918bd427fdb12df997dd87fd1017f0388Chris Lattner return SourceRange(CaseLoc, CS->getSubStmt()->getLocEnd()); 478b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 4795f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 4805f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == CaseStmtClass; 4815f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 4825f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const CaseStmt *) { return true; } 483d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek 484d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek // Iterators 485d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek virtual child_iterator child_begin(); 486d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek virtual child_iterator child_end(); 4879eea2ca5f2cb5d77569274702b5b06273e426dc2Ted Kremenek 488ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 489e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static CaseStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 4905f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 4915f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 492c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlssonclass DefaultStmt : public SwitchCase { 493d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek Stmt* SubStmt; 4946c36be5b383875b490684bcf439d6d427298c1afChris Lattner SourceLocation DefaultLoc; 4953fb94a4918bd427fdb12df997dd87fd1017f0388Chris Lattner virtual Stmt* v_getSubStmt() { return getSubStmt(); } 4965f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 497edcc752060be38bfa7e7b32691c0cc4d843622a8Ted Kremenek DefaultStmt(SourceLocation DL, Stmt *substmt) : 498d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek SwitchCase(DefaultStmtClass), SubStmt(substmt), DefaultLoc(DL) {} 499b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 500d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek Stmt *getSubStmt() { return SubStmt; } 50151b09f2c528c8460b5465c676173324e44176d62Devang Patel const Stmt *getSubStmt() const { return SubStmt; } 502d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek 5036c36be5b383875b490684bcf439d6d427298c1afChris Lattner SourceLocation getDefaultLoc() const { return DefaultLoc; } 5045f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 505b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 506b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(DefaultLoc, SubStmt->getLocEnd()); 507b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 5085f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 5095f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == DefaultStmtClass; 5105f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 5115f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const DefaultStmt *) { return true; } 512d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek 513d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek // Iterators 514d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek virtual child_iterator child_begin(); 515d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek virtual child_iterator child_end(); 5169eea2ca5f2cb5d77569274702b5b06273e426dc2Ted Kremenek 517ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 518e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static DefaultStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 5195f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 5205f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5215f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass LabelStmt : public Stmt { 5225f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer IdentifierInfo *Label; 5235f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Stmt *SubStmt; 524b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation IdentLoc; 5255f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 526b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff LabelStmt(SourceLocation IL, IdentifierInfo *label, Stmt *substmt) 527b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff : Stmt(LabelStmtClass), Label(label), 528b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SubStmt(substmt), IdentLoc(IL) {} 5295f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5305f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation getIdentLoc() const { return IdentLoc; } 5315f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer IdentifierInfo *getID() const { return Label; } 5325f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer const char *getName() const; 5335f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Stmt *getSubStmt() { return SubStmt; } 5345f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer const Stmt *getSubStmt() const { return SubStmt; } 5355f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5365f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void setIdentLoc(SourceLocation L) { IdentLoc = L; } 5375f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void setSubStmt(Stmt *SS) { SubStmt = SS; } 538b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 539b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 540b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(IdentLoc, SubStmt->getLocEnd()); 541b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 5425f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 5435f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == LabelStmtClass; 5445f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 5455f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const LabelStmt *) { return true; } 5468297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 5478297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 5488297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 5498297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 550b15132fda52046ba65eafd6f4b448f7aa16b7e8dTed Kremenek 551ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 552e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static LabelStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 5535f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 5545f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5555f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5565f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// IfStmt - This represents an if/then/else. 5575f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 5585f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass IfStmt : public Stmt { 5598297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek enum { COND, THEN, ELSE, END_EXPR }; 5608297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt* SubExprs[END_EXPR]; 561b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation IfLoc; 5625f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 563b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff IfStmt(SourceLocation IL, Expr *cond, Stmt *then, Stmt *elsev = 0) 564b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff : Stmt(IfStmtClass) { 5658297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[COND] = reinterpret_cast<Stmt*>(cond); 5668297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[THEN] = then; 5678297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[ELSE] = elsev; 568b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff IfLoc = IL; 5698297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek } 5705f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5718297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Expr *getCond() const { return reinterpret_cast<Expr*>(SubExprs[COND]);} 5728297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Stmt *getThen() const { return SubExprs[THEN]; } 5738297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Stmt *getElse() const { return SubExprs[ELSE]; } 5745f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5758297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Expr *getCond() { return reinterpret_cast<Expr*>(SubExprs[COND]); } 5768297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt *getThen() { return SubExprs[THEN]; } 5778297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt *getElse() { return SubExprs[ELSE]; } 578b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 579b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 580b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff if (SubExprs[ELSE]) 581b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(IfLoc, SubExprs[ELSE]->getLocEnd()); 582b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff else 583b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(IfLoc, SubExprs[THEN]->getLocEnd()); 584b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 5855f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5865f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 5875f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == IfStmtClass; 5885f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 5895f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const IfStmt *) { return true; } 5908297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 5918297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 5928297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 5938297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 5944210f3dfd73ad3482f9cfa0a382e1fd78f22976dTed Kremenek 595ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 596e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static IfStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 5975f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 5985f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5995f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// SwitchStmt - This represents a 'switch' stmt. 6005f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 6015f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass SwitchStmt : public Stmt { 6028297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek enum { COND, BODY, END_EXPR }; 6038297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt* SubExprs[END_EXPR]; 604c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson // This points to a linked list of case and default statements. 605c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson SwitchCase *FirstCase; 6069dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff SourceLocation SwitchLoc; 6075f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 6088297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SwitchStmt(Expr *cond) : Stmt(SwitchStmtClass), FirstCase(0) { 6098297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[COND] = reinterpret_cast<Stmt*>(cond); 6108297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[BODY] = NULL; 6118297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek } 6125f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6138297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Expr *getCond() const { return reinterpret_cast<Expr*>(SubExprs[COND]);} 6148297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Stmt *getBody() const { return SubExprs[BODY]; } 615c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson const SwitchCase *getSwitchCaseList() const { return FirstCase; } 616c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson 6178297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Expr *getCond() { return reinterpret_cast<Expr*>(SubExprs[COND]);} 6188297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt *getBody() { return SubExprs[BODY]; } 619c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson SwitchCase *getSwitchCaseList() { return FirstCase; } 620c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson 6219dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff void setBody(Stmt *S, SourceLocation SL) { 6229dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff SubExprs[BODY] = S; 6239dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff SwitchLoc = SL; 6249dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff } 625c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson void addSwitchCase(SwitchCase *SC) { 626c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson if (FirstCase) 627c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson SC->setNextSwitchCase(FirstCase); 628c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson 629c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson FirstCase = SC; 630c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson } 6319dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff virtual SourceRange getSourceRange() const { 6329dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff return SourceRange(SwitchLoc, SubExprs[BODY]->getLocEnd()); 6339dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff } 6345f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 6355f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == SwitchStmtClass; 6365f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 6375f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const SwitchStmt *) { return true; } 6388297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 6398297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 6408297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 6418297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 6429eea2ca5f2cb5d77569274702b5b06273e426dc2Ted Kremenek 643ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 644e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static SwitchStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 6455f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 6465f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6475f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6485f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// WhileStmt - This represents a 'while' stmt. 6495f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 6505f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass WhileStmt : public Stmt { 6518297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek enum { COND, BODY, END_EXPR }; 6528297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt* SubExprs[END_EXPR]; 653b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation WhileLoc; 6545f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 655b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff WhileStmt(Expr *cond, Stmt *body, SourceLocation WL) : Stmt(WhileStmtClass) { 6568297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[COND] = reinterpret_cast<Stmt*>(cond); 6578297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[BODY] = body; 658b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff WhileLoc = WL; 6598297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek } 6605f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6618297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Expr *getCond() { return reinterpret_cast<Expr*>(SubExprs[COND]); } 6628297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Expr *getCond() const { return reinterpret_cast<Expr*>(SubExprs[COND]);} 6638297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt *getBody() { return SubExprs[BODY]; } 6648297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Stmt *getBody() const { return SubExprs[BODY]; } 665b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 666b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 667b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(WhileLoc, SubExprs[BODY]->getLocEnd()); 668b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 6695f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 6705f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == WhileStmtClass; 6715f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 6725f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const WhileStmt *) { return true; } 6738297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 6748297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 6758297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 6768297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 6775572b94b76a78a35bac32d1ef04907c7a651adbaTed Kremenek 678ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 679e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static WhileStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 6805f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 6815f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6825f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// DoStmt - This represents a 'do/while' stmt. 6835f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 6845f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass DoStmt : public Stmt { 6858297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek enum { COND, BODY, END_EXPR }; 6868297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt* SubExprs[END_EXPR]; 687b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation DoLoc; 6885f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 689b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff DoStmt(Stmt *body, Expr *cond, SourceLocation DL) 690b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff : Stmt(DoStmtClass), DoLoc(DL) { 6918297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[COND] = reinterpret_cast<Stmt*>(cond); 6928297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[BODY] = body; 693b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff DoLoc = DL; 6948297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek } 6955f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6968297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Expr *getCond() { return reinterpret_cast<Expr*>(SubExprs[COND]); } 6978297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Expr *getCond() const { return reinterpret_cast<Expr*>(SubExprs[COND]);} 6988297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt *getBody() { return SubExprs[BODY]; } 6998297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Stmt *getBody() const { return SubExprs[BODY]; } 700b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 701b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 702b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(DoLoc, SubExprs[BODY]->getLocEnd()); 703b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 7045f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 7055f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == DoStmtClass; 7065f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 7075f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const DoStmt *) { return true; } 7088297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 7098297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 7108297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 7118297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 712e3299ef345bb8a71901108bf83a824591eae6c1aTed Kremenek 713ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 714e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static DoStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 7155f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 7165f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 7175f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 7185f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// ForStmt - This represents a 'for (init;cond;inc)' stmt. Note that any of 7195f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// the init/cond/inc parts of the ForStmt will be null if they were not 7205f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// specified in the source. 7215f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 7225f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass ForStmt : public Stmt { 7238297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek enum { INIT, COND, INC, BODY, END_EXPR }; 7248297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt* SubExprs[END_EXPR]; // SubExprs[INIT] is an expression or declstmt. 725b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation ForLoc; 7265f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 727b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff ForStmt(Stmt *Init, Expr *Cond, Expr *Inc, Stmt *Body, SourceLocation FL) 728b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff : Stmt(ForStmtClass) { 729af458c9f658335bdea482395ff4a25c75935e129Chris Lattner SubExprs[INIT] = Init; 730af458c9f658335bdea482395ff4a25c75935e129Chris Lattner SubExprs[COND] = reinterpret_cast<Stmt*>(Cond); 731af458c9f658335bdea482395ff4a25c75935e129Chris Lattner SubExprs[INC] = reinterpret_cast<Stmt*>(Inc); 732af458c9f658335bdea482395ff4a25c75935e129Chris Lattner SubExprs[BODY] = Body; 733b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff ForLoc = FL; 734af458c9f658335bdea482395ff4a25c75935e129Chris Lattner } 7355f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 7368297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt *getInit() { return SubExprs[INIT]; } 7378297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Expr *getCond() { return reinterpret_cast<Expr*>(SubExprs[COND]); } 7388297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Expr *getInc() { return reinterpret_cast<Expr*>(SubExprs[INC]); } 7398297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt *getBody() { return SubExprs[BODY]; } 7408297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 7418297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Stmt *getInit() const { return SubExprs[INIT]; } 7428297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Expr *getCond() const { return reinterpret_cast<Expr*>(SubExprs[COND]);} 7438297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Expr *getInc() const { return reinterpret_cast<Expr*>(SubExprs[INC]); } 7448297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Stmt *getBody() const { return SubExprs[BODY]; } 745b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 746b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 747b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(ForLoc, SubExprs[BODY]->getLocEnd()); 748b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 7495f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 7505f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == ForStmtClass; 7515f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 7525f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const ForStmt *) { return true; } 7538297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 7548297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 7558297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 7568297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 75707ba046c7d7bbc1f42b86b3ed012eec8fc7849daTed Kremenek 758ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 759e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static ForStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 7605f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 7610196cab54007ff072ec2642da8911c6b7e8d3fb5Fariborz Jahanian 7625f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// GotoStmt - This represents a direct goto. 7635f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 7645f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass GotoStmt : public Stmt { 7655f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer LabelStmt *Label; 766507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff SourceLocation GotoLoc; 76761f62165220e75694fe333179c78815e2e48d71fTed Kremenek SourceLocation LabelLoc; 7685f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 76961f62165220e75694fe333179c78815e2e48d71fTed Kremenek GotoStmt(LabelStmt *label, SourceLocation GL, SourceLocation LL) 77061f62165220e75694fe333179c78815e2e48d71fTed Kremenek : Stmt(GotoStmtClass), Label(label), GotoLoc(GL), LabelLoc(LL) {} 7715f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 7725f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer LabelStmt *getLabel() const { return Label; } 773b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 774507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff virtual SourceRange getSourceRange() const { 77561f62165220e75694fe333179c78815e2e48d71fTed Kremenek return SourceRange(GotoLoc, LabelLoc); 776507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff } 7775f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 7785f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == GotoStmtClass; 7795f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 7805f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const GotoStmt *) { return true; } 7818297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 7828297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 7838297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 7848297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 7853f0767b74b16b37bcce60ff457609161a0665784Ted Kremenek 786ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 787e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static GotoStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 7885f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 7895f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 7905f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// IndirectGotoStmt - This represents an indirect goto. 7915f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 7925f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass IndirectGotoStmt : public Stmt { 7931060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek Stmt *Target; 794225a2d946f73aed3b38f265fcb4e7d7d88136928Ted Kremenek // FIXME: Add location information (e.g. SourceLocation objects). 795225a2d946f73aed3b38f265fcb4e7d7d88136928Ted Kremenek // When doing so, update the serialization routines. 7965f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 7971060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek IndirectGotoStmt(Expr *target) : Stmt(IndirectGotoStmtClass), 7981060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek Target((Stmt*)target){} 7995f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 8001060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek Expr *getTarget(); 8011060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek const Expr *getTarget() const; 802b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 803b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { return SourceRange(); } 8045f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 8055f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 8065f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == IndirectGotoStmtClass; 8075f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 8085f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const IndirectGotoStmt *) { return true; } 8098297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 8108297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 8118297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 8128297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 813225a2d946f73aed3b38f265fcb4e7d7d88136928Ted Kremenek 814ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 815e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static IndirectGotoStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 8165f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 8175f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 8185f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 8195f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// ContinueStmt - This represents a continue. 8205f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 8215f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass ContinueStmt : public Stmt { 822507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff SourceLocation ContinueLoc; 8235f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 824507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff ContinueStmt(SourceLocation CL) : Stmt(ContinueStmtClass), ContinueLoc(CL) {} 825b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 826507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff virtual SourceRange getSourceRange() const { 827507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff return SourceRange(ContinueLoc); 828507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff } 8295f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 8305f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == ContinueStmtClass; 8315f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 8325f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const ContinueStmt *) { return true; } 8338297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 8348297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 8358297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 8368297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 83796f22423c52c22d263b4e5f7ee762122b607459eTed Kremenek 838ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 839e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static ContinueStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 8405f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 8415f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 8425f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// BreakStmt - This represents a break. 8435f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 8445f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass BreakStmt : public Stmt { 845507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff SourceLocation BreakLoc; 8465f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 847507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff BreakStmt(SourceLocation BL) : Stmt(BreakStmtClass), BreakLoc(BL) {} 848b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 849507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff virtual SourceRange getSourceRange() const { return SourceRange(BreakLoc); } 850b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 8515f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 8525f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == BreakStmtClass; 8535f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 8545f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const BreakStmt *) { return true; } 8558297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 8568297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 8578297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 8588297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 8599eea2ca5f2cb5d77569274702b5b06273e426dc2Ted Kremenek 860ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 861e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static BreakStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 8625f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 8635f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 8645f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 865c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner/// ReturnStmt - This represents a return, optionally of an expression: 866c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner/// return; 867c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner/// return 4; 868c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner/// 869c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner/// Note that GCC allows return with no argument in a function declared to 870c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner/// return a value, and it allows returning a value in functions declared to 871c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner/// return void. We explicitly model this in the AST, which means you can't 872c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner/// depend on the return type of the function and the presence of an argument. 8735f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 8745f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass ReturnStmt : public Stmt { 8751060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek Stmt *RetExpr; 876507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff SourceLocation RetLoc; 8775f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 878507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff ReturnStmt(SourceLocation RL, Expr *E = 0) : Stmt(ReturnStmtClass), 8791060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek RetExpr((Stmt*) E), RetLoc(RL) {} 8805f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 8811060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek const Expr *getRetValue() const; 8821060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek Expr *getRetValue(); 883b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 884507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff virtual SourceRange getSourceRange() const; 8855f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 8865f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 8875f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == ReturnStmtClass; 8885f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 8895f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const ReturnStmt *) { return true; } 8908297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 8918297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 8928297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 8938297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 8942dc9ac73a8a34cabf261a81a1653d7379065ac61Ted Kremenek 895ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 896e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static ReturnStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 8975f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 8985f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 899fe795956194141c91ae555985c9b930595bff43fChris Lattner/// AsmStmt - This represents a GNU inline-assembly statement extension. 900fe795956194141c91ae555985c9b930595bff43fChris Lattner/// 901fe795956194141c91ae555985c9b930595bff43fChris Lattnerclass AsmStmt : public Stmt { 902fe795956194141c91ae555985c9b930595bff43fChris Lattner SourceLocation AsmLoc, RParenLoc; 9036a0ef4b83c91a6d6d5acb4ed5577c4659fe022a3Anders Carlsson StringLiteral *AsmStr; 904b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson 905dfab34a696d1dba8622248c31aaf605906cb6109Anders Carlsson bool IsSimple; 90639c47b56f45437bbc49c9568b7308a400234a730Anders Carlsson bool IsVolatile; 90739c47b56f45437bbc49c9568b7308a400234a730Anders Carlsson 908b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson unsigned NumOutputs; 909b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson unsigned NumInputs; 910b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson 911b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson llvm::SmallVector<std::string, 4> Names; 912b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson llvm::SmallVector<StringLiteral*, 4> Constraints; 913ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek llvm::SmallVector<Stmt*, 4> Exprs; 914b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson 915b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson llvm::SmallVector<StringLiteral*, 4> Clobbers; 916fe795956194141c91ae555985c9b930595bff43fChris Lattnerpublic: 917dfab34a696d1dba8622248c31aaf605906cb6109Anders Carlsson AsmStmt(SourceLocation asmloc, bool issimple, bool isvolatile, 918dfab34a696d1dba8622248c31aaf605906cb6109Anders Carlsson unsigned numoutputs, unsigned numinputs, 919dfab34a696d1dba8622248c31aaf605906cb6109Anders Carlsson std::string *names, StringLiteral **constraints, 920db6ed1786bf460e1143f67d14bf2d71ad9856f81Chris Lattner Expr **exprs, StringLiteral *asmstr, unsigned numclobbers, 921db6ed1786bf460e1143f67d14bf2d71ad9856f81Chris Lattner StringLiteral **clobbers, SourceLocation rparenloc); 922b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson 92339c47b56f45437bbc49c9568b7308a400234a730Anders Carlsson bool isVolatile() const { return IsVolatile; } 924dfab34a696d1dba8622248c31aaf605906cb6109Anders Carlsson bool isSimple() const { return IsSimple; } 925dfab34a696d1dba8622248c31aaf605906cb6109Anders Carlsson 926b327793860737d1c103a73aeda8057dd628a101dChris Lattner //===--- Output operands ---===// 927b327793860737d1c103a73aeda8057dd628a101dChris Lattner 928b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson unsigned getNumOutputs() const { return NumOutputs; } 929ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek 930ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek const std::string &getOutputName(unsigned i) const { 931ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek return Names[i]; 932ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek } 933ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek 934b327793860737d1c103a73aeda8057dd628a101dChris Lattner /// getOutputConstraint - Return the constraint string for the specified 935b327793860737d1c103a73aeda8057dd628a101dChris Lattner /// output operand. All output constraints are known to be non-empty (either 936b327793860737d1c103a73aeda8057dd628a101dChris Lattner /// '=' or '+'). 937b327793860737d1c103a73aeda8057dd628a101dChris Lattner std::string getOutputConstraint(unsigned i) const; 938b327793860737d1c103a73aeda8057dd628a101dChris Lattner 939b327793860737d1c103a73aeda8057dd628a101dChris Lattner const StringLiteral *getOutputConstraintLiteral(unsigned i) const { 940ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek return Constraints[i]; 941ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek } 942b327793860737d1c103a73aeda8057dd628a101dChris Lattner StringLiteral *getOutputConstraintLiteral(unsigned i) { 943b327793860737d1c103a73aeda8057dd628a101dChris Lattner return Constraints[i]; 944b327793860737d1c103a73aeda8057dd628a101dChris Lattner } 945b327793860737d1c103a73aeda8057dd628a101dChris Lattner 946b327793860737d1c103a73aeda8057dd628a101dChris Lattner 947ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek Expr *getOutputExpr(unsigned i); 948b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson 949b327793860737d1c103a73aeda8057dd628a101dChris Lattner const Expr *getOutputExpr(unsigned i) const { 950b327793860737d1c103a73aeda8057dd628a101dChris Lattner return const_cast<AsmStmt*>(this)->getOutputExpr(i); 951b327793860737d1c103a73aeda8057dd628a101dChris Lattner } 952b327793860737d1c103a73aeda8057dd628a101dChris Lattner 953b327793860737d1c103a73aeda8057dd628a101dChris Lattner /// isOutputPlusConstraint - Return true if the specified output constraint 954b327793860737d1c103a73aeda8057dd628a101dChris Lattner /// is a "+" constraint (which is both an input and an output) or false if it 955b327793860737d1c103a73aeda8057dd628a101dChris Lattner /// is an "=" constraint (just an output). 956b327793860737d1c103a73aeda8057dd628a101dChris Lattner bool isOutputPlusConstraint(unsigned i) const { 957b327793860737d1c103a73aeda8057dd628a101dChris Lattner return getOutputConstraint(i)[0] == '+'; 958b327793860737d1c103a73aeda8057dd628a101dChris Lattner } 959b327793860737d1c103a73aeda8057dd628a101dChris Lattner 960b327793860737d1c103a73aeda8057dd628a101dChris Lattner //===--- Input operands ---===// 961b327793860737d1c103a73aeda8057dd628a101dChris Lattner 962b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson unsigned getNumInputs() const { return NumInputs; } 963ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek 964ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek const std::string &getInputName(unsigned i) const { 965ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek return Names[i + NumOutputs]; 966ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek } 967b327793860737d1c103a73aeda8057dd628a101dChris Lattner 968b327793860737d1c103a73aeda8057dd628a101dChris Lattner /// getInputConstraint - Return the specified input constraint. Unlike output 969b327793860737d1c103a73aeda8057dd628a101dChris Lattner /// constraints, these can be empty. 970b327793860737d1c103a73aeda8057dd628a101dChris Lattner std::string getInputConstraint(unsigned i) const; 971b327793860737d1c103a73aeda8057dd628a101dChris Lattner 972b327793860737d1c103a73aeda8057dd628a101dChris Lattner const StringLiteral *getInputConstraintLiteral(unsigned i) const { 973ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek return Constraints[i + NumOutputs]; 974ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek } 975b327793860737d1c103a73aeda8057dd628a101dChris Lattner StringLiteral *getInputConstraintLiteral(unsigned i) { 976ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek return Constraints[i + NumOutputs]; 977ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek } 978b327793860737d1c103a73aeda8057dd628a101dChris Lattner 979b327793860737d1c103a73aeda8057dd628a101dChris Lattner 980ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek Expr *getInputExpr(unsigned i); 981b327793860737d1c103a73aeda8057dd628a101dChris Lattner 982b327793860737d1c103a73aeda8057dd628a101dChris Lattner const Expr *getInputExpr(unsigned i) const { 983b327793860737d1c103a73aeda8057dd628a101dChris Lattner return const_cast<AsmStmt*>(this)->getInputExpr(i); 984b327793860737d1c103a73aeda8057dd628a101dChris Lattner } 985d04c6e23f2e10eeb9936778d67f4a1c4a14cc4f6Anders Carlsson 9866a0ef4b83c91a6d6d5acb4ed5577c4659fe022a3Anders Carlsson const StringLiteral *getAsmString() const { return AsmStr; } 9876a0ef4b83c91a6d6d5acb4ed5577c4659fe022a3Anders Carlsson StringLiteral *getAsmString() { return AsmStr; } 9886a0ef4b83c91a6d6d5acb4ed5577c4659fe022a3Anders Carlsson 989b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson unsigned getNumClobbers() const { return Clobbers.size(); } 990b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson StringLiteral *getClobber(unsigned i) { return Clobbers[i]; } 991d04c6e23f2e10eeb9936778d67f4a1c4a14cc4f6Anders Carlsson const StringLiteral *getClobber(unsigned i) const { return Clobbers[i]; } 992b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson 993fe795956194141c91ae555985c9b930595bff43fChris Lattner virtual SourceRange getSourceRange() const { 994fe795956194141c91ae555985c9b930595bff43fChris Lattner return SourceRange(AsmLoc, RParenLoc); 995fe795956194141c91ae555985c9b930595bff43fChris Lattner } 996fe795956194141c91ae555985c9b930595bff43fChris Lattner 997fe795956194141c91ae555985c9b930595bff43fChris Lattner static bool classof(const Stmt *T) {return T->getStmtClass() == AsmStmtClass;} 998fe795956194141c91ae555985c9b930595bff43fChris Lattner static bool classof(const AsmStmt *) { return true; } 999fe795956194141c91ae555985c9b930595bff43fChris Lattner 1000ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek // Input expr iterators. 1001ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek 1002ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek typedef ExprIterator inputs_iterator; 1003ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek typedef ConstExprIterator const_inputs_iterator; 1004ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek 1005ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek inputs_iterator begin_inputs() { 1006ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek return &Exprs[0] + NumOutputs; 1007ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek } 1008ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek 1009ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek inputs_iterator end_inputs() { 1010ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek return &Exprs[0] + NumOutputs + NumInputs; 1011ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek } 1012ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek 1013ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek const_inputs_iterator begin_inputs() const { 1014ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek return &Exprs[0] + NumOutputs; 1015ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek } 1016ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek 1017ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek const_inputs_iterator end_inputs() const { 1018ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek return &Exprs[0] + NumOutputs + NumInputs;} 1019ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek 1020ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek // Output expr iterators. 1021ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek 1022ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek typedef ExprIterator outputs_iterator; 1023ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek typedef ConstExprIterator const_outputs_iterator; 1024ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek 1025ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek outputs_iterator begin_outputs() { return &Exprs[0]; } 1026ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek outputs_iterator end_outputs() { return &Exprs[0] + NumOutputs; } 1027ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek 1028ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek const_outputs_iterator begin_outputs() const { return &Exprs[0]; } 1029ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek const_outputs_iterator end_outputs() const { return &Exprs[0] + NumOutputs; } 1030ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek 103145b050e72d058131e6f169fe54888bb91a003fb5Anders Carlsson // Input name iterator. 103245b050e72d058131e6f169fe54888bb91a003fb5Anders Carlsson 103345b050e72d058131e6f169fe54888bb91a003fb5Anders Carlsson const std::string *begin_output_names() const { 103445b050e72d058131e6f169fe54888bb91a003fb5Anders Carlsson return &Names[0]; 103545b050e72d058131e6f169fe54888bb91a003fb5Anders Carlsson } 103645b050e72d058131e6f169fe54888bb91a003fb5Anders Carlsson 103745b050e72d058131e6f169fe54888bb91a003fb5Anders Carlsson const std::string *end_output_names() const { 103845b050e72d058131e6f169fe54888bb91a003fb5Anders Carlsson return &Names[0] + NumOutputs; 103945b050e72d058131e6f169fe54888bb91a003fb5Anders Carlsson } 104045b050e72d058131e6f169fe54888bb91a003fb5Anders Carlsson 1041ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek // Child iterators 1042ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek 1043fe795956194141c91ae555985c9b930595bff43fChris Lattner virtual child_iterator child_begin(); 1044fe795956194141c91ae555985c9b930595bff43fChris Lattner virtual child_iterator child_end(); 10451f85acd5ff54345788b93111197088160fe9f06eTed Kremenek 10461f85acd5ff54345788b93111197088160fe9f06eTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 1047e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static AsmStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 1048fe795956194141c91ae555985c9b930595bff43fChris Lattner}; 104978492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek 105078492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek/// ObjCForCollectionStmt - This represents Objective-c's collection statement; 105178492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek/// represented as 'for (element 'in' collection-expression)' stmt. 105278492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek/// 105378492dae00fb85e0da0f966df4745edafdafb66cTed Kremenekclass ObjCForCollectionStmt : public Stmt { 105478492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek enum { ELEM, COLLECTION, BODY, END_EXPR }; 105578492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek Stmt* SubExprs[END_EXPR]; // SubExprs[ELEM] is an expression or declstmt. 105678492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek SourceLocation ForLoc; 105778492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek SourceLocation RParenLoc; 105878492dae00fb85e0da0f966df4745edafdafb66cTed Kremenekpublic: 105978492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek ObjCForCollectionStmt(Stmt *Elem, Expr *Collect, Stmt *Body, 106078492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek SourceLocation FCL, SourceLocation RPL); 106178492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek 106278492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek Stmt *getElement() { return SubExprs[ELEM]; } 106378492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek Expr *getCollection() { 106478492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek return reinterpret_cast<Expr*>(SubExprs[COLLECTION]); 106578492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek } 106678492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek Stmt *getBody() { return SubExprs[BODY]; } 106778492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek 106878492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek const Stmt *getElement() const { return SubExprs[ELEM]; } 106978492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek const Expr *getCollection() const { 107078492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek return reinterpret_cast<Expr*>(SubExprs[COLLECTION]); 107178492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek } 107278492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek const Stmt *getBody() const { return SubExprs[BODY]; } 107378492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek 107478492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek SourceLocation getRParenLoc() const { return RParenLoc; } 107578492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek 107678492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek virtual SourceRange getSourceRange() const { 107778492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek return SourceRange(ForLoc, SubExprs[BODY]->getLocEnd()); 107878492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek } 107978492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek static bool classof(const Stmt *T) { 108078492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek return T->getStmtClass() == ObjCForCollectionStmtClass; 108178492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek } 108278492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek static bool classof(const ObjCForCollectionStmt *) { return true; } 108378492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek 108478492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek // Iterators 108578492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek virtual child_iterator child_begin(); 108678492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek virtual child_iterator child_end(); 108778492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek 108878492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 1089e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static ObjCForCollectionStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 109078492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek}; 1091b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 1092a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek/// ObjCAtCatchStmt - This represents objective-c's @catch statement. 1093a526c5c67e5a0473c340903ee542ce570119665fTed Kremenekclass ObjCAtCatchStmt : public Stmt { 1094b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanianprivate: 10957ba138abd329e591a8f6d5001f60dd7082f71b3bSteve Naroff enum { BODY, NEXT_CATCH, END_EXPR }; 10967ba138abd329e591a8f6d5001f60dd7082f71b3bSteve Naroff ParmVarDecl *ExceptionDecl; 10973b1191d7eaf2f4984564e01ab84b6713a9d80e70Fariborz Jahanian Stmt *SubExprs[END_EXPR]; 1098b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian SourceLocation AtCatchLoc, RParenLoc; 1099af526779b36f43f59e47cfc5b10bb0c48562f4a9Ted Kremenek 1100af526779b36f43f59e47cfc5b10bb0c48562f4a9Ted Kremenek // Used by deserialization. 1101a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek ObjCAtCatchStmt(SourceLocation atCatchLoc, SourceLocation rparenloc) 1102a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek : Stmt(ObjCAtCatchStmtClass), AtCatchLoc(atCatchLoc), RParenLoc(rparenloc) {} 1103af526779b36f43f59e47cfc5b10bb0c48562f4a9Ted Kremenek 1104b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanianpublic: 1105a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek ObjCAtCatchStmt(SourceLocation atCatchLoc, SourceLocation rparenloc, 11067ba138abd329e591a8f6d5001f60dd7082f71b3bSteve Naroff ParmVarDecl *catchVarDecl, 110793b2bdb866d49e3dab4623a822db281042e87382Daniel Dunbar Stmt *atCatchStmt, Stmt *atCatchList); 1108b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 1109606efdfeb9eef70871eb62a26dfd115e209e899cFariborz Jahanian const Stmt *getCatchBody() const { return SubExprs[BODY]; } 1110606efdfeb9eef70871eb62a26dfd115e209e899cFariborz Jahanian Stmt *getCatchBody() { return SubExprs[BODY]; } 1111ff981021554a4965943ca2d19019cea811614602Ted Kremenek 1112ff981021554a4965943ca2d19019cea811614602Ted Kremenek const ObjCAtCatchStmt *getNextCatchStmt() const { 1113ff981021554a4965943ca2d19019cea811614602Ted Kremenek return static_cast<const ObjCAtCatchStmt*>(SubExprs[NEXT_CATCH]); 1114ff981021554a4965943ca2d19019cea811614602Ted Kremenek } 1115ff981021554a4965943ca2d19019cea811614602Ted Kremenek ObjCAtCatchStmt *getNextCatchStmt() { 1116ff981021554a4965943ca2d19019cea811614602Ted Kremenek return static_cast<ObjCAtCatchStmt*>(SubExprs[NEXT_CATCH]); 1117ff981021554a4965943ca2d19019cea811614602Ted Kremenek } 1118ff981021554a4965943ca2d19019cea811614602Ted Kremenek 11197ba138abd329e591a8f6d5001f60dd7082f71b3bSteve Naroff const ParmVarDecl *getCatchParamDecl() const { 11207ba138abd329e591a8f6d5001f60dd7082f71b3bSteve Naroff return ExceptionDecl; 11217ba138abd329e591a8f6d5001f60dd7082f71b3bSteve Naroff } 11227ba138abd329e591a8f6d5001f60dd7082f71b3bSteve Naroff ParmVarDecl *getCatchParamDecl() { 11237ba138abd329e591a8f6d5001f60dd7082f71b3bSteve Naroff return ExceptionDecl; 112493b2bdb866d49e3dab4623a822db281042e87382Daniel Dunbar } 11257794cb85d394750db0631c02b7aa7837ae56764cFariborz Jahanian 11267573098b83e780d1c5bea13b384b610d8f155676Steve Naroff SourceLocation getRParenLoc() const { return RParenLoc; } 11277573098b83e780d1c5bea13b384b610d8f155676Steve Naroff 1128b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian virtual SourceRange getSourceRange() const { 11293b1191d7eaf2f4984564e01ab84b6713a9d80e70Fariborz Jahanian return SourceRange(AtCatchLoc, SubExprs[BODY]->getLocEnd()); 1130b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian } 1131be4b3332c2d17c03af6d015d9e8e2cc524806e6eSteve Naroff 11327ba138abd329e591a8f6d5001f60dd7082f71b3bSteve Naroff bool hasEllipsis() const { return getCatchParamDecl() == 0; } 1133be4b3332c2d17c03af6d015d9e8e2cc524806e6eSteve Naroff 1134b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian static bool classof(const Stmt *T) { 1135a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek return T->getStmtClass() == ObjCAtCatchStmtClass; 1136b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian } 1137a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek static bool classof(const ObjCAtCatchStmt *) { return true; } 1138b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 1139b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian virtual child_iterator child_begin(); 1140b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian virtual child_iterator child_end(); 1141af526779b36f43f59e47cfc5b10bb0c48562f4a9Ted Kremenek 1142af526779b36f43f59e47cfc5b10bb0c48562f4a9Ted Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 1143e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static ObjCAtCatchStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 1144b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian}; 1145b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 1146a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek/// ObjCAtFinallyStmt - This represent objective-c's @finally Statement 1147a526c5c67e5a0473c340903ee542ce570119665fTed Kremenekclass ObjCAtFinallyStmt : public Stmt { 114804be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek Stmt *AtFinallyStmt; 114904be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek SourceLocation AtFinallyLoc; 115004be5aae2dc17292e2007401599638f3c6ba30deTed Kremenekpublic: 1151a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek ObjCAtFinallyStmt(SourceLocation atFinallyLoc, Stmt *atFinallyStmt) 1152a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek : Stmt(ObjCAtFinallyStmtClass), 115304be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek AtFinallyStmt(atFinallyStmt), AtFinallyLoc(atFinallyLoc) {} 11547794cb85d394750db0631c02b7aa7837ae56764cFariborz Jahanian 115504be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek const Stmt *getFinallyBody () const { return AtFinallyStmt; } 115604be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek Stmt *getFinallyBody () { return AtFinallyStmt; } 115704be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek 115804be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek virtual SourceRange getSourceRange() const { 115904be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek return SourceRange(AtFinallyLoc, AtFinallyStmt->getLocEnd()); 116004be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek } 116104be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek 116204be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek static bool classof(const Stmt *T) { 1163a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek return T->getStmtClass() == ObjCAtFinallyStmtClass; 116404be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek } 1165a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek static bool classof(const ObjCAtFinallyStmt *) { return true; } 116604be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek 116704be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek virtual child_iterator child_begin(); 116804be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek virtual child_iterator child_end(); 116904be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek 117004be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 1171e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static ObjCAtFinallyStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 1172b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian}; 1173b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 1174a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek/// ObjCAtTryStmt - This represent objective-c's over-all 1175b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian/// @try ... @catch ... @finally statement. 1176a526c5c67e5a0473c340903ee542ce570119665fTed Kremenekclass ObjCAtTryStmt : public Stmt { 1177b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanianprivate: 117889079eac7d6e3091b74b477a4a5ff0cdaf35496cFariborz Jahanian enum { TRY, CATCH, FINALLY, END_EXPR }; 117989079eac7d6e3091b74b477a4a5ff0cdaf35496cFariborz Jahanian Stmt* SubStmts[END_EXPR]; 1180b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 11819c1efff14b0e001f73c875ed5b184fb3569d641dTed Kremenek SourceLocation AtTryLoc; 1182b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanianpublic: 1183a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek ObjCAtTryStmt(SourceLocation atTryLoc, Stmt *atTryStmt, 1184bd49a647afd9cc534fef13cadf652d4e9c396e2bFariborz Jahanian Stmt *atCatchStmt, 1185bd49a647afd9cc534fef13cadf652d4e9c396e2bFariborz Jahanian Stmt *atFinallyStmt) 1186a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek : Stmt(ObjCAtTryStmtClass) { 1187b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian SubStmts[TRY] = atTryStmt; 1188b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian SubStmts[CATCH] = atCatchStmt; 1189b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian SubStmts[FINALLY] = atFinallyStmt; 1190ccdbc5c6f14965d91a352d114c109a9d4d9552b8Steve Naroff AtTryLoc = atTryLoc; 1191b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian } 1192b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 11938aab17e82aab6b3f266ef1884253226d2cb8b8d8Fariborz Jahanian const Stmt *getTryBody() const { return SubStmts[TRY]; } 11948aab17e82aab6b3f266ef1884253226d2cb8b8d8Fariborz Jahanian Stmt *getTryBody() { return SubStmts[TRY]; } 1195a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek const ObjCAtCatchStmt *getCatchStmts() const { 1196a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek return dyn_cast_or_null<ObjCAtCatchStmt>(SubStmts[CATCH]); 11977573098b83e780d1c5bea13b384b610d8f155676Steve Naroff } 1198a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek ObjCAtCatchStmt *getCatchStmts() { 1199a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek return dyn_cast_or_null<ObjCAtCatchStmt>(SubStmts[CATCH]); 12007573098b83e780d1c5bea13b384b610d8f155676Steve Naroff } 1201a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek const ObjCAtFinallyStmt *getFinallyStmt() const { 1202a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek return dyn_cast_or_null<ObjCAtFinallyStmt>(SubStmts[FINALLY]); 12037573098b83e780d1c5bea13b384b610d8f155676Steve Naroff } 1204a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek ObjCAtFinallyStmt *getFinallyStmt() { 1205a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek return dyn_cast_or_null<ObjCAtFinallyStmt>(SubStmts[FINALLY]); 12067573098b83e780d1c5bea13b384b610d8f155676Steve Naroff } 1207b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian virtual SourceRange getSourceRange() const { 1208b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian return SourceRange(AtTryLoc, SubStmts[TRY]->getLocEnd()); 1209b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian } 1210b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 1211b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian static bool classof(const Stmt *T) { 1212a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek return T->getStmtClass() == ObjCAtTryStmtClass; 1213b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian } 1214a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek static bool classof(const ObjCAtTryStmt *) { return true; } 1215b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian 1216b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian virtual child_iterator child_begin(); 1217b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian virtual child_iterator child_end(); 12189c1efff14b0e001f73c875ed5b184fb3569d641dTed Kremenek 12199c1efff14b0e001f73c875ed5b184fb3569d641dTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 1220e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static ObjCAtTryStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 1221b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian}; 1222fe795956194141c91ae555985c9b930595bff43fChris Lattner 1223c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian/// ObjCAtSynchronizedStmt - This is for objective-c's @synchronized statement. 122478a677bbb5fa115fa0995b5783adeeefad67167eFariborz Jahanian/// Example: @synchronized (sem) { 1225bd144b7ac70cc96cb1ff822347c2bb9b330729ecFariborz Jahanian/// do-something; 122678a677bbb5fa115fa0995b5783adeeefad67167eFariborz Jahanian/// } 1227c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian/// 1228c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanianclass ObjCAtSynchronizedStmt : public Stmt { 1229c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanianprivate: 1230a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian enum { SYNC_EXPR, SYNC_BODY, END_EXPR }; 1231a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian Stmt* SubStmts[END_EXPR]; 1232c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian SourceLocation AtSynchronizedLoc; 1233c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian 1234c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanianpublic: 1235a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian ObjCAtSynchronizedStmt(SourceLocation atSynchronizedLoc, Stmt *synchExpr, 1236c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian Stmt *synchBody) 1237a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian : Stmt(ObjCAtSynchronizedStmtClass) { 1238a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian SubStmts[SYNC_EXPR] = synchExpr; 1239a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian SubStmts[SYNC_BODY] = synchBody; 1240a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian AtSynchronizedLoc = atSynchronizedLoc; 1241a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian } 1242c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian 124378a677bbb5fa115fa0995b5783adeeefad67167eFariborz Jahanian const CompoundStmt *getSynchBody() const { 124478a677bbb5fa115fa0995b5783adeeefad67167eFariborz Jahanian return reinterpret_cast<CompoundStmt*>(SubStmts[SYNC_BODY]); 124578a677bbb5fa115fa0995b5783adeeefad67167eFariborz Jahanian } 124678a677bbb5fa115fa0995b5783adeeefad67167eFariborz Jahanian CompoundStmt *getSynchBody() { 124778a677bbb5fa115fa0995b5783adeeefad67167eFariborz Jahanian return reinterpret_cast<CompoundStmt*>(SubStmts[SYNC_BODY]); 124878a677bbb5fa115fa0995b5783adeeefad67167eFariborz Jahanian } 1249c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian 1250a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian const Expr *getSynchExpr() const { 1251a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian return reinterpret_cast<Expr*>(SubStmts[SYNC_EXPR]); 1252a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian } 1253a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian Expr *getSynchExpr() { 1254a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian return reinterpret_cast<Expr*>(SubStmts[SYNC_EXPR]); 1255a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian } 1256c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian 1257c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian virtual SourceRange getSourceRange() const { 1258a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian return SourceRange(AtSynchronizedLoc, getSynchBody()->getLocEnd()); 1259c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian } 1260c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian 1261c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian static bool classof(const Stmt *T) { 1262c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian return T->getStmtClass() == ObjCAtSynchronizedStmtClass; 1263c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian } 1264c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian static bool classof(const ObjCAtSynchronizedStmt *) { return true; } 1265c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian 1266fa3ee8e6776634caf064ba5928ca7699d317a280Fariborz Jahanian virtual child_iterator child_begin(); 1267fa3ee8e6776634caf064ba5928ca7699d317a280Fariborz Jahanian virtual child_iterator child_end(); 1268fa3ee8e6776634caf064ba5928ca7699d317a280Fariborz Jahanian 1269c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian virtual void EmitImpl(llvm::Serializer& S) const; 1270e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static ObjCAtSynchronizedStmt* CreateImpl(llvm::Deserializer& D, 1271e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop ASTContext& C); 1272c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian}; 1273c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian 1274a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek/// ObjCAtThrowStmt - This represents objective-c's @throw statement. 1275a526c5c67e5a0473c340903ee542ce570119665fTed Kremenekclass ObjCAtThrowStmt : public Stmt { 127639f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian Stmt *Throw; 127739f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian SourceLocation AtThrowLoc; 127839f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanianpublic: 1279a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek ObjCAtThrowStmt(SourceLocation atThrowLoc, Stmt *throwExpr) 1280a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek : Stmt(ObjCAtThrowStmtClass), Throw(throwExpr) { 128139f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian AtThrowLoc = atThrowLoc; 128239f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian } 128339f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian 1284e0def7589a8afa8a6acef13476bb3f882c104b91Chris Lattner const Expr *getThrowExpr() const { return reinterpret_cast<Expr*>(Throw); } 1285e0def7589a8afa8a6acef13476bb3f882c104b91Chris Lattner Expr *getThrowExpr() { return reinterpret_cast<Expr*>(Throw); } 128639f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian 128720ebf8f15df48f27ce2bf7c1b3ae87565235600fSteve Naroff virtual SourceRange getSourceRange() const { 128820ebf8f15df48f27ce2bf7c1b3ae87565235600fSteve Naroff if (Throw) 128920ebf8f15df48f27ce2bf7c1b3ae87565235600fSteve Naroff return SourceRange(AtThrowLoc, Throw->getLocEnd()); 1290db6ed1786bf460e1143f67d14bf2d71ad9856f81Chris Lattner else 1291db6ed1786bf460e1143f67d14bf2d71ad9856f81Chris Lattner return SourceRange(AtThrowLoc); 129239f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian } 129339f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian 129439f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian static bool classof(const Stmt *T) { 1295a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek return T->getStmtClass() == ObjCAtThrowStmtClass; 129639f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian } 1297a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek static bool classof(const ObjCAtThrowStmt *) { return true; } 129839f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian 129939f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian virtual child_iterator child_begin(); 130039f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian virtual child_iterator child_end(); 13015bdd4e300b432246b9d261702828e9875414128bTed Kremenek 13025bdd4e300b432246b9d261702828e9875414128bTed Kremenek virtual void EmitImpl(llvm::Serializer& S) const; 1303e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop static ObjCAtThrowStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 130439f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian}; 130539f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian 13064b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl/// CXXCatchStmt - This represents a C++ catch block. 13074b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redlclass CXXCatchStmt : public Stmt { 13084b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl SourceLocation CatchLoc; 13094b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl /// The exception-declaration of the type. 13104b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl Decl *ExceptionDecl; 13114b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl /// The handler block. 13124b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl Stmt *HandlerBlock; 13134b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl 13144b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redlpublic: 13154b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl CXXCatchStmt(SourceLocation catchLoc, Decl *exDecl, Stmt *handlerBlock) 13164b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl : Stmt(CXXCatchStmtClass), CatchLoc(catchLoc), ExceptionDecl(exDecl), 13174b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl HandlerBlock(handlerBlock) {} 13184b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl 13194b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl virtual void Destroy(ASTContext& Ctx); 13204b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl 13214b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl virtual SourceRange getSourceRange() const { 13224b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl return SourceRange(CatchLoc, HandlerBlock->getLocEnd()); 13234b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl } 13244b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl 13254b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl Decl *getExceptionDecl() { return ExceptionDecl; } 13264b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl QualType getCaughtType(); 13274b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl Stmt *getHandlerBlock() { return HandlerBlock; } 13284b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl 13294b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl static bool classof(const Stmt *T) { 13304b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl return T->getStmtClass() == CXXCatchStmtClass; 13314b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl } 13324b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl static bool classof(const CXXCatchStmt *) { return true; } 13334b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl 13344b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl virtual child_iterator child_begin(); 13354b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl virtual child_iterator child_end(); 13364b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl 13374b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl virtual void EmitImpl(llvm::Serializer& S) const; 13384b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl static CXXCatchStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 13394b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl}; 13404b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl 13418351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl/// CXXTryStmt - A C++ try block, including all handlers. 13428351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redlclass CXXTryStmt : public Stmt { 13438351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl SourceLocation TryLoc; 13448351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl // First place is the guarded CompoundStatement. Subsequent are the handlers. 13458351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl // More than three handlers should be rare. 13468351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl llvm::SmallVector<Stmt*, 4> Stmts; 13478351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl 13488351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redlpublic: 13498351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl CXXTryStmt(SourceLocation tryLoc, Stmt *tryBlock, 13508351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl Stmt **handlers, unsigned numHandlers); 13518351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl 13528351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl virtual SourceRange getSourceRange() const { 13538351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl return SourceRange(TryLoc, Stmts.back()->getLocEnd()); 13548351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl } 13558351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl 13568351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl CompoundStmt *getTryBlock() { return llvm::cast<CompoundStmt>(Stmts[0]); } 13578351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl const CompoundStmt *getTryBlock() const { 13588351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl return llvm::cast<CompoundStmt>(Stmts[0]); 13598351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl } 13608351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl 13618351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl unsigned getNumHandlers() const { return Stmts.size() - 1; } 13628351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl CXXCatchStmt *getHandler(unsigned i) { 13638351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl return llvm::cast<CXXCatchStmt>(Stmts[i + 1]); 13648351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl } 13658351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl const CXXCatchStmt *getHandler(unsigned i) const { 13668351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl return llvm::cast<CXXCatchStmt>(Stmts[i + 1]); 13678351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl } 13688351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl 13698351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl static bool classof(const Stmt *T) { 13708351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl return T->getStmtClass() == CXXTryStmtClass; 13718351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl } 13728351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl static bool classof(const CXXTryStmt *) { return true; } 13738351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl 13748351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl virtual child_iterator child_begin(); 13758351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl virtual child_iterator child_end(); 13768351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl 13778351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl virtual void EmitImpl(llvm::Serializer& S) const; 13788351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl static CXXTryStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C); 13798351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl}; 13808351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl 13815f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer} // end namespace clang 13825f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 13835f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#endif 1384