Stmt.h revision e2dedf8f61b8f306f704781456b482eb61871e8e
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;
344b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl  class QualType;
355f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  class IdentifierInfo;
360c727a35718556866a978f64ac549d9798735f08Chris Lattner  class SourceManager;
376a0ef4b83c91a6d6d5acb4ed5577c4659fe022a3Anders Carlsson  class StringLiteral;
386c36be5b383875b490684bcf439d6d427298c1afChris Lattner  class SwitchStmt;
3942a509f6a4f71bb805cc4abbb26722a34dffdddeTed Kremenek  class PrinterHelper;
40ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek
41ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  //===----------------------------------------------------------------------===//
42ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  // ExprIterator - Iterators for iterating over Stmt* arrays that contain
43ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  //  only Expr*.  This is needed because AST nodes use Stmt* arrays to store
44ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  //  references to children (to be compatible with StmtIterator).
45ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  //===----------------------------------------------------------------------===//
46ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek
47ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  class Stmt;
48ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  class Expr;
49ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek
50ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  class ExprIterator {
51ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek    Stmt** I;
52ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  public:
53ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek    ExprIterator(Stmt** i) : I(i) {}
54ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek    ExprIterator() : I(0) {}
55ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek    ExprIterator& operator++() { ++I; return *this; }
56ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek    ExprIterator operator-(size_t i) { return I-i; }
57ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek    ExprIterator operator+(size_t i) { return I+i; }
58ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek    Expr* operator[](size_t idx);
59ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek    // FIXME: Verify that this will correctly return a signed distance.
60ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek    signed operator-(const ExprIterator& R) const { return I - R.I; }
61ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek    Expr* operator*() const;
62ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek    Expr* operator->() const;
63ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek    bool operator==(const ExprIterator& R) const { return I == R.I; }
64ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek    bool operator!=(const ExprIterator& R) const { return I != R.I; }
65ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek    bool operator>(const ExprIterator& R) const { return I > R.I; }
66ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek    bool operator>=(const ExprIterator& R) const { return I >= R.I; }
67ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  };
68ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek
69ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  class ConstExprIterator {
70ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek    Stmt* const * I;
71ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  public:
72ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek    ConstExprIterator(Stmt* const* i) : I(i) {}
73ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek    ConstExprIterator() : I(0) {}
74ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek    ConstExprIterator& operator++() { ++I; return *this; }
75ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek    ConstExprIterator operator+(size_t i) { return I+i; }
76ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek    ConstExprIterator operator-(size_t i) { return I-i; }
77ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek    const Expr * operator[](size_t idx) const;
78ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek    signed operator-(const ConstExprIterator& R) const { return I - R.I; }
79ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek    const Expr * operator*() const;
80ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek    const Expr * operator->() const;
81ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek    bool operator==(const ConstExprIterator& R) const { return I == R.I; }
82ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek    bool operator!=(const ConstExprIterator& R) const { return I != R.I; }
83ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek    bool operator>(const ConstExprIterator& R) const { return I > R.I; }
84ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek    bool operator>=(const ConstExprIterator& R) const { return I >= R.I; }
85ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  };
86ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek
87ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek//===----------------------------------------------------------------------===//
88ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek// AST classes for statements.
89ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek//===----------------------------------------------------------------------===//
90ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek
915f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// Stmt - This represents one statement.
925f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer///
935f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass Stmt {
945f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic:
955f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  enum StmtClass {
96f2cad8633e46cce12fc3d77c0bd451ffd7264bafDouglas Gregor    NoStmtClass = 0,
97f2cad8633e46cce12fc3d77c0bd451ffd7264bafDouglas Gregor#define STMT(CLASS, PARENT) CLASS##Class,
98f2cad8633e46cce12fc3d77c0bd451ffd7264bafDouglas Gregor#define FIRST_STMT(CLASS) firstStmtConstant = CLASS##Class,
99f2cad8633e46cce12fc3d77c0bd451ffd7264bafDouglas Gregor#define LAST_STMT(CLASS) lastStmtConstant = CLASS##Class,
100f2cad8633e46cce12fc3d77c0bd451ffd7264bafDouglas Gregor#define FIRST_EXPR(CLASS) firstExprConstant = CLASS##Class,
101f2cad8633e46cce12fc3d77c0bd451ffd7264bafDouglas Gregor#define LAST_EXPR(CLASS) lastExprConstant = CLASS##Class
1025f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#include "clang/AST/StmtNodes.def"
1035f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer};
1045f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerprivate:
1055f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  const StmtClass sClass;
1068189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek
1078189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek  // Make vanilla 'new' and 'delete' illegal for Stmts.
1088189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenekprotected:
1098189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek  void* operator new(size_t bytes) throw() {
1108189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek    assert(0 && "Stmts cannot be allocated with regular 'new'.");
1118189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek    return 0;
1128189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek  }
1138189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek  void operator delete(void* data) throw() {
1148189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek    assert(0 && "Stmts cannot be released with regular 'delete'.");
1158189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek  }
1168189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek
1178189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenekpublic:
1188189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek  // Only allow allocation of Stmts using the allocator in ASTContext
1198189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek  // or by doing a placement new.
1208189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek  void* operator new(size_t bytes, ASTContext& C,
1218189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek                     unsigned alignment = 16) throw() {
1228189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek    return ::operator new(bytes, C, alignment);
1238189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek  }
1248189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek
1258189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek  void* operator new(size_t bytes, ASTContext* C,
1268189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek                     unsigned alignment = 16) throw() {
1278189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek    return ::operator new(bytes, *C, alignment);
1288189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek  }
1298189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek
1308189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek  void* operator new(size_t bytes, void* mem) throw() {
1318189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek    return mem;
1328189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek  }
133e2dedf8f61b8f306f704781456b482eb61871e8eDouglas Gregor
134e2dedf8f61b8f306f704781456b482eb61871e8eDouglas Gregor  void operator delete(void*, ASTContext& C) throw() { }
135e2dedf8f61b8f306f704781456b482eb61871e8eDouglas Gregor  void operator delete(void*, ASTContext& C, unsigned alignment) throw() { }
136e2dedf8f61b8f306f704781456b482eb61871e8eDouglas Gregor  void operator delete(void*, std::size_t) throw() { }
137e2dedf8f61b8f306f704781456b482eb61871e8eDouglas Gregor
1389c1863ef36a74e8203f00289d19856ad956f48b9Ted Kremenekprotected:
1399c1863ef36a74e8203f00289d19856ad956f48b9Ted Kremenek  /// DestroyChildren - Invoked by destructors of subclasses of Stmt to
1409c1863ef36a74e8203f00289d19856ad956f48b9Ted Kremenek  ///  recursively release child AST nodes.
14127f8a28bee33bb0e857cfe1a61c281bbc234b338Ted Kremenek  void DestroyChildren(ASTContext& Ctx);
1429c1863ef36a74e8203f00289d19856ad956f48b9Ted Kremenek
1435f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic:
1445f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  Stmt(StmtClass SC) : sClass(SC) {
1455f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    if (Stmt::CollectingStats()) Stmt::addStmtClass(SC);
1465f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  }
1475f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  virtual ~Stmt() {}
14827f8a28bee33bb0e857cfe1a61c281bbc234b338Ted Kremenek
14927f8a28bee33bb0e857cfe1a61c281bbc234b338Ted Kremenek  virtual void Destroy(ASTContext& Ctx);
1505f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
1515f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  StmtClass getStmtClass() const { return sClass; }
1525f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  const char *getStmtClassName() const;
153b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff
154b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff  /// SourceLocation tokens are not useful in isolation - they are low level
155b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff  /// value objects created/interpreted by SourceManager. We assume AST
156b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff  /// clients will have a pointer to the respective SourceManager.
157b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff  virtual SourceRange getSourceRange() const = 0;
158311ff02fae0392bee6abe7723cdf5a69b2899a47Chris Lattner  SourceLocation getLocStart() const { return getSourceRange().getBegin(); }
159311ff02fae0392bee6abe7723cdf5a69b2899a47Chris Lattner  SourceLocation getLocEnd() const { return getSourceRange().getEnd(); }
1605f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
1615f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  // global temp stats (until we have a per-module visitor)
1625f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  static void addStmtClass(const StmtClass s);
1635f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  static bool CollectingStats(bool enable=false);
1645f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  static void PrintStats();
1656000dace22f110d8768476989313e9d981d690d0Chris Lattner
1666000dace22f110d8768476989313e9d981d690d0Chris Lattner  /// dump - This does a local dump of the specified AST fragment.  It dumps the
1676000dace22f110d8768476989313e9d981d690d0Chris Lattner  /// specified node and a few nodes underneath it, but not the whole subtree.
1686000dace22f110d8768476989313e9d981d690d0Chris Lattner  /// This is useful in a debugger.
1695f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  void dump() const;
170e300c870f08d08badf2ebcb53ded49f304af37fcChris Lattner  void dump(SourceManager &SM) const;
1716000dace22f110d8768476989313e9d981d690d0Chris Lattner
1726000dace22f110d8768476989313e9d981d690d0Chris Lattner  /// dumpAll - This does a dump of the specified AST fragment and all subtrees.
1736000dace22f110d8768476989313e9d981d690d0Chris Lattner  void dumpAll() const;
174e300c870f08d08badf2ebcb53ded49f304af37fcChris Lattner  void dumpAll(SourceManager &SM) const;
1756000dace22f110d8768476989313e9d981d690d0Chris Lattner
1766000dace22f110d8768476989313e9d981d690d0Chris Lattner  /// dumpPretty/printPretty - These two methods do a "pretty print" of the AST
1776000dace22f110d8768476989313e9d981d690d0Chris Lattner  /// back to its original source language syntax.
1786000dace22f110d8768476989313e9d981d690d0Chris Lattner  void dumpPretty() const;
179a95d3750441ac8ad03e36af8e6e74039c9a3109dTed Kremenek  void printPretty(llvm::raw_ostream &OS, PrinterHelper* = NULL) const;
1805f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
181d2a4a1af1088fca80e2dc76eb3369db0fbbfdefdTed Kremenek  /// viewAST - Visualize an AST rooted at this Stmt* using GraphViz.  Only
182d2a4a1af1088fca80e2dc76eb3369db0fbbfdefdTed Kremenek  ///   works on systems with GraphViz (Mac OS X) or dot+gv installed.
183d2a4a1af1088fca80e2dc76eb3369db0fbbfdefdTed Kremenek  void viewAST() const;
184d2a4a1af1088fca80e2dc76eb3369db0fbbfdefdTed Kremenek
1855f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  // Implement isa<T> support.
1868297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  static bool classof(const Stmt *) { return true; }
18777ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek
188d48ade633d96b94cb435d73e2c935ea457152decTed Kremenek  /// hasImplicitControlFlow - Some statements (e.g. short circuited operations)
189d48ade633d96b94cb435d73e2c935ea457152decTed Kremenek  ///  contain implicit control-flow in the order their subexpressions
190d48ade633d96b94cb435d73e2c935ea457152decTed Kremenek  ///  are evaluated.  This predicate returns true if this statement has
191d48ade633d96b94cb435d73e2c935ea457152decTed Kremenek  ///  such implicit control-flow.  Such statements are also specially handled
192d48ade633d96b94cb435d73e2c935ea457152decTed Kremenek  ///  within CFGs.
193d48ade633d96b94cb435d73e2c935ea457152decTed Kremenek  bool hasImplicitControlFlow() const;
194d48ade633d96b94cb435d73e2c935ea457152decTed Kremenek
19577ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek  /// Child Iterators: All subclasses must implement child_begin and child_end
19677ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek  ///  to permit easy iteration over the substatements/subexpessions of an
19777ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek  ///  AST node.  This permits easy iteration over all nodes in the AST.
1989caf8b1ca6beb254f420dada3c0e94d5ef027f58Ted Kremenek  typedef StmtIterator       child_iterator;
1999caf8b1ca6beb254f420dada3c0e94d5ef027f58Ted Kremenek  typedef ConstStmtIterator  const_child_iterator;
20077ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek
2018297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  virtual child_iterator child_begin() = 0;
2028297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  virtual child_iterator child_end()   = 0;
20377ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek
20477ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek  const_child_iterator child_begin() const {
2059caf8b1ca6beb254f420dada3c0e94d5ef027f58Ted Kremenek    return const_child_iterator(const_cast<Stmt*>(this)->child_begin());
20677ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek  }
20777ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek
20877ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek  const_child_iterator child_end() const {
2099caf8b1ca6beb254f420dada3c0e94d5ef027f58Ted Kremenek    return const_child_iterator(const_cast<Stmt*>(this)->child_end());
21077ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek  }
2112dc9ac73a8a34cabf261a81a1653d7379065ac61Ted Kremenek
2122dc9ac73a8a34cabf261a81a1653d7379065ac61Ted Kremenek  void Emit(llvm::Serializer& S) const;
213e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop  static Stmt* Create(llvm::Deserializer& D, ASTContext& C);
214e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop
215ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek  virtual void EmitImpl(llvm::Serializer& S) const {
2162dc9ac73a8a34cabf261a81a1653d7379065ac61Ted Kremenek    // This method will eventually be a pure-virtual function.
2172dc9ac73a8a34cabf261a81a1653d7379065ac61Ted Kremenek    assert (false && "Not implemented.");
2182dc9ac73a8a34cabf261a81a1653d7379065ac61Ted Kremenek  }
2195f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer};
2205f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
2215f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// DeclStmt - Adaptor class for mixing declarations with statements and
2225f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// expressions. For example, CompoundStmt mixes statements, expressions
2235f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// and declarations (variables, types). Another example is ForStmt, where
2245f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// the first statement can be an expression or a declaration.
2255f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer///
2265f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass DeclStmt : public Stmt {
22765aa3b9fda7b2114f708014e3d42176abc0e39abTed Kremenekprotected:
2288ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek  DeclGroupOwningRef DG;
22981c018d9482e7cc2addadc6202dcf162a01faefdChris Lattner  SourceLocation StartLoc, EndLoc;
2305f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic:
2318ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek  DeclStmt(DeclGroupOwningRef& dg, SourceLocation startLoc,
2328ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek           SourceLocation endLoc) : Stmt(DeclStmtClass), DG(dg),
2338ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek                                    StartLoc(startLoc), EndLoc(endLoc) {}
2345f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
2358e355f296a3ba45b94de49dbb18ae6a6e67df04cTed Kremenek  virtual void Destroy(ASTContext& Ctx);
2368e355f296a3ba45b94de49dbb18ae6a6e67df04cTed Kremenek
23765aa3b9fda7b2114f708014e3d42176abc0e39abTed Kremenek  // hasSolitaryDecl - This method returns true if this DeclStmt refers
23865aa3b9fda7b2114f708014e3d42176abc0e39abTed Kremenek  // to a single Decl.
2398ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek  bool hasSolitaryDecl() const {
2408ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek    return DG.hasSolitaryDecl();
2418ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek  }
242655137a6c19110620d82d5f03cdcaec3a48c059fTed Kremenek
2434afa39deaa245592977136d367251ee2c173dd8dDouglas Gregor  const Decl* getSolitaryDecl() const {
24465aa3b9fda7b2114f708014e3d42176abc0e39abTed Kremenek    assert (hasSolitaryDecl() &&
24565aa3b9fda7b2114f708014e3d42176abc0e39abTed Kremenek            "Caller assumes this DeclStmt points to one Decl*");
2464afa39deaa245592977136d367251ee2c173dd8dDouglas Gregor    return llvm::cast<Decl>(*DG.begin());
24765aa3b9fda7b2114f708014e3d42176abc0e39abTed Kremenek  }
24865aa3b9fda7b2114f708014e3d42176abc0e39abTed Kremenek
2494afa39deaa245592977136d367251ee2c173dd8dDouglas Gregor  Decl* getSolitaryDecl() {
25065aa3b9fda7b2114f708014e3d42176abc0e39abTed Kremenek    assert (hasSolitaryDecl() &&
25165aa3b9fda7b2114f708014e3d42176abc0e39abTed Kremenek            "Caller assumes this DeclStmt points to one Decl*");
2524afa39deaa245592977136d367251ee2c173dd8dDouglas Gregor    return llvm::cast<Decl>(*DG.begin());
25365aa3b9fda7b2114f708014e3d42176abc0e39abTed Kremenek  }
254b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff
25581c018d9482e7cc2addadc6202dcf162a01faefdChris Lattner  SourceLocation getStartLoc() const { return StartLoc; }
25681c018d9482e7cc2addadc6202dcf162a01faefdChris Lattner  SourceLocation getEndLoc() const { return EndLoc; }
2578ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek
2588ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek  SourceRange getSourceRange() const {
25981c018d9482e7cc2addadc6202dcf162a01faefdChris Lattner    return SourceRange(StartLoc, EndLoc);
26081c018d9482e7cc2addadc6202dcf162a01faefdChris Lattner  }
2615f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
2625f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  static bool classof(const Stmt *T) {
2635f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    return T->getStmtClass() == DeclStmtClass;
2645f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  }
2655f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  static bool classof(const DeclStmt *) { return true; }
2668297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek
26714f8b4ff660bcaa763974b8d0fae81857c594495Ted Kremenek  // Iterators over subexpressions.
2688297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  virtual child_iterator child_begin();
2698297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  virtual child_iterator child_end();
2700965f446e7685dc01fc0b5e718610530eed3cc63Ted Kremenek
27114f8b4ff660bcaa763974b8d0fae81857c594495Ted Kremenek  class decl_iterator {
2728ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek    DeclGroupRef::iterator I;
27314f8b4ff660bcaa763974b8d0fae81857c594495Ted Kremenek  public:
2748ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek    decl_iterator(DeclGroupRef::iterator i) : I(i) {}
2758ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek    decl_iterator& operator++() { ++I; return *this; }
2768ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek    bool operator==(const decl_iterator& R) const {
2778ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek      return R.I == I;
2788ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek    }
2798ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek    bool operator!=(const decl_iterator& R) const {
2808ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek      return R.I != I;
2818ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek    }
2824afa39deaa245592977136d367251ee2c173dd8dDouglas Gregor    Decl* operator*() const {
2834afa39deaa245592977136d367251ee2c173dd8dDouglas Gregor      return llvm::cast<Decl>(*I);
2848ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek    }
28514f8b4ff660bcaa763974b8d0fae81857c594495Ted Kremenek  };
2868ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek
2878a0d2660b6890ed95d34f37d142c0c52ac490194Ted Kremenek  class const_decl_iterator {
2888ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek    DeclGroupRef::const_iterator I;
2898a0d2660b6890ed95d34f37d142c0c52ac490194Ted Kremenek  public:
2908ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek    const_decl_iterator(DeclGroupRef::const_iterator i) : I(i) {}
2918ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek    const_decl_iterator& operator++() { ++I; return *this; }
2928ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek    bool operator==(const const_decl_iterator& R) const {
2938ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek      return R.I == I;
2948a0d2660b6890ed95d34f37d142c0c52ac490194Ted Kremenek    }
2958ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek    bool operator!=(const const_decl_iterator& R) const {
2968ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek      return R.I != I;
2978a0d2660b6890ed95d34f37d142c0c52ac490194Ted Kremenek    }
2984afa39deaa245592977136d367251ee2c173dd8dDouglas Gregor    Decl* operator*() const {
2994afa39deaa245592977136d367251ee2c173dd8dDouglas Gregor      return llvm::cast<Decl>(*I);
3008a0d2660b6890ed95d34f37d142c0c52ac490194Ted Kremenek    }
3018a0d2660b6890ed95d34f37d142c0c52ac490194Ted Kremenek  };
3028a0d2660b6890ed95d34f37d142c0c52ac490194Ted Kremenek
3038ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek  decl_iterator decl_begin() { return DG.begin(); }
3048ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek  decl_iterator decl_end() { return DG.end(); }
3058ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek  const_decl_iterator decl_begin() const { return DG.begin(); }
3068ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek  const_decl_iterator decl_end() const { return DG.end(); }
3078a0d2660b6890ed95d34f37d142c0c52ac490194Ted Kremenek
30814f8b4ff660bcaa763974b8d0fae81857c594495Ted Kremenek  // Serialization.
309ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek  virtual void EmitImpl(llvm::Serializer& S) const;
310e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop  static DeclStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C);
3115f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer};
3125f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
3135f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// NullStmt - This is the null statement ";": C99 6.8.3p3.
3145f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer///
3155f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass NullStmt : public Stmt {
3165f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  SourceLocation SemiLoc;
3175f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic:
3185f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  NullStmt(SourceLocation L) : Stmt(NullStmtClass), SemiLoc(L) {}
3195f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
3205f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  SourceLocation getSemiLoc() const { return SemiLoc; }
321b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff
322507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff  virtual SourceRange getSourceRange() const { return SourceRange(SemiLoc); }
3235f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
3245f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  static bool classof(const Stmt *T) {
3255f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    return T->getStmtClass() == NullStmtClass;
3265f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  }
3275f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  static bool classof(const NullStmt *) { return true; }
3288297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek
3298297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  // Iterators
3308297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  virtual child_iterator child_begin();
3318297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  virtual child_iterator child_end();
3324927be6102784fc69c50234f7e2253283b3e99e4Ted Kremenek
333ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek  virtual void EmitImpl(llvm::Serializer& S) const;
334e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop  static NullStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C);
3355f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer};
3365f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
3375f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// CompoundStmt - This represents a group of statements like { stmt stmt }.
3385f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer///
3395f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass CompoundStmt : public Stmt {
3408189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek  Stmt** Body;
3418189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek  unsigned NumStmts;
342b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff  SourceLocation LBracLoc, RBracLoc;
3435f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic:
3448189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek  CompoundStmt(ASTContext& C, Stmt **StmtStart, unsigned numStmts,
3458189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek                             SourceLocation LB, SourceLocation RB)
3468189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek  : Stmt(CompoundStmtClass), NumStmts(numStmts), LBracLoc(LB), RBracLoc(RB) {
3478189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek      if (NumStmts) {
3488189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek        Body = new (C) Stmt*[NumStmts];
3498189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek        memcpy(Body, StmtStart, numStmts * sizeof(*Body));
3508189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek      }
3518189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek      else
3528189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek        Body = 0;
3538189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek  }
3548189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek
3558189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek  bool body_empty() const { return NumStmts == 0; }
3568189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek
3578189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek  typedef Stmt** body_iterator;
3588189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek  body_iterator body_begin() { return Body; }
3598189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek  body_iterator body_end() { return Body + NumStmts; }
3608189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek  Stmt *body_back() { return NumStmts ? Body[NumStmts-1] : 0; }
3615f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
3628189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek  typedef Stmt* const * const_body_iterator;
3638189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek  const_body_iterator body_begin() const { return Body; }
3648189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek  const_body_iterator body_end() const { return Body + NumStmts; }
3658189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek  const Stmt *body_back() const { return NumStmts ? Body[NumStmts-1] : 0; }
3668189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek
3678189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek  typedef std::reverse_iterator<body_iterator> reverse_body_iterator;
3688189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek  reverse_body_iterator body_rbegin() {
3698189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek    return reverse_body_iterator(body_end());
3708189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek  }
3718189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek  reverse_body_iterator body_rend() {
3728189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek    return reverse_body_iterator(body_begin());
3738189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek  }
3744ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek
3758189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek  typedef std::reverse_iterator<const_body_iterator>
3768189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek          const_reverse_body_iterator;
3774ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek
3788189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek  const_reverse_body_iterator body_rbegin() const {
3798189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek    return const_reverse_body_iterator(body_end());
3808189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek  }
381b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff
3828189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek  const_reverse_body_iterator body_rend() const {
3838189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek    return const_reverse_body_iterator(body_begin());
3848189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek  }
3858189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek
386b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff  virtual SourceRange getSourceRange() const {
387b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff    return SourceRange(LBracLoc, RBracLoc);
388b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff  }
38954395d440dc82a5e51b945c6c2a7f4bc4bea0358Ted Kremenek
390cc326204dd97771c336b9aab3b9963ea30d69c29Ted Kremenek  SourceLocation getLBracLoc() const { return LBracLoc; }
391cc326204dd97771c336b9aab3b9963ea30d69c29Ted Kremenek  SourceLocation getRBracLoc() const { return RBracLoc; }
39254395d440dc82a5e51b945c6c2a7f4bc4bea0358Ted Kremenek
3935f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  static bool classof(const Stmt *T) {
3945f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    return T->getStmtClass() == CompoundStmtClass;
3955f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  }
3965f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  static bool classof(const CompoundStmt *) { return true; }
3978297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek
3988297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  // Iterators
3998297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  virtual child_iterator child_begin();
4008297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  virtual child_iterator child_end();
4012dc9ac73a8a34cabf261a81a1653d7379065ac61Ted Kremenek
402ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek  virtual void EmitImpl(llvm::Serializer& S) const;
403e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop  static CompoundStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C);
4045f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer};
4055f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
406c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson// SwitchCase is the base class for CaseStmt and DefaultStmt,
407c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlssonclass SwitchCase : public Stmt {
408103fc81f12aa635aa0a573c94b1aceb496b4e587Ted Kremenekprotected:
409c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson  // A pointer to the following CaseStmt or DefaultStmt class,
410c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson  // used by SwitchStmt.
411c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson  SwitchCase *NextSwitchCase;
412103fc81f12aa635aa0a573c94b1aceb496b4e587Ted Kremenek
413d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek  SwitchCase(StmtClass SC) : Stmt(SC), NextSwitchCase(0) {}
414c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson
415c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlssonpublic:
416c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson  const SwitchCase *getNextSwitchCase() const { return NextSwitchCase; }
417c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson
418c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson  SwitchCase *getNextSwitchCase() { return NextSwitchCase; }
419c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson
420c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson  void setNextSwitchCase(SwitchCase *SC) { NextSwitchCase = SC; }
421d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek
422d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek  virtual Stmt* v_getSubStmt() = 0;
423d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek  Stmt *getSubStmt() { return v_getSubStmt(); }
424b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff
425b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff  virtual SourceRange getSourceRange() const { return SourceRange(); }
426edcc752060be38bfa7e7b32691c0cc4d843622a8Ted Kremenek
427c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson  static bool classof(const Stmt *T) {
428c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson    return T->getStmtClass() == CaseStmtClass ||
429c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson    T->getStmtClass() == DefaultStmtClass;
430c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson  }
431c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson  static bool classof(const SwitchCase *) { return true; }
432c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson};
433c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson
434c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlssonclass CaseStmt : public SwitchCase {
435d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek  enum { SUBSTMT, LHS, RHS, END_EXPR };
436d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek  Stmt* SubExprs[END_EXPR];  // The expression for the RHS is Non-null for
437d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek                             // GNU "case 1 ... 4" extension
438b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff  SourceLocation CaseLoc;
4395f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic:
440b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff  CaseStmt(Expr *lhs, Expr *rhs, Stmt *substmt, SourceLocation caseLoc)
441d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek    : SwitchCase(CaseStmtClass) {
442d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek    SubExprs[SUBSTMT] = substmt;
443d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek    SubExprs[LHS] = reinterpret_cast<Stmt*>(lhs);
444d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek    SubExprs[RHS] = reinterpret_cast<Stmt*>(rhs);
445b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff    CaseLoc = caseLoc;
446d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek  }
4475f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
448764a7ce5217f9569e100a3445f47496ee82daf86Chris Lattner  SourceLocation getCaseLoc() const { return CaseLoc; }
449764a7ce5217f9569e100a3445f47496ee82daf86Chris Lattner
450d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek  Expr *getLHS() { return reinterpret_cast<Expr*>(SubExprs[LHS]); }
451d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek  Expr *getRHS() { return reinterpret_cast<Expr*>(SubExprs[RHS]); }
452d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek  Stmt *getSubStmt() { return SubExprs[SUBSTMT]; }
453d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek  virtual Stmt* v_getSubStmt() { return getSubStmt(); }
45451b09f2c528c8460b5465c676173324e44176d62Devang Patel  const Expr *getLHS() const {
45551b09f2c528c8460b5465c676173324e44176d62Devang Patel    return reinterpret_cast<const Expr*>(SubExprs[LHS]);
45651b09f2c528c8460b5465c676173324e44176d62Devang Patel  }
45751b09f2c528c8460b5465c676173324e44176d62Devang Patel  const Expr *getRHS() const {
45851b09f2c528c8460b5465c676173324e44176d62Devang Patel    return reinterpret_cast<const Expr*>(SubExprs[RHS]);
45951b09f2c528c8460b5465c676173324e44176d62Devang Patel  }
46051b09f2c528c8460b5465c676173324e44176d62Devang Patel  const Stmt *getSubStmt() const { return SubExprs[SUBSTMT]; }
4615f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
46220dabe8b8ff7ed6d2d0158fee43755a4bc7642c3Chris Lattner  void setSubStmt(Stmt *S) { SubExprs[SUBSTMT] = S; }
46320dabe8b8ff7ed6d2d0158fee43755a4bc7642c3Chris Lattner  void setLHS(Expr *Val) { SubExprs[LHS] = reinterpret_cast<Stmt*>(Val); }
46420dabe8b8ff7ed6d2d0158fee43755a4bc7642c3Chris Lattner  void setRHS(Expr *Val) { SubExprs[RHS] = reinterpret_cast<Stmt*>(Val); }
46520dabe8b8ff7ed6d2d0158fee43755a4bc7642c3Chris Lattner
46620dabe8b8ff7ed6d2d0158fee43755a4bc7642c3Chris Lattner
467b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff  virtual SourceRange getSourceRange() const {
468b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff    return SourceRange(CaseLoc, SubExprs[SUBSTMT]->getLocEnd());
469b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff  }
4705f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  static bool classof(const Stmt *T) {
4715f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    return T->getStmtClass() == CaseStmtClass;
4725f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  }
4735f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  static bool classof(const CaseStmt *) { return true; }
474d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek
475d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek  // Iterators
476d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek  virtual child_iterator child_begin();
477d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek  virtual child_iterator child_end();
4789eea2ca5f2cb5d77569274702b5b06273e426dc2Ted Kremenek
479ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek  virtual void EmitImpl(llvm::Serializer& S) const;
480e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop  static CaseStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C);
4815f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer};
4825f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
483c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlssonclass DefaultStmt : public SwitchCase {
484d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek  Stmt* SubStmt;
4856c36be5b383875b490684bcf439d6d427298c1afChris Lattner  SourceLocation DefaultLoc;
4865f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic:
487edcc752060be38bfa7e7b32691c0cc4d843622a8Ted Kremenek  DefaultStmt(SourceLocation DL, Stmt *substmt) :
488d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek    SwitchCase(DefaultStmtClass), SubStmt(substmt), DefaultLoc(DL) {}
489b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff
490d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek  Stmt *getSubStmt() { return SubStmt; }
491d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek  virtual Stmt* v_getSubStmt() { return getSubStmt(); }
49251b09f2c528c8460b5465c676173324e44176d62Devang Patel  const Stmt *getSubStmt() const { return SubStmt; }
493d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek
4946c36be5b383875b490684bcf439d6d427298c1afChris Lattner  SourceLocation getDefaultLoc() const { return DefaultLoc; }
4955f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
496b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff  virtual SourceRange getSourceRange() const {
497b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff    return SourceRange(DefaultLoc, SubStmt->getLocEnd());
498b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff  }
4995f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  static bool classof(const Stmt *T) {
5005f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    return T->getStmtClass() == DefaultStmtClass;
5015f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  }
5025f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  static bool classof(const DefaultStmt *) { return true; }
503d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek
504d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek  // Iterators
505d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek  virtual child_iterator child_begin();
506d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek  virtual child_iterator child_end();
5079eea2ca5f2cb5d77569274702b5b06273e426dc2Ted Kremenek
508ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek  virtual void EmitImpl(llvm::Serializer& S) const;
509e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop  static DefaultStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C);
5105f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer};
5115f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
5125f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass LabelStmt : public Stmt {
5135f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  IdentifierInfo *Label;
5145f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  Stmt *SubStmt;
515b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff  SourceLocation IdentLoc;
5165f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic:
517b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff  LabelStmt(SourceLocation IL, IdentifierInfo *label, Stmt *substmt)
518b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff    : Stmt(LabelStmtClass), Label(label),
519b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff      SubStmt(substmt), IdentLoc(IL) {}
5205f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
5215f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  SourceLocation getIdentLoc() const { return IdentLoc; }
5225f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  IdentifierInfo *getID() const { return Label; }
5235f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  const char *getName() const;
5245f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  Stmt *getSubStmt() { return SubStmt; }
5255f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  const Stmt *getSubStmt() const { return SubStmt; }
5265f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
5275f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  void setIdentLoc(SourceLocation L) { IdentLoc = L; }
5285f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  void setSubStmt(Stmt *SS) { SubStmt = SS; }
529b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff
530b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff  virtual SourceRange getSourceRange() const {
531b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff    return SourceRange(IdentLoc, SubStmt->getLocEnd());
532b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff  }
5335f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  static bool classof(const Stmt *T) {
5345f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    return T->getStmtClass() == LabelStmtClass;
5355f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  }
5365f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  static bool classof(const LabelStmt *) { return true; }
5378297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek
5388297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  // Iterators
5398297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  virtual child_iterator child_begin();
5408297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  virtual child_iterator child_end();
541b15132fda52046ba65eafd6f4b448f7aa16b7e8dTed Kremenek
542ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek  virtual void EmitImpl(llvm::Serializer& S) const;
543e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop  static LabelStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C);
5445f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer};
5455f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
5465f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
5475f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// IfStmt - This represents an if/then/else.
5485f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer///
5495f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass IfStmt : public Stmt {
5508297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  enum { COND, THEN, ELSE, END_EXPR };
5518297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  Stmt* SubExprs[END_EXPR];
552b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff  SourceLocation IfLoc;
5535f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic:
554b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff  IfStmt(SourceLocation IL, Expr *cond, Stmt *then, Stmt *elsev = 0)
555b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff    : Stmt(IfStmtClass)  {
5568297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek    SubExprs[COND] = reinterpret_cast<Stmt*>(cond);
5578297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek    SubExprs[THEN] = then;
5588297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek    SubExprs[ELSE] = elsev;
559b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff    IfLoc = IL;
5608297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  }
5615f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
5628297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  const Expr *getCond() const { return reinterpret_cast<Expr*>(SubExprs[COND]);}
5638297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  const Stmt *getThen() const { return SubExprs[THEN]; }
5648297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  const Stmt *getElse() const { return SubExprs[ELSE]; }
5655f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
5668297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  Expr *getCond() { return reinterpret_cast<Expr*>(SubExprs[COND]); }
5678297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  Stmt *getThen() { return SubExprs[THEN]; }
5688297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  Stmt *getElse() { return SubExprs[ELSE]; }
569b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff
570b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff  virtual SourceRange getSourceRange() const {
571b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff    if (SubExprs[ELSE])
572b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff      return SourceRange(IfLoc, SubExprs[ELSE]->getLocEnd());
573b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff    else
574b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff      return SourceRange(IfLoc, SubExprs[THEN]->getLocEnd());
575b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff  }
5765f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
5775f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  static bool classof(const Stmt *T) {
5785f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    return T->getStmtClass() == IfStmtClass;
5795f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  }
5805f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  static bool classof(const IfStmt *) { return true; }
5818297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek
5828297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  // Iterators
5838297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  virtual child_iterator child_begin();
5848297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  virtual child_iterator child_end();
5854210f3dfd73ad3482f9cfa0a382e1fd78f22976dTed Kremenek
586ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek  virtual void EmitImpl(llvm::Serializer& S) const;
587e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop  static IfStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C);
5885f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer};
5895f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
5905f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// SwitchStmt - This represents a 'switch' stmt.
5915f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer///
5925f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass SwitchStmt : public Stmt {
5938297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  enum { COND, BODY, END_EXPR };
5948297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  Stmt* SubExprs[END_EXPR];
595c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson  // This points to a linked list of case and default statements.
596c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson  SwitchCase *FirstCase;
5979dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff  SourceLocation SwitchLoc;
5985f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic:
5998297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  SwitchStmt(Expr *cond) : Stmt(SwitchStmtClass), FirstCase(0) {
6008297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek      SubExprs[COND] = reinterpret_cast<Stmt*>(cond);
6018297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek      SubExprs[BODY] = NULL;
6028297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek    }
6035f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
6048297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  const Expr *getCond() const { return reinterpret_cast<Expr*>(SubExprs[COND]);}
6058297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  const Stmt *getBody() const { return SubExprs[BODY]; }
606c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson  const SwitchCase *getSwitchCaseList() const { return FirstCase; }
607c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson
6088297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  Expr *getCond() { return reinterpret_cast<Expr*>(SubExprs[COND]);}
6098297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  Stmt *getBody() { return SubExprs[BODY]; }
610c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson  SwitchCase *getSwitchCaseList() { return FirstCase; }
611c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson
6129dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff  void setBody(Stmt *S, SourceLocation SL) {
6139dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff    SubExprs[BODY] = S;
6149dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff    SwitchLoc = SL;
6159dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff  }
616c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson  void addSwitchCase(SwitchCase *SC) {
617c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson    if (FirstCase)
618c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson      SC->setNextSwitchCase(FirstCase);
619c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson
620c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson    FirstCase = SC;
621c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson  }
6229dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff  virtual SourceRange getSourceRange() const {
6239dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff    return SourceRange(SwitchLoc, SubExprs[BODY]->getLocEnd());
6249dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff  }
6255f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  static bool classof(const Stmt *T) {
6265f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    return T->getStmtClass() == SwitchStmtClass;
6275f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  }
6285f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  static bool classof(const SwitchStmt *) { return true; }
6298297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek
6308297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  // Iterators
6318297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  virtual child_iterator child_begin();
6328297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  virtual child_iterator child_end();
6339eea2ca5f2cb5d77569274702b5b06273e426dc2Ted Kremenek
634ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek  virtual void EmitImpl(llvm::Serializer& S) const;
635e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop  static SwitchStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C);
6365f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer};
6375f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
6385f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
6395f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// WhileStmt - This represents a 'while' stmt.
6405f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer///
6415f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass WhileStmt : public Stmt {
6428297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  enum { COND, BODY, END_EXPR };
6438297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  Stmt* SubExprs[END_EXPR];
644b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff  SourceLocation WhileLoc;
6455f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic:
646b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff  WhileStmt(Expr *cond, Stmt *body, SourceLocation WL) : Stmt(WhileStmtClass) {
6478297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek    SubExprs[COND] = reinterpret_cast<Stmt*>(cond);
6488297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek    SubExprs[BODY] = body;
649b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff    WhileLoc = WL;
6508297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  }
6515f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
6528297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  Expr *getCond() { return reinterpret_cast<Expr*>(SubExprs[COND]); }
6538297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  const Expr *getCond() const { return reinterpret_cast<Expr*>(SubExprs[COND]);}
6548297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  Stmt *getBody() { return SubExprs[BODY]; }
6558297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  const Stmt *getBody() const { return SubExprs[BODY]; }
656b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff
657b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff  virtual SourceRange getSourceRange() const {
658b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff    return SourceRange(WhileLoc, SubExprs[BODY]->getLocEnd());
659b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff  }
6605f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  static bool classof(const Stmt *T) {
6615f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    return T->getStmtClass() == WhileStmtClass;
6625f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  }
6635f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  static bool classof(const WhileStmt *) { return true; }
6648297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek
6658297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  // Iterators
6668297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  virtual child_iterator child_begin();
6678297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  virtual child_iterator child_end();
6685572b94b76a78a35bac32d1ef04907c7a651adbaTed Kremenek
669ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek  virtual void EmitImpl(llvm::Serializer& S) const;
670e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop  static WhileStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C);
6715f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer};
6725f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
6735f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// DoStmt - This represents a 'do/while' stmt.
6745f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer///
6755f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass DoStmt : public Stmt {
6768297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  enum { COND, BODY, END_EXPR };
6778297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  Stmt* SubExprs[END_EXPR];
678b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff  SourceLocation DoLoc;
6795f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic:
680b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff  DoStmt(Stmt *body, Expr *cond, SourceLocation DL)
681b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff    : Stmt(DoStmtClass), DoLoc(DL) {
6828297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek    SubExprs[COND] = reinterpret_cast<Stmt*>(cond);
6838297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek    SubExprs[BODY] = body;
684b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff    DoLoc = DL;
6858297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  }
6865f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
6878297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  Expr *getCond() { return reinterpret_cast<Expr*>(SubExprs[COND]); }
6888297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  const Expr *getCond() const { return reinterpret_cast<Expr*>(SubExprs[COND]);}
6898297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  Stmt *getBody() { return SubExprs[BODY]; }
6908297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  const Stmt *getBody() const { return SubExprs[BODY]; }
691b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff
692b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff  virtual SourceRange getSourceRange() const {
693b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff    return SourceRange(DoLoc, SubExprs[BODY]->getLocEnd());
694b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff  }
6955f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  static bool classof(const Stmt *T) {
6965f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    return T->getStmtClass() == DoStmtClass;
6975f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  }
6985f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  static bool classof(const DoStmt *) { return true; }
6998297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek
7008297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  // Iterators
7018297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  virtual child_iterator child_begin();
7028297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  virtual child_iterator child_end();
703e3299ef345bb8a71901108bf83a824591eae6c1aTed Kremenek
704ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek  virtual void EmitImpl(llvm::Serializer& S) const;
705e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop  static DoStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C);
7065f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer};
7075f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
7085f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
7095f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// ForStmt - This represents a 'for (init;cond;inc)' stmt.  Note that any of
7105f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// the init/cond/inc parts of the ForStmt will be null if they were not
7115f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// specified in the source.
7125f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer///
7135f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass ForStmt : public Stmt {
7148297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  enum { INIT, COND, INC, BODY, END_EXPR };
7158297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  Stmt* SubExprs[END_EXPR]; // SubExprs[INIT] is an expression or declstmt.
716b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff  SourceLocation ForLoc;
7175f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic:
718b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff  ForStmt(Stmt *Init, Expr *Cond, Expr *Inc, Stmt *Body, SourceLocation FL)
719b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff    : Stmt(ForStmtClass) {
720af458c9f658335bdea482395ff4a25c75935e129Chris Lattner    SubExprs[INIT] = Init;
721af458c9f658335bdea482395ff4a25c75935e129Chris Lattner    SubExprs[COND] = reinterpret_cast<Stmt*>(Cond);
722af458c9f658335bdea482395ff4a25c75935e129Chris Lattner    SubExprs[INC] = reinterpret_cast<Stmt*>(Inc);
723af458c9f658335bdea482395ff4a25c75935e129Chris Lattner    SubExprs[BODY] = Body;
724b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff    ForLoc = FL;
725af458c9f658335bdea482395ff4a25c75935e129Chris Lattner  }
7265f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
7278297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  Stmt *getInit() { return SubExprs[INIT]; }
7288297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  Expr *getCond() { return reinterpret_cast<Expr*>(SubExprs[COND]); }
7298297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  Expr *getInc()  { return reinterpret_cast<Expr*>(SubExprs[INC]); }
7308297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  Stmt *getBody() { return SubExprs[BODY]; }
7318297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek
7328297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  const Stmt *getInit() const { return SubExprs[INIT]; }
7338297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  const Expr *getCond() const { return reinterpret_cast<Expr*>(SubExprs[COND]);}
7348297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  const Expr *getInc()  const { return reinterpret_cast<Expr*>(SubExprs[INC]); }
7358297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  const Stmt *getBody() const { return SubExprs[BODY]; }
736b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff
737b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff  virtual SourceRange getSourceRange() const {
738b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff    return SourceRange(ForLoc, SubExprs[BODY]->getLocEnd());
739b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff  }
7405f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  static bool classof(const Stmt *T) {
7415f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    return T->getStmtClass() == ForStmtClass;
7425f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  }
7435f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  static bool classof(const ForStmt *) { return true; }
7448297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek
7458297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  // Iterators
7468297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  virtual child_iterator child_begin();
7478297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  virtual child_iterator child_end();
74807ba046c7d7bbc1f42b86b3ed012eec8fc7849daTed Kremenek
749ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek  virtual void EmitImpl(llvm::Serializer& S) const;
750e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop  static ForStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C);
7515f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer};
7520196cab54007ff072ec2642da8911c6b7e8d3fb5Fariborz Jahanian
7535f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// GotoStmt - This represents a direct goto.
7545f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer///
7555f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass GotoStmt : public Stmt {
7565f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  LabelStmt *Label;
757507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff  SourceLocation GotoLoc;
75861f62165220e75694fe333179c78815e2e48d71fTed Kremenek  SourceLocation LabelLoc;
7595f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic:
76061f62165220e75694fe333179c78815e2e48d71fTed Kremenek  GotoStmt(LabelStmt *label, SourceLocation GL, SourceLocation LL)
76161f62165220e75694fe333179c78815e2e48d71fTed Kremenek    : Stmt(GotoStmtClass), Label(label), GotoLoc(GL), LabelLoc(LL) {}
7625f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
7635f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  LabelStmt *getLabel() const { return Label; }
764b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff
765507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff  virtual SourceRange getSourceRange() const {
76661f62165220e75694fe333179c78815e2e48d71fTed Kremenek    return SourceRange(GotoLoc, LabelLoc);
767507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff  }
7685f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  static bool classof(const Stmt *T) {
7695f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    return T->getStmtClass() == GotoStmtClass;
7705f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  }
7715f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  static bool classof(const GotoStmt *) { return true; }
7728297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek
7738297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  // Iterators
7748297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  virtual child_iterator child_begin();
7758297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  virtual child_iterator child_end();
7763f0767b74b16b37bcce60ff457609161a0665784Ted Kremenek
777ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek  virtual void EmitImpl(llvm::Serializer& S) const;
778e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop  static GotoStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C);
7795f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer};
7805f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
7815f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// IndirectGotoStmt - This represents an indirect goto.
7825f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer///
7835f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass IndirectGotoStmt : public Stmt {
7841060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek  Stmt *Target;
785225a2d946f73aed3b38f265fcb4e7d7d88136928Ted Kremenek  // FIXME: Add location information (e.g. SourceLocation objects).
786225a2d946f73aed3b38f265fcb4e7d7d88136928Ted Kremenek  //        When doing so, update the serialization routines.
7875f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic:
7881060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek  IndirectGotoStmt(Expr *target) : Stmt(IndirectGotoStmtClass),
7891060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek                                   Target((Stmt*)target){}
7905f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
7911060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek  Expr *getTarget();
7921060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek  const Expr *getTarget() const;
793b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff
794b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff  virtual SourceRange getSourceRange() const { return SourceRange(); }
7955f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
7965f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  static bool classof(const Stmt *T) {
7975f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    return T->getStmtClass() == IndirectGotoStmtClass;
7985f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  }
7995f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  static bool classof(const IndirectGotoStmt *) { return true; }
8008297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek
8018297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  // Iterators
8028297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  virtual child_iterator child_begin();
8038297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  virtual child_iterator child_end();
804225a2d946f73aed3b38f265fcb4e7d7d88136928Ted Kremenek
805ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek  virtual void EmitImpl(llvm::Serializer& S) const;
806e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop  static IndirectGotoStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C);
8075f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer};
8085f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
8095f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
8105f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// ContinueStmt - This represents a continue.
8115f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer///
8125f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass ContinueStmt : public Stmt {
813507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff  SourceLocation ContinueLoc;
8145f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic:
815507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff  ContinueStmt(SourceLocation CL) : Stmt(ContinueStmtClass), ContinueLoc(CL) {}
816b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff
817507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff  virtual SourceRange getSourceRange() const {
818507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff    return SourceRange(ContinueLoc);
819507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff  }
8205f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  static bool classof(const Stmt *T) {
8215f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    return T->getStmtClass() == ContinueStmtClass;
8225f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  }
8235f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  static bool classof(const ContinueStmt *) { return true; }
8248297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek
8258297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  // Iterators
8268297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  virtual child_iterator child_begin();
8278297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  virtual child_iterator child_end();
82896f22423c52c22d263b4e5f7ee762122b607459eTed Kremenek
829ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek  virtual void EmitImpl(llvm::Serializer& S) const;
830e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop  static ContinueStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C);
8315f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer};
8325f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
8335f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// BreakStmt - This represents a break.
8345f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer///
8355f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass BreakStmt : public Stmt {
836507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff  SourceLocation BreakLoc;
8375f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic:
838507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff  BreakStmt(SourceLocation BL) : Stmt(BreakStmtClass), BreakLoc(BL) {}
839b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff
840507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff  virtual SourceRange getSourceRange() const { return SourceRange(BreakLoc); }
841b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff
8425f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  static bool classof(const Stmt *T) {
8435f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    return T->getStmtClass() == BreakStmtClass;
8445f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  }
8455f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  static bool classof(const BreakStmt *) { return true; }
8468297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek
8478297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  // Iterators
8488297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  virtual child_iterator child_begin();
8498297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  virtual child_iterator child_end();
8509eea2ca5f2cb5d77569274702b5b06273e426dc2Ted Kremenek
851ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek  virtual void EmitImpl(llvm::Serializer& S) const;
852e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop  static BreakStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C);
8535f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer};
8545f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
8555f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
856c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner/// ReturnStmt - This represents a return, optionally of an expression:
857c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner///   return;
858c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner///   return 4;
859c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner///
860c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner/// Note that GCC allows return with no argument in a function declared to
861c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner/// return a value, and it allows returning a value in functions declared to
862c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner/// return void.  We explicitly model this in the AST, which means you can't
863c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner/// depend on the return type of the function and the presence of an argument.
8645f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer///
8655f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass ReturnStmt : public Stmt {
8661060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek  Stmt *RetExpr;
867507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff  SourceLocation RetLoc;
8685f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic:
869507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff  ReturnStmt(SourceLocation RL, Expr *E = 0) : Stmt(ReturnStmtClass),
8701060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek    RetExpr((Stmt*) E), RetLoc(RL) {}
8715f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
8721060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek  const Expr *getRetValue() const;
8731060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek  Expr *getRetValue();
874b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff
875507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff  virtual SourceRange getSourceRange() const;
8765f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
8775f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  static bool classof(const Stmt *T) {
8785f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    return T->getStmtClass() == ReturnStmtClass;
8795f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  }
8805f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  static bool classof(const ReturnStmt *) { return true; }
8818297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek
8828297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  // Iterators
8838297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  virtual child_iterator child_begin();
8848297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek  virtual child_iterator child_end();
8852dc9ac73a8a34cabf261a81a1653d7379065ac61Ted Kremenek
886ec0aa78745f7b3bc96c20fffd1115bf26aaa0eadTed Kremenek  virtual void EmitImpl(llvm::Serializer& S) const;
887e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop  static ReturnStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C);
8885f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer};
8895f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
890fe795956194141c91ae555985c9b930595bff43fChris Lattner/// AsmStmt - This represents a GNU inline-assembly statement extension.
891fe795956194141c91ae555985c9b930595bff43fChris Lattner///
892fe795956194141c91ae555985c9b930595bff43fChris Lattnerclass AsmStmt : public Stmt {
893fe795956194141c91ae555985c9b930595bff43fChris Lattner  SourceLocation AsmLoc, RParenLoc;
8946a0ef4b83c91a6d6d5acb4ed5577c4659fe022a3Anders Carlsson  StringLiteral *AsmStr;
895b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson
896dfab34a696d1dba8622248c31aaf605906cb6109Anders Carlsson  bool IsSimple;
89739c47b56f45437bbc49c9568b7308a400234a730Anders Carlsson  bool IsVolatile;
89839c47b56f45437bbc49c9568b7308a400234a730Anders Carlsson
899b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson  unsigned NumOutputs;
900b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson  unsigned NumInputs;
901b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson
902b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson  llvm::SmallVector<std::string, 4> Names;
903b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson  llvm::SmallVector<StringLiteral*, 4> Constraints;
904ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  llvm::SmallVector<Stmt*, 4> Exprs;
905b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson
906b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson  llvm::SmallVector<StringLiteral*, 4> Clobbers;
907fe795956194141c91ae555985c9b930595bff43fChris Lattnerpublic:
908dfab34a696d1dba8622248c31aaf605906cb6109Anders Carlsson  AsmStmt(SourceLocation asmloc, bool issimple, bool isvolatile,
909dfab34a696d1dba8622248c31aaf605906cb6109Anders Carlsson          unsigned numoutputs, unsigned numinputs,
910dfab34a696d1dba8622248c31aaf605906cb6109Anders Carlsson          std::string *names, StringLiteral **constraints,
911db6ed1786bf460e1143f67d14bf2d71ad9856f81Chris Lattner          Expr **exprs, StringLiteral *asmstr, unsigned numclobbers,
912db6ed1786bf460e1143f67d14bf2d71ad9856f81Chris Lattner          StringLiteral **clobbers, SourceLocation rparenloc);
913b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson
91439c47b56f45437bbc49c9568b7308a400234a730Anders Carlsson  bool isVolatile() const { return IsVolatile; }
915dfab34a696d1dba8622248c31aaf605906cb6109Anders Carlsson  bool isSimple() const { return IsSimple; }
916dfab34a696d1dba8622248c31aaf605906cb6109Anders Carlsson
917b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson  unsigned getNumOutputs() const { return NumOutputs; }
918ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek
919ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  const std::string &getOutputName(unsigned i) const {
920ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek    return Names[i];
921ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  }
922ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek
923ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  const StringLiteral *getOutputConstraint(unsigned i) const {
924ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek    return Constraints[i];
925ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  }
926ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek
927b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson  StringLiteral *getOutputConstraint(unsigned i)
928b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson    { return Constraints[i]; }
929ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek
930ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  const Expr *getOutputExpr(unsigned i) const;
931ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  Expr *getOutputExpr(unsigned i);
932b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson
933b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson  unsigned getNumInputs() const { return NumInputs; }
934ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek
935ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  const std::string &getInputName(unsigned i) const {
936ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek    return Names[i + NumOutputs];
937ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  }
938ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  StringLiteral *getInputConstraint(unsigned i) {
939ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek    return Constraints[i + NumOutputs];
940ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  }
941ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  const StringLiteral *getInputConstraint(unsigned i) const {
942ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek    return Constraints[i + NumOutputs];
943ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  }
944ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek
945ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  Expr *getInputExpr(unsigned i);
946ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  const Expr *getInputExpr(unsigned i) const;
947d04c6e23f2e10eeb9936778d67f4a1c4a14cc4f6Anders Carlsson
9486a0ef4b83c91a6d6d5acb4ed5577c4659fe022a3Anders Carlsson  const StringLiteral *getAsmString() const { return AsmStr; }
9496a0ef4b83c91a6d6d5acb4ed5577c4659fe022a3Anders Carlsson  StringLiteral *getAsmString() { return AsmStr; }
9506a0ef4b83c91a6d6d5acb4ed5577c4659fe022a3Anders Carlsson
951b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson  unsigned getNumClobbers() const { return Clobbers.size(); }
952b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson  StringLiteral *getClobber(unsigned i) { return Clobbers[i]; }
953d04c6e23f2e10eeb9936778d67f4a1c4a14cc4f6Anders Carlsson  const StringLiteral *getClobber(unsigned i) const { return Clobbers[i]; }
954b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson
955fe795956194141c91ae555985c9b930595bff43fChris Lattner  virtual SourceRange getSourceRange() const {
956fe795956194141c91ae555985c9b930595bff43fChris Lattner    return SourceRange(AsmLoc, RParenLoc);
957fe795956194141c91ae555985c9b930595bff43fChris Lattner  }
958fe795956194141c91ae555985c9b930595bff43fChris Lattner
959fe795956194141c91ae555985c9b930595bff43fChris Lattner  static bool classof(const Stmt *T) {return T->getStmtClass() == AsmStmtClass;}
960fe795956194141c91ae555985c9b930595bff43fChris Lattner  static bool classof(const AsmStmt *) { return true; }
961fe795956194141c91ae555985c9b930595bff43fChris Lattner
962ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek  // Input expr iterators.
963ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek
964ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  typedef ExprIterator inputs_iterator;
965ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  typedef ConstExprIterator const_inputs_iterator;
966ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek
967ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  inputs_iterator begin_inputs() {
968ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek    return &Exprs[0] + NumOutputs;
969ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  }
970ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek
971ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  inputs_iterator end_inputs() {
972ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek    return  &Exprs[0] + NumOutputs + NumInputs;
973ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  }
974ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek
975ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  const_inputs_iterator begin_inputs() const {
976ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek    return &Exprs[0] + NumOutputs;
977ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  }
978ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek
979ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  const_inputs_iterator end_inputs() const {
980ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek    return  &Exprs[0] + NumOutputs + NumInputs;}
981ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek
982ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek  // Output expr iterators.
983ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek
984ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  typedef ExprIterator outputs_iterator;
985ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  typedef ConstExprIterator const_outputs_iterator;
986ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek
987ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek  outputs_iterator begin_outputs() { return &Exprs[0]; }
988ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  outputs_iterator end_outputs() { return &Exprs[0] + NumOutputs; }
989ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek
990ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek  const_outputs_iterator begin_outputs() const { return &Exprs[0]; }
991ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek  const_outputs_iterator end_outputs() const { return &Exprs[0] + NumOutputs; }
992ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek
99345b050e72d058131e6f169fe54888bb91a003fb5Anders Carlsson  // Input name iterator.
99445b050e72d058131e6f169fe54888bb91a003fb5Anders Carlsson
99545b050e72d058131e6f169fe54888bb91a003fb5Anders Carlsson  const std::string *begin_output_names() const {
99645b050e72d058131e6f169fe54888bb91a003fb5Anders Carlsson    return &Names[0];
99745b050e72d058131e6f169fe54888bb91a003fb5Anders Carlsson  }
99845b050e72d058131e6f169fe54888bb91a003fb5Anders Carlsson
99945b050e72d058131e6f169fe54888bb91a003fb5Anders Carlsson  const std::string *end_output_names() const {
100045b050e72d058131e6f169fe54888bb91a003fb5Anders Carlsson    return &Names[0] + NumOutputs;
100145b050e72d058131e6f169fe54888bb91a003fb5Anders Carlsson  }
100245b050e72d058131e6f169fe54888bb91a003fb5Anders Carlsson
1003ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek  // Child iterators
1004ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek
1005fe795956194141c91ae555985c9b930595bff43fChris Lattner  virtual child_iterator child_begin();
1006fe795956194141c91ae555985c9b930595bff43fChris Lattner  virtual child_iterator child_end();
10071f85acd5ff54345788b93111197088160fe9f06eTed Kremenek
10081f85acd5ff54345788b93111197088160fe9f06eTed Kremenek  virtual void EmitImpl(llvm::Serializer& S) const;
1009e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop  static AsmStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C);
1010fe795956194141c91ae555985c9b930595bff43fChris Lattner};
101178492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek
101278492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek/// ObjCForCollectionStmt - This represents Objective-c's collection statement;
101378492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek/// represented as 'for (element 'in' collection-expression)' stmt.
101478492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek///
101578492dae00fb85e0da0f966df4745edafdafb66cTed Kremenekclass ObjCForCollectionStmt : public Stmt {
101678492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek  enum { ELEM, COLLECTION, BODY, END_EXPR };
101778492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek  Stmt* SubExprs[END_EXPR]; // SubExprs[ELEM] is an expression or declstmt.
101878492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek  SourceLocation ForLoc;
101978492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek  SourceLocation RParenLoc;
102078492dae00fb85e0da0f966df4745edafdafb66cTed Kremenekpublic:
102178492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek  ObjCForCollectionStmt(Stmt *Elem, Expr *Collect, Stmt *Body,
102278492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek                        SourceLocation FCL, SourceLocation RPL);
102378492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek
102478492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek  Stmt *getElement() { return SubExprs[ELEM]; }
102578492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek  Expr *getCollection() {
102678492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek    return reinterpret_cast<Expr*>(SubExprs[COLLECTION]);
102778492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek  }
102878492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek  Stmt *getBody() { return SubExprs[BODY]; }
102978492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek
103078492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek  const Stmt *getElement() const { return SubExprs[ELEM]; }
103178492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek  const Expr *getCollection() const {
103278492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek    return reinterpret_cast<Expr*>(SubExprs[COLLECTION]);
103378492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek  }
103478492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek  const Stmt *getBody() const { return SubExprs[BODY]; }
103578492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek
103678492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek  SourceLocation getRParenLoc() const { return RParenLoc; }
103778492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek
103878492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek  virtual SourceRange getSourceRange() const {
103978492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek    return SourceRange(ForLoc, SubExprs[BODY]->getLocEnd());
104078492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek  }
104178492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek  static bool classof(const Stmt *T) {
104278492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek    return T->getStmtClass() == ObjCForCollectionStmtClass;
104378492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek  }
104478492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek  static bool classof(const ObjCForCollectionStmt *) { return true; }
104578492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek
104678492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek  // Iterators
104778492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek  virtual child_iterator child_begin();
104878492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek  virtual child_iterator child_end();
104978492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek
105078492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek  virtual void EmitImpl(llvm::Serializer& S) const;
1051e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop  static ObjCForCollectionStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C);
105278492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek};
1053b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian
1054a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek/// ObjCAtCatchStmt - This represents objective-c's @catch statement.
1055a526c5c67e5a0473c340903ee542ce570119665fTed Kremenekclass ObjCAtCatchStmt : public Stmt {
1056b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanianprivate:
1057ff981021554a4965943ca2d19019cea811614602Ted Kremenek  enum { SELECTOR, BODY, NEXT_CATCH, END_EXPR };
10583b1191d7eaf2f4984564e01ab84b6713a9d80e70Fariborz Jahanian  Stmt *SubExprs[END_EXPR];
1059b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian  SourceLocation AtCatchLoc, RParenLoc;
1060af526779b36f43f59e47cfc5b10bb0c48562f4a9Ted Kremenek
1061af526779b36f43f59e47cfc5b10bb0c48562f4a9Ted Kremenek  // Used by deserialization.
1062a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek  ObjCAtCatchStmt(SourceLocation atCatchLoc, SourceLocation rparenloc)
1063a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek  : Stmt(ObjCAtCatchStmtClass), AtCatchLoc(atCatchLoc), RParenLoc(rparenloc) {}
1064af526779b36f43f59e47cfc5b10bb0c48562f4a9Ted Kremenek
1065b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanianpublic:
1066a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek  ObjCAtCatchStmt(SourceLocation atCatchLoc, SourceLocation rparenloc,
1067db6ed1786bf460e1143f67d14bf2d71ad9856f81Chris Lattner                  Stmt *catchVarStmtDecl, Stmt *atCatchStmt, Stmt *atCatchList);
1068b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian
1069606efdfeb9eef70871eb62a26dfd115e209e899cFariborz Jahanian  const Stmt *getCatchBody() const { return SubExprs[BODY]; }
1070606efdfeb9eef70871eb62a26dfd115e209e899cFariborz Jahanian  Stmt *getCatchBody() { return SubExprs[BODY]; }
1071ff981021554a4965943ca2d19019cea811614602Ted Kremenek
1072ff981021554a4965943ca2d19019cea811614602Ted Kremenek  const ObjCAtCatchStmt *getNextCatchStmt() const {
1073ff981021554a4965943ca2d19019cea811614602Ted Kremenek    return static_cast<const ObjCAtCatchStmt*>(SubExprs[NEXT_CATCH]);
1074ff981021554a4965943ca2d19019cea811614602Ted Kremenek  }
1075ff981021554a4965943ca2d19019cea811614602Ted Kremenek  ObjCAtCatchStmt *getNextCatchStmt() {
1076ff981021554a4965943ca2d19019cea811614602Ted Kremenek    return static_cast<ObjCAtCatchStmt*>(SubExprs[NEXT_CATCH]);
1077ff981021554a4965943ca2d19019cea811614602Ted Kremenek  }
1078ff981021554a4965943ca2d19019cea811614602Ted Kremenek
1079606efdfeb9eef70871eb62a26dfd115e209e899cFariborz Jahanian  const Stmt *getCatchParamStmt() const { return SubExprs[SELECTOR]; }
1080606efdfeb9eef70871eb62a26dfd115e209e899cFariborz Jahanian  Stmt *getCatchParamStmt() { return SubExprs[SELECTOR]; }
10817794cb85d394750db0631c02b7aa7837ae56764cFariborz Jahanian
10827573098b83e780d1c5bea13b384b610d8f155676Steve Naroff  SourceLocation getRParenLoc() const { return RParenLoc; }
10837573098b83e780d1c5bea13b384b610d8f155676Steve Naroff
1084b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian  virtual SourceRange getSourceRange() const {
10853b1191d7eaf2f4984564e01ab84b6713a9d80e70Fariborz Jahanian    return SourceRange(AtCatchLoc, SubExprs[BODY]->getLocEnd());
1086b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian  }
1087be4b3332c2d17c03af6d015d9e8e2cc524806e6eSteve Naroff
1088be4b3332c2d17c03af6d015d9e8e2cc524806e6eSteve Naroff  bool hasEllipsis() const { return getCatchParamStmt() == 0; }
1089be4b3332c2d17c03af6d015d9e8e2cc524806e6eSteve Naroff
1090b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian  static bool classof(const Stmt *T) {
1091a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek    return T->getStmtClass() == ObjCAtCatchStmtClass;
1092b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian  }
1093a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek  static bool classof(const ObjCAtCatchStmt *) { return true; }
1094b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian
1095b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian  virtual child_iterator child_begin();
1096b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian  virtual child_iterator child_end();
1097af526779b36f43f59e47cfc5b10bb0c48562f4a9Ted Kremenek
1098af526779b36f43f59e47cfc5b10bb0c48562f4a9Ted Kremenek  virtual void EmitImpl(llvm::Serializer& S) const;
1099e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop  static ObjCAtCatchStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C);
1100b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian};
1101b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian
1102a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek/// ObjCAtFinallyStmt - This represent objective-c's @finally Statement
1103a526c5c67e5a0473c340903ee542ce570119665fTed Kremenekclass ObjCAtFinallyStmt : public Stmt {
110404be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek  Stmt *AtFinallyStmt;
110504be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek  SourceLocation AtFinallyLoc;
110604be5aae2dc17292e2007401599638f3c6ba30deTed Kremenekpublic:
1107a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek  ObjCAtFinallyStmt(SourceLocation atFinallyLoc, Stmt *atFinallyStmt)
1108a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek  : Stmt(ObjCAtFinallyStmtClass),
110904be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek    AtFinallyStmt(atFinallyStmt), AtFinallyLoc(atFinallyLoc) {}
11107794cb85d394750db0631c02b7aa7837ae56764cFariborz Jahanian
111104be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek  const Stmt *getFinallyBody () const { return AtFinallyStmt; }
111204be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek  Stmt *getFinallyBody () { return AtFinallyStmt; }
111304be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek
111404be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek  virtual SourceRange getSourceRange() const {
111504be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek    return SourceRange(AtFinallyLoc, AtFinallyStmt->getLocEnd());
111604be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek  }
111704be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek
111804be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek  static bool classof(const Stmt *T) {
1119a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek    return T->getStmtClass() == ObjCAtFinallyStmtClass;
112004be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek  }
1121a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek  static bool classof(const ObjCAtFinallyStmt *) { return true; }
112204be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek
112304be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek  virtual child_iterator child_begin();
112404be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek  virtual child_iterator child_end();
112504be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek
112604be5aae2dc17292e2007401599638f3c6ba30deTed Kremenek  virtual void EmitImpl(llvm::Serializer& S) const;
1127e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop  static ObjCAtFinallyStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C);
1128b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian};
1129b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian
1130a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek/// ObjCAtTryStmt - This represent objective-c's over-all
1131b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian/// @try ... @catch ... @finally statement.
1132a526c5c67e5a0473c340903ee542ce570119665fTed Kremenekclass ObjCAtTryStmt : public Stmt {
1133b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanianprivate:
113489079eac7d6e3091b74b477a4a5ff0cdaf35496cFariborz Jahanian  enum { TRY, CATCH, FINALLY, END_EXPR };
113589079eac7d6e3091b74b477a4a5ff0cdaf35496cFariborz Jahanian  Stmt* SubStmts[END_EXPR];
1136b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian
11379c1efff14b0e001f73c875ed5b184fb3569d641dTed Kremenek  SourceLocation AtTryLoc;
1138b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanianpublic:
1139a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek  ObjCAtTryStmt(SourceLocation atTryLoc, Stmt *atTryStmt,
1140bd49a647afd9cc534fef13cadf652d4e9c396e2bFariborz Jahanian                Stmt *atCatchStmt,
1141bd49a647afd9cc534fef13cadf652d4e9c396e2bFariborz Jahanian                Stmt *atFinallyStmt)
1142a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek  : Stmt(ObjCAtTryStmtClass) {
1143b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian      SubStmts[TRY] = atTryStmt;
1144b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian      SubStmts[CATCH] = atCatchStmt;
1145b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian      SubStmts[FINALLY] = atFinallyStmt;
1146ccdbc5c6f14965d91a352d114c109a9d4d9552b8Steve Naroff      AtTryLoc = atTryLoc;
1147b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian    }
1148b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian
11498aab17e82aab6b3f266ef1884253226d2cb8b8d8Fariborz Jahanian  const Stmt *getTryBody() const { return SubStmts[TRY]; }
11508aab17e82aab6b3f266ef1884253226d2cb8b8d8Fariborz Jahanian  Stmt *getTryBody() { return SubStmts[TRY]; }
1151a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek  const ObjCAtCatchStmt *getCatchStmts() const {
1152a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek    return dyn_cast_or_null<ObjCAtCatchStmt>(SubStmts[CATCH]);
11537573098b83e780d1c5bea13b384b610d8f155676Steve Naroff  }
1154a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek  ObjCAtCatchStmt *getCatchStmts() {
1155a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek    return dyn_cast_or_null<ObjCAtCatchStmt>(SubStmts[CATCH]);
11567573098b83e780d1c5bea13b384b610d8f155676Steve Naroff  }
1157a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek  const ObjCAtFinallyStmt *getFinallyStmt() const {
1158a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek    return dyn_cast_or_null<ObjCAtFinallyStmt>(SubStmts[FINALLY]);
11597573098b83e780d1c5bea13b384b610d8f155676Steve Naroff  }
1160a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek  ObjCAtFinallyStmt *getFinallyStmt() {
1161a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek    return dyn_cast_or_null<ObjCAtFinallyStmt>(SubStmts[FINALLY]);
11627573098b83e780d1c5bea13b384b610d8f155676Steve Naroff  }
1163b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian  virtual SourceRange getSourceRange() const {
1164b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian    return SourceRange(AtTryLoc, SubStmts[TRY]->getLocEnd());
1165b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian  }
1166b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian
1167b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian  static bool classof(const Stmt *T) {
1168a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek    return T->getStmtClass() == ObjCAtTryStmtClass;
1169b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian  }
1170a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek  static bool classof(const ObjCAtTryStmt *) { return true; }
1171b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian
1172b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian  virtual child_iterator child_begin();
1173b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian  virtual child_iterator child_end();
11749c1efff14b0e001f73c875ed5b184fb3569d641dTed Kremenek
11759c1efff14b0e001f73c875ed5b184fb3569d641dTed Kremenek  virtual void EmitImpl(llvm::Serializer& S) const;
1176e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop  static ObjCAtTryStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C);
1177b210bd0404f84b99259c9987d347a44d3c202238Fariborz Jahanian};
1178fe795956194141c91ae555985c9b930595bff43fChris Lattner
1179c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian/// ObjCAtSynchronizedStmt - This is for objective-c's @synchronized statement.
118078a677bbb5fa115fa0995b5783adeeefad67167eFariborz Jahanian/// Example: @synchronized (sem) {
1181bd144b7ac70cc96cb1ff822347c2bb9b330729ecFariborz Jahanian///             do-something;
118278a677bbb5fa115fa0995b5783adeeefad67167eFariborz Jahanian///          }
1183c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian///
1184c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanianclass ObjCAtSynchronizedStmt : public Stmt {
1185c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanianprivate:
1186a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian  enum { SYNC_EXPR, SYNC_BODY, END_EXPR };
1187a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian  Stmt* SubStmts[END_EXPR];
1188c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian  SourceLocation AtSynchronizedLoc;
1189c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian
1190c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanianpublic:
1191a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian  ObjCAtSynchronizedStmt(SourceLocation atSynchronizedLoc, Stmt *synchExpr,
1192c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian                         Stmt *synchBody)
1193a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian  : Stmt(ObjCAtSynchronizedStmtClass) {
1194a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian      SubStmts[SYNC_EXPR] = synchExpr;
1195a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian      SubStmts[SYNC_BODY] = synchBody;
1196a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian      AtSynchronizedLoc = atSynchronizedLoc;
1197a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian    }
1198c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian
119978a677bbb5fa115fa0995b5783adeeefad67167eFariborz Jahanian  const CompoundStmt *getSynchBody() const {
120078a677bbb5fa115fa0995b5783adeeefad67167eFariborz Jahanian    return reinterpret_cast<CompoundStmt*>(SubStmts[SYNC_BODY]);
120178a677bbb5fa115fa0995b5783adeeefad67167eFariborz Jahanian  }
120278a677bbb5fa115fa0995b5783adeeefad67167eFariborz Jahanian  CompoundStmt *getSynchBody() {
120378a677bbb5fa115fa0995b5783adeeefad67167eFariborz Jahanian    return reinterpret_cast<CompoundStmt*>(SubStmts[SYNC_BODY]);
120478a677bbb5fa115fa0995b5783adeeefad67167eFariborz Jahanian  }
1205c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian
1206a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian  const Expr *getSynchExpr() const {
1207a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian    return reinterpret_cast<Expr*>(SubStmts[SYNC_EXPR]);
1208a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian  }
1209a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian  Expr *getSynchExpr() {
1210a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian    return reinterpret_cast<Expr*>(SubStmts[SYNC_EXPR]);
1211a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian  }
1212c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian
1213c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian  virtual SourceRange getSourceRange() const {
1214a0f55792409289d1d343023fa8292cff6355e538Fariborz Jahanian    return SourceRange(AtSynchronizedLoc, getSynchBody()->getLocEnd());
1215c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian  }
1216c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian
1217c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian  static bool classof(const Stmt *T) {
1218c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian    return T->getStmtClass() == ObjCAtSynchronizedStmtClass;
1219c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian  }
1220c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian  static bool classof(const ObjCAtSynchronizedStmt *) { return true; }
1221c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian
1222fa3ee8e6776634caf064ba5928ca7699d317a280Fariborz Jahanian  virtual child_iterator child_begin();
1223fa3ee8e6776634caf064ba5928ca7699d317a280Fariborz Jahanian  virtual child_iterator child_end();
1224fa3ee8e6776634caf064ba5928ca7699d317a280Fariborz Jahanian
1225c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian  virtual void EmitImpl(llvm::Serializer& S) const;
1226e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop  static ObjCAtSynchronizedStmt* CreateImpl(llvm::Deserializer& D,
1227e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop                                            ASTContext& C);
1228c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian};
1229c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian
1230a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek/// ObjCAtThrowStmt - This represents objective-c's @throw statement.
1231a526c5c67e5a0473c340903ee542ce570119665fTed Kremenekclass ObjCAtThrowStmt : public Stmt {
123239f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian  Stmt *Throw;
123339f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian  SourceLocation AtThrowLoc;
123439f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanianpublic:
1235a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek  ObjCAtThrowStmt(SourceLocation atThrowLoc, Stmt *throwExpr)
1236a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek  : Stmt(ObjCAtThrowStmtClass), Throw(throwExpr) {
123739f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian    AtThrowLoc = atThrowLoc;
123839f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian  }
123939f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian
1240e0def7589a8afa8a6acef13476bb3f882c104b91Chris Lattner  const Expr *getThrowExpr() const { return reinterpret_cast<Expr*>(Throw); }
1241e0def7589a8afa8a6acef13476bb3f882c104b91Chris Lattner  Expr *getThrowExpr() { return reinterpret_cast<Expr*>(Throw); }
124239f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian
124320ebf8f15df48f27ce2bf7c1b3ae87565235600fSteve Naroff  virtual SourceRange getSourceRange() const {
124420ebf8f15df48f27ce2bf7c1b3ae87565235600fSteve Naroff    if (Throw)
124520ebf8f15df48f27ce2bf7c1b3ae87565235600fSteve Naroff      return SourceRange(AtThrowLoc, Throw->getLocEnd());
1246db6ed1786bf460e1143f67d14bf2d71ad9856f81Chris Lattner    else
1247db6ed1786bf460e1143f67d14bf2d71ad9856f81Chris Lattner      return SourceRange(AtThrowLoc);
124839f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian  }
124939f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian
125039f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian  static bool classof(const Stmt *T) {
1251a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek    return T->getStmtClass() == ObjCAtThrowStmtClass;
125239f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian  }
1253a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek  static bool classof(const ObjCAtThrowStmt *) { return true; }
125439f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian
125539f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian  virtual child_iterator child_begin();
125639f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian  virtual child_iterator child_end();
12575bdd4e300b432246b9d261702828e9875414128bTed Kremenek
12585bdd4e300b432246b9d261702828e9875414128bTed Kremenek  virtual void EmitImpl(llvm::Serializer& S) const;
1259e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop  static ObjCAtThrowStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C);
126039f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian};
126139f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian
12624b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl/// CXXCatchStmt - This represents a C++ catch block.
12634b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redlclass CXXCatchStmt : public Stmt {
12644b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl  SourceLocation CatchLoc;
12654b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl  /// The exception-declaration of the type.
12664b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl  Decl *ExceptionDecl;
12674b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl  /// The handler block.
12684b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl  Stmt *HandlerBlock;
12694b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl
12704b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redlpublic:
12714b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl  CXXCatchStmt(SourceLocation catchLoc, Decl *exDecl, Stmt *handlerBlock)
12724b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl  : Stmt(CXXCatchStmtClass), CatchLoc(catchLoc), ExceptionDecl(exDecl),
12734b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl    HandlerBlock(handlerBlock) {}
12744b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl
12754b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl  virtual void Destroy(ASTContext& Ctx);
12764b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl
12774b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl  virtual SourceRange getSourceRange() const {
12784b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl    return SourceRange(CatchLoc, HandlerBlock->getLocEnd());
12794b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl  }
12804b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl
12814b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl  Decl *getExceptionDecl() { return ExceptionDecl; }
12824b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl  QualType getCaughtType();
12834b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl  Stmt *getHandlerBlock() { return HandlerBlock; }
12844b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl
12854b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl  static bool classof(const Stmt *T) {
12864b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl    return T->getStmtClass() == CXXCatchStmtClass;
12874b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl  }
12884b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl  static bool classof(const CXXCatchStmt *) { return true; }
12894b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl
12904b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl  virtual child_iterator child_begin();
12914b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl  virtual child_iterator child_end();
12924b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl
12934b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl  virtual void EmitImpl(llvm::Serializer& S) const;
12944b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl  static CXXCatchStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C);
12954b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl};
12964b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl
12978351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl/// CXXTryStmt - A C++ try block, including all handlers.
12988351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redlclass CXXTryStmt : public Stmt {
12998351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl  SourceLocation TryLoc;
13008351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl  // First place is the guarded CompoundStatement. Subsequent are the handlers.
13018351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl  // More than three handlers should be rare.
13028351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl  llvm::SmallVector<Stmt*, 4> Stmts;
13038351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl
13048351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redlpublic:
13058351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl  CXXTryStmt(SourceLocation tryLoc, Stmt *tryBlock,
13068351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl             Stmt **handlers, unsigned numHandlers);
13078351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl
13088351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl  virtual SourceRange getSourceRange() const {
13098351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl    return SourceRange(TryLoc, Stmts.back()->getLocEnd());
13108351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl  }
13118351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl
13128351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl  CompoundStmt *getTryBlock() { return llvm::cast<CompoundStmt>(Stmts[0]); }
13138351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl  const CompoundStmt *getTryBlock() const {
13148351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl    return llvm::cast<CompoundStmt>(Stmts[0]);
13158351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl  }
13168351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl
13178351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl  unsigned getNumHandlers() const { return Stmts.size() - 1; }
13188351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl  CXXCatchStmt *getHandler(unsigned i) {
13198351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl    return llvm::cast<CXXCatchStmt>(Stmts[i + 1]);
13208351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl  }
13218351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl  const CXXCatchStmt *getHandler(unsigned i) const {
13228351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl    return llvm::cast<CXXCatchStmt>(Stmts[i + 1]);
13238351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl  }
13248351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl
13258351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl  static bool classof(const Stmt *T) {
13268351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl    return T->getStmtClass() == CXXTryStmtClass;
13278351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl  }
13288351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl  static bool classof(const CXXTryStmt *) { return true; }
13298351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl
13308351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl  virtual child_iterator child_begin();
13318351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl  virtual child_iterator child_end();
13328351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl
13338351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl  virtual void EmitImpl(llvm::Serializer& S) const;
13348351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl  static CXXTryStmt* CreateImpl(llvm::Deserializer& D, ASTContext& C);
13358351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl};
13368351da06ca3082dfd49dd8e3c1785a986920f57cSebastian Redl
13375f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}  // end namespace clang
13385f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
13395f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#endif
1340