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