Stmt.h revision 24e1e707b4c362f18e371e2bbf054a8345b57bfa
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  virtual Stmt* v_getSubStmt() = 0;
426d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek  Stmt *getSubStmt() { return v_getSubStmt(); }
427b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff
428b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff  virtual SourceRange getSourceRange() const { return SourceRange(); }
429edcc752060be38bfa7e7b32691c0cc4d843622a8Ted Kremenek
430c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson  static bool classof(const Stmt *T) {
431c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson    return T->getStmtClass() == CaseStmtClass ||
432c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson    T->getStmtClass() == DefaultStmtClass;
433c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson  }
434c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson  static bool classof(const SwitchCase *) { return true; }
435c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson};
436c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson
437c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlssonclass CaseStmt : public SwitchCase {
438d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek  enum { SUBSTMT, LHS, RHS, END_EXPR };
439d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek  Stmt* SubExprs[END_EXPR];  // The expression for the RHS is Non-null for
440d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek                             // GNU "case 1 ... 4" extension
441b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff  SourceLocation CaseLoc;
4425f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic:
44324e1e707b4c362f18e371e2bbf054a8345b57bfaChris Lattner  CaseStmt(Expr *lhs, Expr *rhs, SourceLocation caseLoc)
444d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek    : SwitchCase(CaseStmtClass) {
44524e1e707b4c362f18e371e2bbf054a8345b57bfaChris Lattner    SubExprs[SUBSTMT] = 0;
446d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek    SubExprs[LHS] = reinterpret_cast<Stmt*>(lhs);
447d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek    SubExprs[RHS] = reinterpret_cast<Stmt*>(rhs);
448b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff    CaseLoc = caseLoc;
449d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek  }
4505f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
451764a7ce5217f9569e100a3445f47496ee82daf86Chris Lattner  SourceLocation getCaseLoc() const { return CaseLoc; }
452764a7ce5217f9569e100a3445f47496ee82daf86Chris Lattner
453d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek  Expr *getLHS() { return reinterpret_cast<Expr*>(SubExprs[LHS]); }
454d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek  Expr *getRHS() { return reinterpret_cast<Expr*>(SubExprs[RHS]); }
455d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek  Stmt *getSubStmt() { return SubExprs[SUBSTMT]; }
456d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek  virtual Stmt* v_getSubStmt() { return getSubStmt(); }
45751b09f2c528c8460b5465c676173324e44176d62Devang Patel  const Expr *getLHS() const {
45851b09f2c528c8460b5465c676173324e44176d62Devang Patel    return reinterpret_cast<const Expr*>(SubExprs[LHS]);
45951b09f2c528c8460b5465c676173324e44176d62Devang Patel  }
46051b09f2c528c8460b5465c676173324e44176d62Devang Patel  const Expr *getRHS() const {
46151b09f2c528c8460b5465c676173324e44176d62Devang Patel    return reinterpret_cast<const Expr*>(SubExprs[RHS]);
46251b09f2c528c8460b5465c676173324e44176d62Devang Patel  }
46351b09f2c528c8460b5465c676173324e44176d62Devang Patel  const Stmt *getSubStmt() const { return SubExprs[SUBSTMT]; }
4645f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
46520dabe8b8ff7ed6d2d0158fee43755a4bc7642c3Chris Lattner  void setSubStmt(Stmt *S) { SubExprs[SUBSTMT] = S; }
46620dabe8b8ff7ed6d2d0158fee43755a4bc7642c3Chris Lattner  void setLHS(Expr *Val) { SubExprs[LHS] = reinterpret_cast<Stmt*>(Val); }
46720dabe8b8ff7ed6d2d0158fee43755a4bc7642c3Chris Lattner  void setRHS(Expr *Val) { SubExprs[RHS] = reinterpret_cast<Stmt*>(Val); }
46820dabe8b8ff7ed6d2d0158fee43755a4bc7642c3Chris Lattner
46920dabe8b8ff7ed6d2d0158fee43755a4bc7642c3Chris Lattner
470b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff  virtual SourceRange getSourceRange() const {
471b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff    return SourceRange(CaseLoc, SubExprs[SUBSTMT]->getLocEnd());
472b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff  }
4735f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  static bool classof(const Stmt *T) {
4745f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    return T->getStmtClass() == CaseStmtClass;
4755f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  }
4765f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  static bool classof(const CaseStmt *) { return true; }
477d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek
478d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek  // Iterators
479d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek  virtual child_iterator child_begin();
480d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek  virtual child_iterator child_end();
4819eea2ca5f2cb5d77569274702b5b06273e426dc2Ted Kremenek
482ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek  virtual void EmitImpl(llvm::Serializer& S) const;
483e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop  static CaseStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C);
4845f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer};
4855f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
486c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlssonclass DefaultStmt : public SwitchCase {
487d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek  Stmt* SubStmt;
4886c36be5b383875b490684bcf439d6d427298c1afChris Lattner  SourceLocation DefaultLoc;
4895f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic:
490edcc752060be38bfa7e7b32691c0cc4d843622a8Ted Kremenek  DefaultStmt(SourceLocation DL, Stmt *substmt) :
491d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek    SwitchCase(DefaultStmtClass), SubStmt(substmt), DefaultLoc(DL) {}
492b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff
493d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek  Stmt *getSubStmt() { return SubStmt; }
494d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek  virtual Stmt* v_getSubStmt() { return getSubStmt(); }
49551b09f2c528c8460b5465c676173324e44176d62Devang Patel  const Stmt *getSubStmt() const { return SubStmt; }
496d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek
4976c36be5b383875b490684bcf439d6d427298c1afChris Lattner  SourceLocation getDefaultLoc() const { return DefaultLoc; }
4985f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
499b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff  virtual SourceRange getSourceRange() const {
500b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff    return SourceRange(DefaultLoc, SubStmt->getLocEnd());
501b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff  }
5025f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  static bool classof(const Stmt *T) {
5035f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    return T->getStmtClass() == DefaultStmtClass;
5045f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  }
5055f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  static bool classof(const DefaultStmt *) { return true; }
506d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek
507d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek  // Iterators
508d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek  virtual child_iterator child_begin();
509d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek  virtual child_iterator child_end();
5109eea2ca5f2cb5d77569274702b5b06273e426dc2Ted Kremenek
511ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek  virtual void EmitImpl(llvm::Serializer& S) const;
512e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop  static DefaultStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C);
5135f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer};
5145f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
5155f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass LabelStmt : public Stmt {
5165f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  IdentifierInfo *Label;
5175f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  Stmt *SubStmt;
518b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff  SourceLocation IdentLoc;
5195f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic:
520b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff  LabelStmt(SourceLocation IL, IdentifierInfo *label, Stmt *substmt)
521b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff    : Stmt(LabelStmtClass), Label(label),
522b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff      SubStmt(substmt), IdentLoc(IL) {}
5235f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
5245f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  SourceLocation getIdentLoc() const { return IdentLoc; }
5255f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  IdentifierInfo *getID() const { return Label; }
5265f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  const char *getName() const;
5275f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  Stmt *getSubStmt() { return SubStmt; }
5285f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  const Stmt *getSubStmt() const { return SubStmt; }
5295f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
5305f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  void setIdentLoc(SourceLocation L) { IdentLoc = L; }
5315f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  void setSubStmt(Stmt *SS) { SubStmt = SS; }
532b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff
533b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff  virtual SourceRange getSourceRange() const {
534b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff    return SourceRange(IdentLoc, SubStmt->getLocEnd());
535b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff  }
5365f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  static bool classof(const Stmt *T) {
5375f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    return T->getStmtClass() == LabelStmtClass;
5385f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  }
5395f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  static bool classof(const LabelStmt *) { return true; }
5408297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek
5418297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  // Iterators
5428297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  virtual child_iterator child_begin();
5438297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  virtual child_iterator child_end();
544b15132fda52046ba65eafd6f4b448f7aa16b7e8dTed Kremenek
545ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek  virtual void EmitImpl(llvm::Serializer& S) const;
546e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop  static LabelStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C);
5475f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer};
5485f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
5495f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
5505f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// IfStmt - This represents an if/then/else.
5515f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer///
5525f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass IfStmt : public Stmt {
5538297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  enum { COND, THEN, ELSE, END_EXPR };
5548297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  Stmt* SubExprs[END_EXPR];
555b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff  SourceLocation IfLoc;
5565f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic:
557b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff  IfStmt(SourceLocation IL, Expr *cond, Stmt *then, Stmt *elsev = 0)
558b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff    : Stmt(IfStmtClass)  {
5598297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek    SubExprs[COND] = reinterpret_cast<Stmt*>(cond);
5608297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek    SubExprs[THEN] = then;
5618297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek    SubExprs[ELSE] = elsev;
562b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff    IfLoc = IL;
5638297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  }
5645f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
5658297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  const Expr *getCond() const { return reinterpret_cast<Expr*>(SubExprs[COND]);}
5668297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  const Stmt *getThen() const { return SubExprs[THEN]; }
5678297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  const Stmt *getElse() const { return SubExprs[ELSE]; }
5685f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
5698297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  Expr *getCond() { return reinterpret_cast<Expr*>(SubExprs[COND]); }
5708297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  Stmt *getThen() { return SubExprs[THEN]; }
5718297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  Stmt *getElse() { return SubExprs[ELSE]; }
572b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff
573b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff  virtual SourceRange getSourceRange() const {
574b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff    if (SubExprs[ELSE])
575b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff      return SourceRange(IfLoc, SubExprs[ELSE]->getLocEnd());
576b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff    else
577b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff      return SourceRange(IfLoc, SubExprs[THEN]->getLocEnd());
578b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff  }
5795f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
5805f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  static bool classof(const Stmt *T) {
5815f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    return T->getStmtClass() == IfStmtClass;
5825f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  }
5835f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  static bool classof(const IfStmt *) { return true; }
5848297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek
5858297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  // Iterators
5868297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  virtual child_iterator child_begin();
5878297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  virtual child_iterator child_end();
5884210f3dfd73ad3482f9cfa0a382e1fd78f22976dTed Kremenek
589ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek  virtual void EmitImpl(llvm::Serializer& S) const;
590e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop  static IfStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C);
5915f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer};
5925f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
5935f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// SwitchStmt - This represents a 'switch' stmt.
5945f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer///
5955f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass SwitchStmt : public Stmt {
5968297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  enum { COND, BODY, END_EXPR };
5978297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  Stmt* SubExprs[END_EXPR];
598c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson  // This points to a linked list of case and default statements.
599c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson  SwitchCase *FirstCase;
6009dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff  SourceLocation SwitchLoc;
6015f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic:
6028297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  SwitchStmt(Expr *cond) : Stmt(SwitchStmtClass), FirstCase(0) {
6038297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek      SubExprs[COND] = reinterpret_cast<Stmt*>(cond);
6048297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek      SubExprs[BODY] = NULL;
6058297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek    }
6065f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
6078297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  const Expr *getCond() const { return reinterpret_cast<Expr*>(SubExprs[COND]);}
6088297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  const Stmt *getBody() const { return SubExprs[BODY]; }
609c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson  const SwitchCase *getSwitchCaseList() const { return FirstCase; }
610c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson
6118297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  Expr *getCond() { return reinterpret_cast<Expr*>(SubExprs[COND]);}
6128297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  Stmt *getBody() { return SubExprs[BODY]; }
613c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson  SwitchCase *getSwitchCaseList() { return FirstCase; }
614c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson
6159dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff  void setBody(Stmt *S, SourceLocation SL) {
6169dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff    SubExprs[BODY] = S;
6179dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff    SwitchLoc = SL;
6189dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff  }
619c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson  void addSwitchCase(SwitchCase *SC) {
620c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson    if (FirstCase)
621c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson      SC->setNextSwitchCase(FirstCase);
622c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson
623c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson    FirstCase = SC;
624c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson  }
6259dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff  virtual SourceRange getSourceRange() const {
6269dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff    return SourceRange(SwitchLoc, SubExprs[BODY]->getLocEnd());
6279dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff  }
6285f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  static bool classof(const Stmt *T) {
6295f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    return T->getStmtClass() == SwitchStmtClass;
6305f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  }
6315f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  static bool classof(const SwitchStmt *) { return true; }
6328297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek
6338297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  // Iterators
6348297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  virtual child_iterator child_begin();
6358297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  virtual child_iterator child_end();
6369eea2ca5f2cb5d77569274702b5b06273e426dc2Ted Kremenek
637ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek  virtual void EmitImpl(llvm::Serializer& S) const;
638e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop  static SwitchStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C);
6395f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer};
6405f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
6415f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
6425f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// WhileStmt - This represents a 'while' stmt.
6435f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer///
6445f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass WhileStmt : public Stmt {
6458297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  enum { COND, BODY, END_EXPR };
6468297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  Stmt* SubExprs[END_EXPR];
647b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff  SourceLocation WhileLoc;
6485f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic:
649b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff  WhileStmt(Expr *cond, Stmt *body, SourceLocation WL) : Stmt(WhileStmtClass) {
6508297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek    SubExprs[COND] = reinterpret_cast<Stmt*>(cond);
6518297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek    SubExprs[BODY] = body;
652b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff    WhileLoc = WL;
6538297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  }
6545f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
6558297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  Expr *getCond() { return reinterpret_cast<Expr*>(SubExprs[COND]); }
6568297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  const Expr *getCond() const { return reinterpret_cast<Expr*>(SubExprs[COND]);}
6578297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  Stmt *getBody() { return SubExprs[BODY]; }
6588297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  const Stmt *getBody() const { return SubExprs[BODY]; }
659b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff
660b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff  virtual SourceRange getSourceRange() const {
661b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff    return SourceRange(WhileLoc, SubExprs[BODY]->getLocEnd());
662b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff  }
6635f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  static bool classof(const Stmt *T) {
6645f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    return T->getStmtClass() == WhileStmtClass;
6655f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  }
6665f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  static bool classof(const WhileStmt *) { return true; }
6678297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek
6688297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  // Iterators
6698297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  virtual child_iterator child_begin();
6708297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  virtual child_iterator child_end();
6715572b94b76a78a35bac32d1ef04907c7a651adbaTed Kremenek
672ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek  virtual void EmitImpl(llvm::Serializer& S) const;
673e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop  static WhileStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C);
6745f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer};
6755f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
6765f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// DoStmt - This represents a 'do/while' stmt.
6775f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer///
6785f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass DoStmt : public Stmt {
6798297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  enum { COND, BODY, END_EXPR };
6808297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  Stmt* SubExprs[END_EXPR];
681b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff  SourceLocation DoLoc;
6825f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic:
683b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff  DoStmt(Stmt *body, Expr *cond, SourceLocation DL)
684b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff    : Stmt(DoStmtClass), DoLoc(DL) {
6858297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek    SubExprs[COND] = reinterpret_cast<Stmt*>(cond);
6868297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek    SubExprs[BODY] = body;
687b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff    DoLoc = DL;
6888297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  }
6895f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
6908297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  Expr *getCond() { return reinterpret_cast<Expr*>(SubExprs[COND]); }
6918297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  const Expr *getCond() const { return reinterpret_cast<Expr*>(SubExprs[COND]);}
6928297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  Stmt *getBody() { return SubExprs[BODY]; }
6938297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  const Stmt *getBody() const { return SubExprs[BODY]; }
694b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff
695b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff  virtual SourceRange getSourceRange() const {
696b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff    return SourceRange(DoLoc, SubExprs[BODY]->getLocEnd());
697b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff  }
6985f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  static bool classof(const Stmt *T) {
6995f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    return T->getStmtClass() == DoStmtClass;
7005f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  }
7015f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  static bool classof(const DoStmt *) { return true; }
7028297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek
7038297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  // Iterators
7048297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  virtual child_iterator child_begin();
7058297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  virtual child_iterator child_end();
706e3299ef345bb8a71901108bf83a824591eae6c1aTed Kremenek
707ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek  virtual void EmitImpl(llvm::Serializer& S) const;
708e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop  static DoStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C);
7095f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer};
7105f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
7115f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
7125f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// ForStmt - This represents a 'for (init;cond;inc)' stmt.  Note that any of
7135f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// the init/cond/inc parts of the ForStmt will be null if they were not
7145f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// specified in the source.
7155f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer///
7165f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass ForStmt : public Stmt {
7178297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  enum { INIT, COND, INC, BODY, END_EXPR };
7188297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  Stmt* SubExprs[END_EXPR]; // SubExprs[INIT] is an expression or declstmt.
719b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff  SourceLocation ForLoc;
7205f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic:
721b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff  ForStmt(Stmt *Init, Expr *Cond, Expr *Inc, Stmt *Body, SourceLocation FL)
722b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff    : Stmt(ForStmtClass) {
723af458c9f658335bdea482395ff4a25c75935e129Chris Lattner    SubExprs[INIT] = Init;
724af458c9f658335bdea482395ff4a25c75935e129Chris Lattner    SubExprs[COND] = reinterpret_cast<Stmt*>(Cond);
725af458c9f658335bdea482395ff4a25c75935e129Chris Lattner    SubExprs[INC] = reinterpret_cast<Stmt*>(Inc);
726af458c9f658335bdea482395ff4a25c75935e129Chris Lattner    SubExprs[BODY] = Body;
727b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff    ForLoc = FL;
728af458c9f658335bdea482395ff4a25c75935e129Chris Lattner  }
7295f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
7308297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  Stmt *getInit() { return SubExprs[INIT]; }
7318297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  Expr *getCond() { return reinterpret_cast<Expr*>(SubExprs[COND]); }
7328297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  Expr *getInc()  { return reinterpret_cast<Expr*>(SubExprs[INC]); }
7338297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  Stmt *getBody() { return SubExprs[BODY]; }
7348297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek
7358297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  const Stmt *getInit() const { return SubExprs[INIT]; }
7368297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  const Expr *getCond() const { return reinterpret_cast<Expr*>(SubExprs[COND]);}
7378297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  const Expr *getInc()  const { return reinterpret_cast<Expr*>(SubExprs[INC]); }
7388297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  const Stmt *getBody() const { return SubExprs[BODY]; }
739b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff
740b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff  virtual SourceRange getSourceRange() const {
741b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff    return SourceRange(ForLoc, SubExprs[BODY]->getLocEnd());
742b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff  }
7435f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  static bool classof(const Stmt *T) {
7445f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    return T->getStmtClass() == ForStmtClass;
7455f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  }
7465f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  static bool classof(const ForStmt *) { return true; }
7478297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek
7488297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  // Iterators
7498297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  virtual child_iterator child_begin();
7508297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  virtual child_iterator child_end();
75107ba046c7d7bbc1f42b86b3ed012eec8fc7849daTed Kremenek
752ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek  virtual void EmitImpl(llvm::Serializer& S) const;
753e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop  static ForStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C);
7545f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer};
7550196cab54007ff072ec2642da8911c6b7e8d3fb5Fariborz Jahanian
7565f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// GotoStmt - This represents a direct goto.
7575f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer///
7585f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass GotoStmt : public Stmt {
7595f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  LabelStmt *Label;
760507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff  SourceLocation GotoLoc;
76161f62165220e75694fe333179c78815e2e48d71fTed Kremenek  SourceLocation LabelLoc;
7625f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic:
76361f62165220e75694fe333179c78815e2e48d71fTed Kremenek  GotoStmt(LabelStmt *label, SourceLocation GL, SourceLocation LL)
76461f62165220e75694fe333179c78815e2e48d71fTed Kremenek    : Stmt(GotoStmtClass), Label(label), GotoLoc(GL), LabelLoc(LL) {}
7655f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
7665f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  LabelStmt *getLabel() const { return Label; }
767b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff
768507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff  virtual SourceRange getSourceRange() const {
76961f62165220e75694fe333179c78815e2e48d71fTed Kremenek    return SourceRange(GotoLoc, LabelLoc);
770507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff  }
7715f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  static bool classof(const Stmt *T) {
7725f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    return T->getStmtClass() == GotoStmtClass;
7735f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  }
7745f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  static bool classof(const GotoStmt *) { return true; }
7758297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek
7768297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  // Iterators
7778297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  virtual child_iterator child_begin();
7788297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  virtual child_iterator child_end();
7793f0767b74b16b37bcce60ff457609161a0665784Ted Kremenek
780ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek  virtual void EmitImpl(llvm::Serializer& S) const;
781e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop  static GotoStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C);
7825f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer};
7835f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
7845f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// IndirectGotoStmt - This represents an indirect goto.
7855f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer///
7865f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass IndirectGotoStmt : public Stmt {
7871060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek  Stmt *Target;
788225a2d946f73aed3b38f265fcb4e7d7d88136928Ted Kremenek  // FIXME: Add location information (e.g. SourceLocation objects).
789225a2d946f73aed3b38f265fcb4e7d7d88136928Ted Kremenek  //        When doing so, update the serialization routines.
7905f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic:
7911060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek  IndirectGotoStmt(Expr *target) : Stmt(IndirectGotoStmtClass),
7921060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek                                   Target((Stmt*)target){}
7935f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
7941060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek  Expr *getTarget();
7951060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek  const Expr *getTarget() const;
796b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff
797b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff  virtual SourceRange getSourceRange() const { return SourceRange(); }
7985f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
7995f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  static bool classof(const Stmt *T) {
8005f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    return T->getStmtClass() == IndirectGotoStmtClass;
8015f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  }
8025f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  static bool classof(const IndirectGotoStmt *) { return true; }
8038297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek
8048297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  // Iterators
8058297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  virtual child_iterator child_begin();
8068297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  virtual child_iterator child_end();
807225a2d946f73aed3b38f265fcb4e7d7d88136928Ted Kremenek
808ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek  virtual void EmitImpl(llvm::Serializer& S) const;
809e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop  static IndirectGotoStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C);
8105f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer};
8115f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
8125f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
8135f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// ContinueStmt - This represents a continue.
8145f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer///
8155f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass ContinueStmt : public Stmt {
816507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff  SourceLocation ContinueLoc;
8175f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic:
818507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff  ContinueStmt(SourceLocation CL) : Stmt(ContinueStmtClass), ContinueLoc(CL) {}
819b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff
820507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff  virtual SourceRange getSourceRange() const {
821507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff    return SourceRange(ContinueLoc);
822507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff  }
8235f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  static bool classof(const Stmt *T) {
8245f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    return T->getStmtClass() == ContinueStmtClass;
8255f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  }
8265f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  static bool classof(const ContinueStmt *) { return true; }
8278297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek
8288297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  // Iterators
8298297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  virtual child_iterator child_begin();
8308297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  virtual child_iterator child_end();
83196f22423c52c22d263b4e5f7ee762122b607459eTed Kremenek
832ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek  virtual void EmitImpl(llvm::Serializer& S) const;
833e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop  static ContinueStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C);
8345f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer};
8355f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
8365f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// BreakStmt - This represents a break.
8375f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer///
8385f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass BreakStmt : public Stmt {
839507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff  SourceLocation BreakLoc;
8405f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic:
841507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff  BreakStmt(SourceLocation BL) : Stmt(BreakStmtClass), BreakLoc(BL) {}
842b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff
843507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff  virtual SourceRange getSourceRange() const { return SourceRange(BreakLoc); }
844b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff
8455f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  static bool classof(const Stmt *T) {
8465f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    return T->getStmtClass() == BreakStmtClass;
8475f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  }
8485f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  static bool classof(const BreakStmt *) { return true; }
8498297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek
8508297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  // Iterators
8518297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  virtual child_iterator child_begin();
8528297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  virtual child_iterator child_end();
8539eea2ca5f2cb5d77569274702b5b06273e426dc2Ted Kremenek
854ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek  virtual void EmitImpl(llvm::Serializer& S) const;
855e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop  static BreakStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C);
8565f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer};
8575f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
8585f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
859c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner/// ReturnStmt - This represents a return, optionally of an expression:
860c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner///   return;
861c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner///   return 4;
862c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner///
863c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner/// Note that GCC allows return with no argument in a function declared to
864c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner/// return a value, and it allows returning a value in functions declared to
865c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner/// return void.  We explicitly model this in the AST, which means you can't
866c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner/// depend on the return type of the function and the presence of an argument.
8675f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer///
8685f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass ReturnStmt : public Stmt {
8691060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek  Stmt *RetExpr;
870507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff  SourceLocation RetLoc;
8715f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic:
872507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff  ReturnStmt(SourceLocation RL, Expr *E = 0) : Stmt(ReturnStmtClass),
8731060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek    RetExpr((Stmt*) E), RetLoc(RL) {}
8745f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
8751060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek  const Expr *getRetValue() const;
8761060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek  Expr *getRetValue();
877b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff
878507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff  virtual SourceRange getSourceRange() const;
8795f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
8805f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  static bool classof(const Stmt *T) {
8815f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    return T->getStmtClass() == ReturnStmtClass;
8825f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  }
8835f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  static bool classof(const ReturnStmt *) { return true; }
8848297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek
8858297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  // Iterators
8868297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  virtual child_iterator child_begin();
8878297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  virtual child_iterator child_end();
8882dc9ac73a8a34cabf261a81a1653d7379065ac61Ted Kremenek
889ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek  virtual void EmitImpl(llvm::Serializer& S) const;
890e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop  static ReturnStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C);
8915f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer};
8925f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
893fe795956194141c91ae555985c9b930595bff43fChris Lattner/// AsmStmt - This represents a GNU inline-assembly statement extension.
894fe795956194141c91ae555985c9b930595bff43fChris Lattner///
895fe795956194141c91ae555985c9b930595bff43fChris Lattnerclass AsmStmt : public Stmt {
896fe795956194141c91ae555985c9b930595bff43fChris Lattner  SourceLocation AsmLoc, RParenLoc;
8976a0ef4b83c91a6d6d5acb4ed5577c4659fe022a3Anders Carlsson  StringLiteral *AsmStr;
898b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson
899dfab34a696d1dba8622248c31aaf605906cb6109Anders Carlsson  bool IsSimple;
90039c47b56f45437bbc49c9568b7308a400234a730Anders Carlsson  bool IsVolatile;
90139c47b56f45437bbc49c9568b7308a400234a730Anders Carlsson
902b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson  unsigned NumOutputs;
903b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson  unsigned NumInputs;
904b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson
905b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson  llvm::SmallVector<std::string, 4> Names;
906b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson  llvm::SmallVector<StringLiteral*, 4> Constraints;
907ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  llvm::SmallVector<Stmt*, 4> Exprs;
908b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson
909b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson  llvm::SmallVector<StringLiteral*, 4> Clobbers;
910fe795956194141c91ae555985c9b930595bff43fChris Lattnerpublic:
911dfab34a696d1dba8622248c31aaf605906cb6109Anders Carlsson  AsmStmt(SourceLocation asmloc, bool issimple, bool isvolatile,
912dfab34a696d1dba8622248c31aaf605906cb6109Anders Carlsson          unsigned numoutputs, unsigned numinputs,
913dfab34a696d1dba8622248c31aaf605906cb6109Anders Carlsson          std::string *names, StringLiteral **constraints,
914db6ed1786bf460e1143f67d14bf2d71ad9856f81Chris Lattner          Expr **exprs, StringLiteral *asmstr, unsigned numclobbers,
915db6ed1786bf460e1143f67d14bf2d71ad9856f81Chris Lattner          StringLiteral **clobbers, SourceLocation rparenloc);
916b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson
91739c47b56f45437bbc49c9568b7308a400234a730Anders Carlsson  bool isVolatile() const { return IsVolatile; }
918dfab34a696d1dba8622248c31aaf605906cb6109Anders Carlsson  bool isSimple() const { return IsSimple; }
919dfab34a696d1dba8622248c31aaf605906cb6109Anders Carlsson
920b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson  unsigned getNumOutputs() const { return NumOutputs; }
921ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek
922ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  const std::string &getOutputName(unsigned i) const {
923ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek    return Names[i];
924ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  }
925ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek
926ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  const StringLiteral *getOutputConstraint(unsigned i) const {
927ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek    return Constraints[i];
928ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  }
929ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek
930b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson  StringLiteral *getOutputConstraint(unsigned i)
931b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson    { return Constraints[i]; }
932ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek
933ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  const Expr *getOutputExpr(unsigned i) const;
934ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  Expr *getOutputExpr(unsigned i);
935b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson
936b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson  unsigned getNumInputs() const { return NumInputs; }
937ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek
938ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  const std::string &getInputName(unsigned i) const {
939ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek    return Names[i + NumOutputs];
940ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  }
941ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  StringLiteral *getInputConstraint(unsigned i) {
942ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek    return Constraints[i + NumOutputs];
943ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  }
944ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  const StringLiteral *getInputConstraint(unsigned i) const {
945ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek    return Constraints[i + NumOutputs];
946ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  }
947ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek
948ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  Expr *getInputExpr(unsigned i);
949ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  const Expr *getInputExpr(unsigned i) const;
950d04c6e23f2e10eeb9936778d67f4a1c4a14cc4f6Anders Carlsson
9516a0ef4b83c91a6d6d5acb4ed5577c4659fe022a3Anders Carlsson  const StringLiteral *getAsmString() const { return AsmStr; }
9526a0ef4b83c91a6d6d5acb4ed5577c4659fe022a3Anders Carlsson  StringLiteral *getAsmString() { return AsmStr; }
9536a0ef4b83c91a6d6d5acb4ed5577c4659fe022a3Anders Carlsson
954b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson  unsigned getNumClobbers() const { return Clobbers.size(); }
955b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson  StringLiteral *getClobber(unsigned i) { return Clobbers[i]; }
956d04c6e23f2e10eeb9936778d67f4a1c4a14cc4f6Anders Carlsson  const StringLiteral *getClobber(unsigned i) const { return Clobbers[i]; }
957b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson
958fe795956194141c91ae555985c9b930595bff43fChris Lattner  virtual SourceRange getSourceRange() const {
959fe795956194141c91ae555985c9b930595bff43fChris Lattner    return SourceRange(AsmLoc, RParenLoc);
960fe795956194141c91ae555985c9b930595bff43fChris Lattner  }
961fe795956194141c91ae555985c9b930595bff43fChris Lattner
962fe795956194141c91ae555985c9b930595bff43fChris Lattner  static bool classof(const Stmt *T) {return T->getStmtClass() == AsmStmtClass;}
963fe795956194141c91ae555985c9b930595bff43fChris Lattner  static bool classof(const AsmStmt *) { return true; }
964fe795956194141c91ae555985c9b930595bff43fChris Lattner
965ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek  // Input expr iterators.
966ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek
967ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  typedef ExprIterator inputs_iterator;
968ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  typedef ConstExprIterator const_inputs_iterator;
969ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek
970ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  inputs_iterator begin_inputs() {
971ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek    return &Exprs[0] + NumOutputs;
972ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  }
973ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek
974ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  inputs_iterator end_inputs() {
975ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek    return  &Exprs[0] + NumOutputs + NumInputs;
976ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  }
977ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek
978ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  const_inputs_iterator begin_inputs() const {
979ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek    return &Exprs[0] + NumOutputs;
980ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  }
981ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek
982ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  const_inputs_iterator end_inputs() const {
983ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek    return  &Exprs[0] + NumOutputs + NumInputs;}
984ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek
985ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek  // Output expr iterators.
986ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek
987ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  typedef ExprIterator outputs_iterator;
988ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  typedef ConstExprIterator const_outputs_iterator;
989ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek
990ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek  outputs_iterator begin_outputs() { return &Exprs[0]; }
991ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  outputs_iterator end_outputs() { return &Exprs[0] + NumOutputs; }
992ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek
993ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek  const_outputs_iterator begin_outputs() const { return &Exprs[0]; }
994ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  const_outputs_iterator end_outputs() const { return &Exprs[0] + NumOutputs; }
995ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek
99645b050e72d058131e6f169fe54888bb91a003fb5Anders Carlsson  // Input name iterator.
99745b050e72d058131e6f169fe54888bb91a003fb5Anders Carlsson
99845b050e72d058131e6f169fe54888bb91a003fb5Anders Carlsson  const std::string *begin_output_names() const {
99945b050e72d058131e6f169fe54888bb91a003fb5Anders Carlsson    return &Names[0];
100045b050e72d058131e6f169fe54888bb91a003fb5Anders Carlsson  }
100145b050e72d058131e6f169fe54888bb91a003fb5Anders Carlsson
100245b050e72d058131e6f169fe54888bb91a003fb5Anders Carlsson  const std::string *end_output_names() const {
100345b050e72d058131e6f169fe54888bb91a003fb5Anders Carlsson    return &Names[0] + NumOutputs;
100445b050e72d058131e6f169fe54888bb91a003fb5Anders Carlsson  }
100545b050e72d058131e6f169fe54888bb91a003fb5Anders Carlsson
1006ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek  // Child iterators
1007ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek
1008fe795956194141c91ae555985c9b930595bff43fChris Lattner  virtual child_iterator child_begin();
1009fe795956194141c91ae555985c9b930595bff43fChris Lattner  virtual child_iterator child_end();
10101f85acd5ff54345788b93111197088160fe9f06eTed Kremenek
10111f85acd5ff54345788b93111197088160fe9f06eTed Kremenek  virtual void EmitImpl(llvm::Serializer& S) const;
1012e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop  static AsmStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C);
1013fe795956194141c91ae555985c9b930595bff43fChris Lattner};
101478492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek
101578492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek/// ObjCForCollectionStmt - This represents Objective-c's collection statement;
101678492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek/// represented as 'for (element 'in' collection-expression)' stmt.
101778492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek///
101878492dae00fb85e0da0f966df4745edafdafb66cTed Kremenekclass ObjCForCollectionStmt : public Stmt {
101978492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek  enum { ELEM, COLLECTION, BODY, END_EXPR };
102078492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek  Stmt* SubExprs[END_EXPR]; // SubExprs[ELEM] is an expression or declstmt.
102178492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek  SourceLocation ForLoc;
102278492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek  SourceLocation RParenLoc;
102378492dae00fb85e0da0f966df4745edafdafb66cTed Kremenekpublic:
102478492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek  ObjCForCollectionStmt(Stmt *Elem, Expr *Collect, Stmt *Body,
102578492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek                        SourceLocation FCL, SourceLocation RPL);
102678492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek
102778492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek  Stmt *getElement() { return SubExprs[ELEM]; }
102878492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek  Expr *getCollection() {
102978492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek    return reinterpret_cast<Expr*>(SubExprs[COLLECTION]);
103078492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek  }
103178492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek  Stmt *getBody() { return SubExprs[BODY]; }
103278492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek
103378492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek  const Stmt *getElement() const { return SubExprs[ELEM]; }
103478492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek  const Expr *getCollection() const {
103578492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek    return reinterpret_cast<Expr*>(SubExprs[COLLECTION]);
103678492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek  }
103778492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek  const Stmt *getBody() const { return SubExprs[BODY]; }
103878492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek
103978492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek  SourceLocation getRParenLoc() const { return RParenLoc; }
104078492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek
104178492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek  virtual SourceRange getSourceRange() const {
104278492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek    return SourceRange(ForLoc, SubExprs[BODY]->getLocEnd());
104378492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek  }
104478492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek  static bool classof(const Stmt *T) {
104578492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek    return T->getStmtClass() == ObjCForCollectionStmtClass;
104678492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek  }
104778492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek  static bool classof(const ObjCForCollectionStmt *) { return true; }
104878492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek
104978492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek  // Iterators
105078492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek  virtual child_iterator child_begin();
105178492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek  virtual child_iterator child_end();
105278492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek
105378492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek  virtual void EmitImpl(llvm::Serializer& S) const;
1054e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop  static ObjCForCollectionStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C);
105578492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek};
1056b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian
1057a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek/// ObjCAtCatchStmt - This represents objective-c's @catch statement.
1058a526c5c67e5a0473c340903ee542ce570119665fTed Kremenekclass ObjCAtCatchStmt : public Stmt {
1059b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanianprivate:
10607ba138abd329e591a8f6d5001f60dd7082f71b3bSteve Naroff  enum { BODY, NEXT_CATCH, END_EXPR };
10617ba138abd329e591a8f6d5001f60dd7082f71b3bSteve Naroff  ParmVarDecl *ExceptionDecl;
10623b1191d7eaf2f4984564e01ab84b6713a9d80e70Fariborz Jahanian  Stmt *SubExprs[END_EXPR];
1063b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian  SourceLocation AtCatchLoc, RParenLoc;
1064af526779b36f43f59e47cfc5b10bb0c48562f4a9Ted Kremenek
1065af526779b36f43f59e47cfc5b10bb0c48562f4a9Ted Kremenek  // Used by deserialization.
1066a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek  ObjCAtCatchStmt(SourceLocation atCatchLoc, SourceLocation rparenloc)
1067a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek  : Stmt(ObjCAtCatchStmtClass), AtCatchLoc(atCatchLoc), RParenLoc(rparenloc) {}
1068af526779b36f43f59e47cfc5b10bb0c48562f4a9Ted Kremenek
1069b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanianpublic:
1070a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek  ObjCAtCatchStmt(SourceLocation atCatchLoc, SourceLocation rparenloc,
10717ba138abd329e591a8f6d5001f60dd7082f71b3bSteve Naroff                  ParmVarDecl *catchVarDecl,
107293b2bdb866d49e3dab4623a822db281042e87382Daniel Dunbar                  Stmt *atCatchStmt, Stmt *atCatchList);
1073b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian
1074606efdfeb9eef70871eb62a26dfd115e209e899cFariborz Jahanian  const Stmt *getCatchBody() const { return SubExprs[BODY]; }
1075606efdfeb9eef70871eb62a26dfd115e209e899cFariborz Jahanian  Stmt *getCatchBody() { return SubExprs[BODY]; }
1076ff981021554a4965943ca2d19019cea811614602Ted Kremenek
1077ff981021554a4965943ca2d19019cea811614602Ted Kremenek  const ObjCAtCatchStmt *getNextCatchStmt() const {
1078ff981021554a4965943ca2d19019cea811614602Ted Kremenek    return static_cast<const ObjCAtCatchStmt*>(SubExprs[NEXT_CATCH]);
1079ff981021554a4965943ca2d19019cea811614602Ted Kremenek  }
1080ff981021554a4965943ca2d19019cea811614602Ted Kremenek  ObjCAtCatchStmt *getNextCatchStmt() {
1081ff981021554a4965943ca2d19019cea811614602Ted Kremenek    return static_cast<ObjCAtCatchStmt*>(SubExprs[NEXT_CATCH]);
1082ff981021554a4965943ca2d19019cea811614602Ted Kremenek  }
1083ff981021554a4965943ca2d19019cea811614602Ted Kremenek
10847ba138abd329e591a8f6d5001f60dd7082f71b3bSteve Naroff  const ParmVarDecl *getCatchParamDecl() const {
10857ba138abd329e591a8f6d5001f60dd7082f71b3bSteve Naroff    return ExceptionDecl;
10867ba138abd329e591a8f6d5001f60dd7082f71b3bSteve Naroff  }
10877ba138abd329e591a8f6d5001f60dd7082f71b3bSteve Naroff  ParmVarDecl *getCatchParamDecl() {
10887ba138abd329e591a8f6d5001f60dd7082f71b3bSteve Naroff    return ExceptionDecl;
108993b2bdb866d49e3dab4623a822db281042e87382Daniel Dunbar  }
10907794cb85d394750db0631c02b7aa7837ae56764cFariborz Jahanian
10917573098b83e780d1c5bea13b384b610d8f155676Steve Naroff  SourceLocation getRParenLoc() const { return RParenLoc; }
10927573098b83e780d1c5bea13b384b610d8f155676Steve Naroff
1093b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian  virtual SourceRange getSourceRange() const {
10943b1191d7eaf2f4984564e01ab84b6713a9d80e70Fariborz Jahanian    return SourceRange(AtCatchLoc, SubExprs[BODY]->getLocEnd());
1095b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian  }
1096be4b3332c2d17c03af6d015d9e8e2cc524806e6eSteve Naroff
10977ba138abd329e591a8f6d5001f60dd7082f71b3bSteve Naroff  bool hasEllipsis() const { return getCatchParamDecl() == 0; }
1098be4b3332c2d17c03af6d015d9e8e2cc524806e6eSteve Naroff
1099b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian  static bool classof(const Stmt *T) {
1100a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek    return T->getStmtClass() == ObjCAtCatchStmtClass;
1101b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian  }
1102a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek  static bool classof(const ObjCAtCatchStmt *) { return true; }
1103b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian
1104b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian  virtual child_iterator child_begin();
1105b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian  virtual child_iterator child_end();
1106af526779b36f43f59e47cfc5b10bb0c48562f4a9Ted Kremenek
1107af526779b36f43f59e47cfc5b10bb0c48562f4a9Ted Kremenek  virtual void EmitImpl(llvm::Serializer& S) const;
1108e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop  static ObjCAtCatchStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C);
1109b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian};
1110b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian
1111a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek/// ObjCAtFinallyStmt - This represent objective-c's @finally Statement
1112a526c5c67e5a0473c340903ee542ce570119665fTed Kremenekclass ObjCAtFinallyStmt : public Stmt {
111304be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek  Stmt *AtFinallyStmt;
111404be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek  SourceLocation AtFinallyLoc;
111504be5aae2dc17292e2007401599638f3c6ba30deTed Kremenekpublic:
1116a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek  ObjCAtFinallyStmt(SourceLocation atFinallyLoc, Stmt *atFinallyStmt)
1117a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek  : Stmt(ObjCAtFinallyStmtClass),
111804be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek    AtFinallyStmt(atFinallyStmt), AtFinallyLoc(atFinallyLoc) {}
11197794cb85d394750db0631c02b7aa7837ae56764cFariborz Jahanian
112004be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek  const Stmt *getFinallyBody () const { return AtFinallyStmt; }
112104be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek  Stmt *getFinallyBody () { return AtFinallyStmt; }
112204be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek
112304be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek  virtual SourceRange getSourceRange() const {
112404be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek    return SourceRange(AtFinallyLoc, AtFinallyStmt->getLocEnd());
112504be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek  }
112604be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek
112704be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek  static bool classof(const Stmt *T) {
1128a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek    return T->getStmtClass() == ObjCAtFinallyStmtClass;
112904be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek  }
1130a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek  static bool classof(const ObjCAtFinallyStmt *) { return true; }
113104be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek
113204be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek  virtual child_iterator child_begin();
113304be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek  virtual child_iterator child_end();
113404be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek
113504be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek  virtual void EmitImpl(llvm::Serializer& S) const;
1136e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop  static ObjCAtFinallyStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C);
1137b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian};
1138b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian
1139a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek/// ObjCAtTryStmt - This represent objective-c's over-all
1140b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian/// @try ... @catch ... @finally statement.
1141a526c5c67e5a0473c340903ee542ce570119665fTed Kremenekclass ObjCAtTryStmt : public Stmt {
1142b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanianprivate:
114389079eac7d6e3091b74b477a4a5ff0cdaf35496cFariborz Jahanian  enum { TRY, CATCH, FINALLY, END_EXPR };
114489079eac7d6e3091b74b477a4a5ff0cdaf35496cFariborz Jahanian  Stmt* SubStmts[END_EXPR];
1145b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian
11469c1efff14b0e001f73c875ed5b184fb3569d641dTed Kremenek  SourceLocation AtTryLoc;
1147b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanianpublic:
1148a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek  ObjCAtTryStmt(SourceLocation atTryLoc, Stmt *atTryStmt,
1149bd49a647afd9cc534fef13cadf652d4e9c396e2bFariborz Jahanian                Stmt *atCatchStmt,
1150bd49a647afd9cc534fef13cadf652d4e9c396e2bFariborz Jahanian                Stmt *atFinallyStmt)
1151a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek  : Stmt(ObjCAtTryStmtClass) {
1152b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian      SubStmts[TRY] = atTryStmt;
1153b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian      SubStmts[CATCH] = atCatchStmt;
1154b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian      SubStmts[FINALLY] = atFinallyStmt;
1155ccdbc5c6f14965d91a352d114c109a9d4d9552b8Steve Naroff      AtTryLoc = atTryLoc;
1156b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian    }
1157b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian
11588aab17e82aab6b3f266ef1884253226d2cb8b8d8Fariborz Jahanian  const Stmt *getTryBody() const { return SubStmts[TRY]; }
11598aab17e82aab6b3f266ef1884253226d2cb8b8d8Fariborz Jahanian  Stmt *getTryBody() { return SubStmts[TRY]; }
1160a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek  const ObjCAtCatchStmt *getCatchStmts() const {
1161a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek    return dyn_cast_or_null<ObjCAtCatchStmt>(SubStmts[CATCH]);
11627573098b83e780d1c5bea13b384b610d8f155676Steve Naroff  }
1163a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek  ObjCAtCatchStmt *getCatchStmts() {
1164a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek    return dyn_cast_or_null<ObjCAtCatchStmt>(SubStmts[CATCH]);
11657573098b83e780d1c5bea13b384b610d8f155676Steve Naroff  }
1166a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek  const ObjCAtFinallyStmt *getFinallyStmt() const {
1167a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek    return dyn_cast_or_null<ObjCAtFinallyStmt>(SubStmts[FINALLY]);
11687573098b83e780d1c5bea13b384b610d8f155676Steve Naroff  }
1169a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek  ObjCAtFinallyStmt *getFinallyStmt() {
1170a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek    return dyn_cast_or_null<ObjCAtFinallyStmt>(SubStmts[FINALLY]);
11717573098b83e780d1c5bea13b384b610d8f155676Steve Naroff  }
1172b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian  virtual SourceRange getSourceRange() const {
1173b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian    return SourceRange(AtTryLoc, SubStmts[TRY]->getLocEnd());
1174b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian  }
1175b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian
1176b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian  static bool classof(const Stmt *T) {
1177a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek    return T->getStmtClass() == ObjCAtTryStmtClass;
1178b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian  }
1179a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek  static bool classof(const ObjCAtTryStmt *) { return true; }
1180b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian
1181b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian  virtual child_iterator child_begin();
1182b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian  virtual child_iterator child_end();
11839c1efff14b0e001f73c875ed5b184fb3569d641dTed Kremenek
11849c1efff14b0e001f73c875ed5b184fb3569d641dTed Kremenek  virtual void EmitImpl(llvm::Serializer& S) const;
1185e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop  static ObjCAtTryStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C);
1186b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian};
1187fe795956194141c91ae555985c9b930595bff43fChris Lattner
1188c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian/// ObjCAtSynchronizedStmt - This is for objective-c's @synchronized statement.
118978a677bbb5fa115fa0995b5783adeeefad67167eFariborz Jahanian/// Example: @synchronized (sem) {
1190bd144b7ac70cc96cb1ff822347c2bb9b330729ecFariborz Jahanian///             do-something;
119178a677bbb5fa115fa0995b5783adeeefad67167eFariborz Jahanian///          }
1192c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian///
1193c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanianclass ObjCAtSynchronizedStmt : public Stmt {
1194c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanianprivate:
1195a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian  enum { SYNC_EXPR, SYNC_BODY, END_EXPR };
1196a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian  Stmt* SubStmts[END_EXPR];
1197c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian  SourceLocation AtSynchronizedLoc;
1198c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian
1199c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanianpublic:
1200a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian  ObjCAtSynchronizedStmt(SourceLocation atSynchronizedLoc, Stmt *synchExpr,
1201c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian                         Stmt *synchBody)
1202a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian  : Stmt(ObjCAtSynchronizedStmtClass) {
1203a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian      SubStmts[SYNC_EXPR] = synchExpr;
1204a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian      SubStmts[SYNC_BODY] = synchBody;
1205a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian      AtSynchronizedLoc = atSynchronizedLoc;
1206a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian    }
1207c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian
120878a677bbb5fa115fa0995b5783adeeefad67167eFariborz Jahanian  const CompoundStmt *getSynchBody() const {
120978a677bbb5fa115fa0995b5783adeeefad67167eFariborz Jahanian    return reinterpret_cast<CompoundStmt*>(SubStmts[SYNC_BODY]);
121078a677bbb5fa115fa0995b5783adeeefad67167eFariborz Jahanian  }
121178a677bbb5fa115fa0995b5783adeeefad67167eFariborz Jahanian  CompoundStmt *getSynchBody() {
121278a677bbb5fa115fa0995b5783adeeefad67167eFariborz Jahanian    return reinterpret_cast<CompoundStmt*>(SubStmts[SYNC_BODY]);
121378a677bbb5fa115fa0995b5783adeeefad67167eFariborz Jahanian  }
1214c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian
1215a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian  const Expr *getSynchExpr() const {
1216a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian    return reinterpret_cast<Expr*>(SubStmts[SYNC_EXPR]);
1217a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian  }
1218a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian  Expr *getSynchExpr() {
1219a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian    return reinterpret_cast<Expr*>(SubStmts[SYNC_EXPR]);
1220a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian  }
1221c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian
1222c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian  virtual SourceRange getSourceRange() const {
1223a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian    return SourceRange(AtSynchronizedLoc, getSynchBody()->getLocEnd());
1224c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian  }
1225c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian
1226c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian  static bool classof(const Stmt *T) {
1227c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian    return T->getStmtClass() == ObjCAtSynchronizedStmtClass;
1228c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian  }
1229c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian  static bool classof(const ObjCAtSynchronizedStmt *) { return true; }
1230c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian
1231fa3ee8e6776634caf064ba5928ca7699d317a280Fariborz Jahanian  virtual child_iterator child_begin();
1232fa3ee8e6776634caf064ba5928ca7699d317a280Fariborz Jahanian  virtual child_iterator child_end();
1233fa3ee8e6776634caf064ba5928ca7699d317a280Fariborz Jahanian
1234c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian  virtual void EmitImpl(llvm::Serializer& S) const;
1235e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop  static ObjCAtSynchronizedStmt* CreateImpl(llvm::Deserializer& D,
1236e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop                                            ASTContext& C);
1237c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian};
1238c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian
1239a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek/// ObjCAtThrowStmt - This represents objective-c's @throw statement.
1240a526c5c67e5a0473c340903ee542ce570119665fTed Kremenekclass ObjCAtThrowStmt : public Stmt {
124139f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian  Stmt *Throw;
124239f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian  SourceLocation AtThrowLoc;
124339f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanianpublic:
1244a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek  ObjCAtThrowStmt(SourceLocation atThrowLoc, Stmt *throwExpr)
1245a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek  : Stmt(ObjCAtThrowStmtClass), Throw(throwExpr) {
124639f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian    AtThrowLoc = atThrowLoc;
124739f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian  }
124839f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian
1249e0def7589a8afa8a6acef13476bb3f882c104b91Chris Lattner  const Expr *getThrowExpr() const { return reinterpret_cast<Expr*>(Throw); }
1250e0def7589a8afa8a6acef13476bb3f882c104b91Chris Lattner  Expr *getThrowExpr() { return reinterpret_cast<Expr*>(Throw); }
125139f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian
125220ebf8f15df48f27ce2bf7c1b3ae87565235600fSteve Naroff  virtual SourceRange getSourceRange() const {
125320ebf8f15df48f27ce2bf7c1b3ae87565235600fSteve Naroff    if (Throw)
125420ebf8f15df48f27ce2bf7c1b3ae87565235600fSteve Naroff      return SourceRange(AtThrowLoc, Throw->getLocEnd());
1255db6ed1786bf460e1143f67d14bf2d71ad9856f81Chris Lattner    else
1256db6ed1786bf460e1143f67d14bf2d71ad9856f81Chris Lattner      return SourceRange(AtThrowLoc);
125739f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian  }
125839f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian
125939f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian  static bool classof(const Stmt *T) {
1260a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek    return T->getStmtClass() == ObjCAtThrowStmtClass;
126139f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian  }
1262a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek  static bool classof(const ObjCAtThrowStmt *) { return true; }
126339f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian
126439f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian  virtual child_iterator child_begin();
126539f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian  virtual child_iterator child_end();
12665bdd4e300b432246b9d261702828e9875414128bTed Kremenek
12675bdd4e300b432246b9d261702828e9875414128bTed Kremenek  virtual void EmitImpl(llvm::Serializer& S) const;
1268e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop  static ObjCAtThrowStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C);
126939f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian};
127039f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian
12714b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl/// CXXCatchStmt - This represents a C++ catch block.
12724b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redlclass CXXCatchStmt : public Stmt {
12734b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl  SourceLocation CatchLoc;
12744b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl  /// The exception-declaration of the type.
12754b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl  Decl *ExceptionDecl;
12764b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl  /// The handler block.
12774b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl  Stmt *HandlerBlock;
12784b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl
12794b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redlpublic:
12804b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl  CXXCatchStmt(SourceLocation catchLoc, Decl *exDecl, Stmt *handlerBlock)
12814b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl  : Stmt(CXXCatchStmtClass), CatchLoc(catchLoc), ExceptionDecl(exDecl),
12824b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl    HandlerBlock(handlerBlock) {}
12834b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl
12844b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl  virtual void Destroy(ASTContext& Ctx);
12854b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl
12864b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl  virtual SourceRange getSourceRange() const {
12874b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl    return SourceRange(CatchLoc, HandlerBlock->getLocEnd());
12884b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl  }
12894b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl
12904b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl  Decl *getExceptionDecl() { return ExceptionDecl; }
12914b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl  QualType getCaughtType();
12924b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl  Stmt *getHandlerBlock() { return HandlerBlock; }
12934b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl
12944b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl  static bool classof(const Stmt *T) {
12954b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl    return T->getStmtClass() == CXXCatchStmtClass;
12964b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl  }
12974b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl  static bool classof(const CXXCatchStmt *) { return true; }
12984b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl
12994b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl  virtual child_iterator child_begin();
13004b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl  virtual child_iterator child_end();
13014b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl
13024b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl  virtual void EmitImpl(llvm::Serializer& S) const;
13034b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl  static CXXCatchStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C);
13044b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl};
13054b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl
13068351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl/// CXXTryStmt - A C++ try block, including all handlers.
13078351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redlclass CXXTryStmt : public Stmt {
13088351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl  SourceLocation TryLoc;
13098351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl  // First place is the guarded CompoundStatement. Subsequent are the handlers.
13108351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl  // More than three handlers should be rare.
13118351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl  llvm::SmallVector<Stmt*, 4> Stmts;
13128351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl
13138351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redlpublic:
13148351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl  CXXTryStmt(SourceLocation tryLoc, Stmt *tryBlock,
13158351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl             Stmt **handlers, unsigned numHandlers);
13168351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl
13178351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl  virtual SourceRange getSourceRange() const {
13188351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl    return SourceRange(TryLoc, Stmts.back()->getLocEnd());
13198351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl  }
13208351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl
13218351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl  CompoundStmt *getTryBlock() { return llvm::cast<CompoundStmt>(Stmts[0]); }
13228351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl  const CompoundStmt *getTryBlock() const {
13238351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl    return llvm::cast<CompoundStmt>(Stmts[0]);
13248351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl  }
13258351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl
13268351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl  unsigned getNumHandlers() const { return Stmts.size() - 1; }
13278351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl  CXXCatchStmt *getHandler(unsigned i) {
13288351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl    return llvm::cast<CXXCatchStmt>(Stmts[i + 1]);
13298351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl  }
13308351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl  const CXXCatchStmt *getHandler(unsigned i) const {
13318351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl    return llvm::cast<CXXCatchStmt>(Stmts[i + 1]);
13328351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl  }
13338351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl
13348351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl  static bool classof(const Stmt *T) {
13358351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl    return T->getStmtClass() == CXXTryStmtClass;
13368351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl  }
13378351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl  static bool classof(const CXXTryStmt *) { return true; }
13388351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl
13398351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl  virtual child_iterator child_begin();
13408351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl  virtual child_iterator child_end();
13418351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl
13428351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl  virtual void EmitImpl(llvm::Serializer& S) const;
13438351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl  static CXXTryStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C);
13448351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl};
13458351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl
13465f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}  // end namespace clang
13475f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
13485f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#endif
1349