Stmt.h revision 42602bb40aefcc2751d4078ba88aacf4d965c9bd
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" 20d249e1d1f1498b81314459ceda19d6ff25c278adDouglas Gregor#include "clang/AST/PrettyPrinter.h" 219caf8b1ca6beb254f420dada3c0e94d5ef027f58Ted Kremenek#include "clang/AST/StmtIterator.h" 228ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek#include "clang/AST/DeclGroup.h" 235f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#include "llvm/ADT/SmallVector.h" 24525204a7ca5c3c0aac8166d8f27abb988a84c850Anton Korobeynikov#include "llvm/ADT/iterator.h" 258189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek#include "clang/AST/ASTContext.h" 266e340496341a4704be0ede9c1ff4f8eacea7ee2cChris Lattner#include <string> 277573098b83e780d1c5bea13b384b610d8f155676Steve Naroffusing llvm::dyn_cast_or_null; 287573098b83e780d1c5bea13b384b610d8f155676Steve Naroff 2941ef0c3472a3d09c29bc1792f3d26842f2b8a695Douglas Gregornamespace llvm { 3041ef0c3472a3d09c29bc1792f3d26842f2b8a695Douglas Gregor class FoldingSetNodeID; 3141ef0c3472a3d09c29bc1792f3d26842f2b8a695Douglas Gregor} 3241ef0c3472a3d09c29bc1792f3d26842f2b8a695Douglas Gregor 335f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencernamespace clang { 34e2563ca02a519c2ad6d64dfed87d6e86c5d3c072Sam Bishop class ASTContext; 355f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer class Expr; 365f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer class Decl; 377ba138abd329e591a8f6d5001f60dd7082f71b3bSteve Naroff class ParmVarDecl; 384b07b2968f87f3cd5a3d8c76145f1cbfd718d42dSebastian Redl class QualType; 395f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer class IdentifierInfo; 400c727a35718556866a978f64ac549d9798735f08Chris Lattner class SourceManager; 416a0ef4b83c91a6d6d5acb4ed5577c4659fe022a3Anders Carlsson class StringLiteral; 426c36be5b383875b490684bcf439d6d427298c1afChris Lattner class SwitchStmt; 43ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek 44ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek //===----------------------------------------------------------------------===// 45ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek // ExprIterator - Iterators for iterating over Stmt* arrays that contain 46ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek // only Expr*. This is needed because AST nodes use Stmt* arrays to store 47ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek // references to children (to be compatible with StmtIterator). 48ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek //===----------------------------------------------------------------------===// 49ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek 50ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek class Stmt; 51ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek class Expr; 52ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek 53ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek class ExprIterator { 54ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek Stmt** I; 55ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek public: 56ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek ExprIterator(Stmt** i) : I(i) {} 57ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek ExprIterator() : I(0) {} 58ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek ExprIterator& operator++() { ++I; return *this; } 59ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek ExprIterator operator-(size_t i) { return I-i; } 60ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek ExprIterator operator+(size_t i) { return I+i; } 61ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek Expr* operator[](size_t idx); 62ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek // FIXME: Verify that this will correctly return a signed distance. 63ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek signed operator-(const ExprIterator& R) const { return I - R.I; } 64ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek Expr* operator*() const; 65ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek Expr* operator->() const; 66ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek bool operator==(const ExprIterator& R) const { return I == R.I; } 67ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek bool operator!=(const ExprIterator& R) const { return I != R.I; } 68ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek bool operator>(const ExprIterator& R) const { return I > R.I; } 69ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek bool operator>=(const ExprIterator& R) const { return I >= R.I; } 70ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek }; 71ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek 72ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek class ConstExprIterator { 73ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek Stmt* const * I; 74ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek public: 75ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek ConstExprIterator(Stmt* const* i) : I(i) {} 76ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek ConstExprIterator() : I(0) {} 77ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek ConstExprIterator& operator++() { ++I; return *this; } 78ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek ConstExprIterator operator+(size_t i) { return I+i; } 79ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek ConstExprIterator operator-(size_t i) { return I-i; } 80ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek const Expr * operator[](size_t idx) const; 81ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek signed operator-(const ConstExprIterator& R) const { return I - R.I; } 82ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek const Expr * operator*() const; 83ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek const Expr * operator->() const; 84ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek bool operator==(const ConstExprIterator& R) const { return I == R.I; } 85ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek bool operator!=(const ConstExprIterator& R) const { return I != R.I; } 86ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek bool operator>(const ConstExprIterator& R) const { return I > R.I; } 87ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek bool operator>=(const ConstExprIterator& R) const { return I >= R.I; } 88ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek }; 89ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek 90ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek//===----------------------------------------------------------------------===// 91ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek// AST classes for statements. 92ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek//===----------------------------------------------------------------------===// 93ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek 945f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// Stmt - This represents one statement. 955f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 965f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass Stmt { 975f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 985f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer enum StmtClass { 99f2cad8633e46cce12fc3d77c0bd451ffd7264bafDouglas Gregor NoStmtClass = 0, 100f2cad8633e46cce12fc3d77c0bd451ffd7264bafDouglas Gregor#define STMT(CLASS, PARENT) CLASS##Class, 101f2cad8633e46cce12fc3d77c0bd451ffd7264bafDouglas Gregor#define FIRST_STMT(CLASS) firstStmtConstant = CLASS##Class, 102f2cad8633e46cce12fc3d77c0bd451ffd7264bafDouglas Gregor#define LAST_STMT(CLASS) lastStmtConstant = CLASS##Class, 103f2cad8633e46cce12fc3d77c0bd451ffd7264bafDouglas Gregor#define FIRST_EXPR(CLASS) firstExprConstant = CLASS##Class, 104f2cad8633e46cce12fc3d77c0bd451ffd7264bafDouglas Gregor#define LAST_EXPR(CLASS) lastExprConstant = CLASS##Class 1055f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#include "clang/AST/StmtNodes.def" 1065f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 1075f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerprivate: 1085f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer const StmtClass sClass; 1098189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek 1108189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek // Make vanilla 'new' and 'delete' illegal for Stmts. 1118189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenekprotected: 1128189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek void* operator new(size_t bytes) throw() { 1138189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek assert(0 && "Stmts cannot be allocated with regular 'new'."); 1148189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek return 0; 1158189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek } 1168189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek void operator delete(void* data) throw() { 1178189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek assert(0 && "Stmts cannot be released with regular 'delete'."); 1188189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek } 1198189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek 1208189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenekpublic: 1218189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek // Only allow allocation of Stmts using the allocator in ASTContext 1228189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek // or by doing a placement new. 1238189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek void* operator new(size_t bytes, ASTContext& C, 1248189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek unsigned alignment = 16) throw() { 1258189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek return ::operator new(bytes, C, alignment); 1268189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek } 1278189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek 1288189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek void* operator new(size_t bytes, ASTContext* C, 1298189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek unsigned alignment = 16) throw() { 1308189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek return ::operator new(bytes, *C, alignment); 1318189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek } 1328189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek 1338189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek void* operator new(size_t bytes, void* mem) throw() { 1348189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek return mem; 1358189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek } 136e2dedf8f61b8f306f704781456b482eb61871e8eDouglas Gregor 137fb523e16dd1f860ff02a3ae03e5e3e25327a5860Chris Lattner void operator delete(void*, ASTContext&, unsigned) throw() { } 138fb523e16dd1f860ff02a3ae03e5e3e25327a5860Chris Lattner void operator delete(void*, ASTContext*, unsigned) throw() { } 139e2dedf8f61b8f306f704781456b482eb61871e8eDouglas Gregor void operator delete(void*, std::size_t) throw() { } 140fb523e16dd1f860ff02a3ae03e5e3e25327a5860Chris Lattner void operator delete(void*, void*) throw() { } 141e2dedf8f61b8f306f704781456b482eb61871e8eDouglas Gregor 142025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregorpublic: 143025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor /// \brief A placeholder type used to construct an empty shell of a 144025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor /// type, that will be filled in later (e.g., by some 145025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor /// de-serialization). 146025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor struct EmptyShell { }; 147025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor 1489c1863ef36a74e8203f00289d19856ad956f48b9Ted Kremenekprotected: 1499c1863ef36a74e8203f00289d19856ad956f48b9Ted Kremenek /// DestroyChildren - Invoked by destructors of subclasses of Stmt to 1509c1863ef36a74e8203f00289d19856ad956f48b9Ted Kremenek /// recursively release child AST nodes. 15127f8a28bee33bb0e857cfe1a61c281bbc234b338Ted Kremenek void DestroyChildren(ASTContext& Ctx); 1529c1863ef36a74e8203f00289d19856ad956f48b9Ted Kremenek 153025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor /// \brief Construct an empty statement. 154025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor explicit Stmt(StmtClass SC, EmptyShell) : sClass(SC) { 155025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor if (Stmt::CollectingStats()) Stmt::addStmtClass(SC); 156025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor } 157025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor 15842602bb40aefcc2751d4078ba88aacf4d965c9bdDouglas Gregor /// \brief Virtual method that performs the actual destruction of 15942602bb40aefcc2751d4078ba88aacf4d965c9bdDouglas Gregor /// this statement. 16042602bb40aefcc2751d4078ba88aacf4d965c9bdDouglas Gregor /// 16142602bb40aefcc2751d4078ba88aacf4d965c9bdDouglas Gregor /// Subclasses should override this method (not Destroy()) to 16242602bb40aefcc2751d4078ba88aacf4d965c9bdDouglas Gregor /// provide class-specific destruction. 16342602bb40aefcc2751d4078ba88aacf4d965c9bdDouglas Gregor virtual void DoDestroy(ASTContext &Ctx); 16442602bb40aefcc2751d4078ba88aacf4d965c9bdDouglas Gregor 1655f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 1665f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Stmt(StmtClass SC) : sClass(SC) { 1675f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer if (Stmt::CollectingStats()) Stmt::addStmtClass(SC); 1685f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 1695f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer virtual ~Stmt() {} 17027f8a28bee33bb0e857cfe1a61c281bbc234b338Ted Kremenek 17142602bb40aefcc2751d4078ba88aacf4d965c9bdDouglas Gregor /// \brief Destroy the current statement and its children. 17242602bb40aefcc2751d4078ba88aacf4d965c9bdDouglas Gregor void Destroy(ASTContext &Ctx) { DoDestroy(Ctx); } 1735f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1745f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer StmtClass getStmtClass() const { return sClass; } 1755f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer const char *getStmtClassName() const; 176b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 177b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff /// SourceLocation tokens are not useful in isolation - they are low level 178b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff /// value objects created/interpreted by SourceManager. We assume AST 179b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff /// clients will have a pointer to the respective SourceManager. 180b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const = 0; 181311ff02fae0392bee6abe7723cdf5a69b2899a47Chris Lattner SourceLocation getLocStart() const { return getSourceRange().getBegin(); } 182311ff02fae0392bee6abe7723cdf5a69b2899a47Chris Lattner SourceLocation getLocEnd() const { return getSourceRange().getEnd(); } 1835f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1845f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // global temp stats (until we have a per-module visitor) 1855f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static void addStmtClass(const StmtClass s); 1865f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool CollectingStats(bool enable=false); 1875f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static void PrintStats(); 1886000dace22f110d8768476989313e9d981d690d0Chris Lattner 1896000dace22f110d8768476989313e9d981d690d0Chris Lattner /// dump - This does a local dump of the specified AST fragment. It dumps the 1906000dace22f110d8768476989313e9d981d690d0Chris Lattner /// specified node and a few nodes underneath it, but not the whole subtree. 1916000dace22f110d8768476989313e9d981d690d0Chris Lattner /// This is useful in a debugger. 1925f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void dump() const; 193e300c870f08d08badf2ebcb53ded49f304af37fcChris Lattner void dump(SourceManager &SM) const; 1946000dace22f110d8768476989313e9d981d690d0Chris Lattner 1956000dace22f110d8768476989313e9d981d690d0Chris Lattner /// dumpAll - This does a dump of the specified AST fragment and all subtrees. 1966000dace22f110d8768476989313e9d981d690d0Chris Lattner void dumpAll() const; 197e300c870f08d08badf2ebcb53ded49f304af37fcChris Lattner void dumpAll(SourceManager &SM) const; 1986000dace22f110d8768476989313e9d981d690d0Chris Lattner 1996000dace22f110d8768476989313e9d981d690d0Chris Lattner /// dumpPretty/printPretty - These two methods do a "pretty print" of the AST 2006000dace22f110d8768476989313e9d981d690d0Chris Lattner /// back to its original source language syntax. 20148d14a222276fad5279e994d1a062f36ae6fcbceEli Friedman void dumpPretty(ASTContext& Context) const; 202e4f2142d00fa5fdb580c4e2413da91882d955381Chris Lattner void printPretty(llvm::raw_ostream &OS, PrinterHelper *Helper, 203e4f2142d00fa5fdb580c4e2413da91882d955381Chris Lattner const PrintingPolicy &Policy, 20448d14a222276fad5279e994d1a062f36ae6fcbceEli Friedman unsigned Indentation = 0) const { 20548d14a222276fad5279e994d1a062f36ae6fcbceEli Friedman printPretty(OS, *(ASTContext*)0, Helper, Policy, Indentation); 20648d14a222276fad5279e994d1a062f36ae6fcbceEli Friedman } 207e4f2142d00fa5fdb580c4e2413da91882d955381Chris Lattner void printPretty(llvm::raw_ostream &OS, ASTContext &Context, 208e4f2142d00fa5fdb580c4e2413da91882d955381Chris Lattner PrinterHelper *Helper, 209e4f2142d00fa5fdb580c4e2413da91882d955381Chris Lattner const PrintingPolicy &Policy, 210d249e1d1f1498b81314459ceda19d6ff25c278adDouglas Gregor unsigned Indentation = 0) const; 2115f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 212d2a4a1af1088fca80e2dc76eb3369db0fbbfdefdTed Kremenek /// viewAST - Visualize an AST rooted at this Stmt* using GraphViz. Only 213d2a4a1af1088fca80e2dc76eb3369db0fbbfdefdTed Kremenek /// works on systems with GraphViz (Mac OS X) or dot+gv installed. 214d2a4a1af1088fca80e2dc76eb3369db0fbbfdefdTed Kremenek void viewAST() const; 215d2a4a1af1088fca80e2dc76eb3369db0fbbfdefdTed Kremenek 2165f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // Implement isa<T> support. 2178297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek static bool classof(const Stmt *) { return true; } 21877ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek 219d48ade633d96b94cb435d73e2c935ea457152decTed Kremenek /// hasImplicitControlFlow - Some statements (e.g. short circuited operations) 220d48ade633d96b94cb435d73e2c935ea457152decTed Kremenek /// contain implicit control-flow in the order their subexpressions 221d48ade633d96b94cb435d73e2c935ea457152decTed Kremenek /// are evaluated. This predicate returns true if this statement has 222d48ade633d96b94cb435d73e2c935ea457152decTed Kremenek /// such implicit control-flow. Such statements are also specially handled 223d48ade633d96b94cb435d73e2c935ea457152decTed Kremenek /// within CFGs. 224d48ade633d96b94cb435d73e2c935ea457152decTed Kremenek bool hasImplicitControlFlow() const; 225d48ade633d96b94cb435d73e2c935ea457152decTed Kremenek 22677ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek /// Child Iterators: All subclasses must implement child_begin and child_end 22777ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek /// to permit easy iteration over the substatements/subexpessions of an 22877ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek /// AST node. This permits easy iteration over all nodes in the AST. 2299caf8b1ca6beb254f420dada3c0e94d5ef027f58Ted Kremenek typedef StmtIterator child_iterator; 2309caf8b1ca6beb254f420dada3c0e94d5ef027f58Ted Kremenek typedef ConstStmtIterator const_child_iterator; 23177ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek 2328297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin() = 0; 2338297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end() = 0; 23477ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek 23577ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek const_child_iterator child_begin() const { 2369caf8b1ca6beb254f420dada3c0e94d5ef027f58Ted Kremenek return const_child_iterator(const_cast<Stmt*>(this)->child_begin()); 23777ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek } 23877ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek 23977ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek const_child_iterator child_end() const { 2409caf8b1ca6beb254f420dada3c0e94d5ef027f58Ted Kremenek return const_child_iterator(const_cast<Stmt*>(this)->child_end()); 24177ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek } 24241ef0c3472a3d09c29bc1792f3d26842f2b8a695Douglas Gregor 24341ef0c3472a3d09c29bc1792f3d26842f2b8a695Douglas Gregor /// \brief Produce a unique representation of the given statement. 24441ef0c3472a3d09c29bc1792f3d26842f2b8a695Douglas Gregor /// 24541ef0c3472a3d09c29bc1792f3d26842f2b8a695Douglas Gregor /// \brief ID once the profiling operation is complete, will contain 24641ef0c3472a3d09c29bc1792f3d26842f2b8a695Douglas Gregor /// the unique representation of the given statement. 24741ef0c3472a3d09c29bc1792f3d26842f2b8a695Douglas Gregor /// 24841ef0c3472a3d09c29bc1792f3d26842f2b8a695Douglas Gregor /// \brief Context the AST context in which the statement resides 24941ef0c3472a3d09c29bc1792f3d26842f2b8a695Douglas Gregor /// 25041ef0c3472a3d09c29bc1792f3d26842f2b8a695Douglas Gregor /// \brief Canonical whether the profile should be based on the canonical 25141ef0c3472a3d09c29bc1792f3d26842f2b8a695Douglas Gregor /// representation of this statement (e.g., where non-type template 25241ef0c3472a3d09c29bc1792f3d26842f2b8a695Douglas Gregor /// parameters are identified by index/level rather than their 25341ef0c3472a3d09c29bc1792f3d26842f2b8a695Douglas Gregor /// declaration pointers) or the exact representation of the statement as 25441ef0c3472a3d09c29bc1792f3d26842f2b8a695Douglas Gregor /// written in the source. 25541ef0c3472a3d09c29bc1792f3d26842f2b8a695Douglas Gregor void Profile(llvm::FoldingSetNodeID &ID, ASTContext &Context, 25641ef0c3472a3d09c29bc1792f3d26842f2b8a695Douglas Gregor bool Canonical); 2575f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 2585f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 2595f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// DeclStmt - Adaptor class for mixing declarations with statements and 2605f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// expressions. For example, CompoundStmt mixes statements, expressions 2615f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// and declarations (variables, types). Another example is ForStmt, where 2625f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// the first statement can be an expression or a declaration. 2635f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 2645f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass DeclStmt : public Stmt { 2659653db7bd0e3665b955a0445859285f2e1e7dacdDouglas Gregor DeclGroupRef DG; 26681c018d9482e7cc2addadc6202dcf162a01faefdChris Lattner SourceLocation StartLoc, EndLoc; 26742602bb40aefcc2751d4078ba88aacf4d965c9bdDouglas Gregor 2685f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 2699653db7bd0e3665b955a0445859285f2e1e7dacdDouglas Gregor DeclStmt(DeclGroupRef dg, SourceLocation startLoc, 2708ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek SourceLocation endLoc) : Stmt(DeclStmtClass), DG(dg), 2718ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek StartLoc(startLoc), EndLoc(endLoc) {} 2725f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 27384f2170062014d268951902164bed0d8bdea0e82Douglas Gregor /// \brief Build an empty declaration statement. 27484f2170062014d268951902164bed0d8bdea0e82Douglas Gregor explicit DeclStmt(EmptyShell Empty) : Stmt(DeclStmtClass, Empty) { } 27584f2170062014d268951902164bed0d8bdea0e82Douglas Gregor 2767e24e82a70a2c681f4291a3397bcd1e1005f251aChris Lattner /// isSingleDecl - This method returns true if this DeclStmt refers 277fe95deaf66e4fbd82d44b5f6afa8162fa69cb85cChris Lattner /// to a single Decl. 2787e24e82a70a2c681f4291a3397bcd1e1005f251aChris Lattner bool isSingleDecl() const { 279fe95deaf66e4fbd82d44b5f6afa8162fa69cb85cChris Lattner return DG.isSingleDecl(); 2808ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek } 281655137a6c19110620d82d5f03cdcaec3a48c059fTed Kremenek 2827e24e82a70a2c681f4291a3397bcd1e1005f251aChris Lattner const Decl *getSingleDecl() const { return DG.getSingleDecl(); } 2837e24e82a70a2c681f4291a3397bcd1e1005f251aChris Lattner Decl *getSingleDecl() { return DG.getSingleDecl(); } 284e66a8cf9117e5fb95a05ff76ec06615e63dd5adeChris Lattner 285e66a8cf9117e5fb95a05ff76ec06615e63dd5adeChris Lattner const DeclGroupRef getDeclGroup() const { return DG; } 286e66a8cf9117e5fb95a05ff76ec06615e63dd5adeChris Lattner DeclGroupRef getDeclGroup() { return DG; } 28784f2170062014d268951902164bed0d8bdea0e82Douglas Gregor void setDeclGroup(DeclGroupRef DGR) { DG = DGR; } 288b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 28981c018d9482e7cc2addadc6202dcf162a01faefdChris Lattner SourceLocation getStartLoc() const { return StartLoc; } 29084f2170062014d268951902164bed0d8bdea0e82Douglas Gregor void setStartLoc(SourceLocation L) { StartLoc = L; } 29181c018d9482e7cc2addadc6202dcf162a01faefdChris Lattner SourceLocation getEndLoc() const { return EndLoc; } 29284f2170062014d268951902164bed0d8bdea0e82Douglas Gregor void setEndLoc(SourceLocation L) { EndLoc = L; } 29384f2170062014d268951902164bed0d8bdea0e82Douglas Gregor 2948ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek SourceRange getSourceRange() const { 29581c018d9482e7cc2addadc6202dcf162a01faefdChris Lattner return SourceRange(StartLoc, EndLoc); 29681c018d9482e7cc2addadc6202dcf162a01faefdChris Lattner } 2975f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 2985f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 2995f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == DeclStmtClass; 3005f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 3015f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const DeclStmt *) { return true; } 3028297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 30314f8b4ff660bcaa763974b8d0fae81857c594495Ted Kremenek // Iterators over subexpressions. 3048297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 3058297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 3060965f446e7685dc01fc0b5e718610530eed3cc63Ted Kremenek 3070632dd6fe068011af5710c0d6a745724021ff620Chris Lattner typedef DeclGroupRef::iterator decl_iterator; 3080632dd6fe068011af5710c0d6a745724021ff620Chris Lattner typedef DeclGroupRef::const_iterator const_decl_iterator; 3098a0d2660b6890ed95d34f37d142c0c52ac490194Ted Kremenek 3108ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek decl_iterator decl_begin() { return DG.begin(); } 3118ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek decl_iterator decl_end() { return DG.end(); } 3128ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek const_decl_iterator decl_begin() const { return DG.begin(); } 3138ffb159441e923322bef6b5dee1aaf24c738d75eTed Kremenek const_decl_iterator decl_end() const { return DG.end(); } 3145f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 3155f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3165f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// NullStmt - This is the null statement ";": C99 6.8.3p3. 3175f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 3185f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass NullStmt : public Stmt { 3195f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation SemiLoc; 3205f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 3215f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer NullStmt(SourceLocation L) : Stmt(NullStmtClass), SemiLoc(L) {} 3225f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 323025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor /// \brief Build an empty null statement. 324025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor explicit NullStmt(EmptyShell Empty) : Stmt(NullStmtClass, Empty) { } 325025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor 326d19cd90b266181c4a8d186adfa20ccebe73336ccAnders Carlsson NullStmt* Clone(ASTContext &C) const; 327d19cd90b266181c4a8d186adfa20ccebe73336ccAnders Carlsson 3285f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation getSemiLoc() const { return SemiLoc; } 329025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor void setSemiLoc(SourceLocation L) { SemiLoc = L; } 330b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 331507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff virtual SourceRange getSourceRange() const { return SourceRange(SemiLoc); } 3325f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3335f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 3345f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == NullStmtClass; 3355f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 3365f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const NullStmt *) { return true; } 3378297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 3388297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 3398297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 3408297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 3415f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 3425f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3435f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// CompoundStmt - This represents a group of statements like { stmt stmt }. 3445f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 3455f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass CompoundStmt : public Stmt { 3468189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek Stmt** Body; 3478189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek unsigned NumStmts; 348b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation LBracLoc, RBracLoc; 3495f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 3508189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek CompoundStmt(ASTContext& C, Stmt **StmtStart, unsigned numStmts, 3518189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek SourceLocation LB, SourceLocation RB) 3528189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek : Stmt(CompoundStmtClass), NumStmts(numStmts), LBracLoc(LB), RBracLoc(RB) { 353026dc96ac6ece60da5e1b98e2a71bd0ff0939fd8Chris Lattner if (NumStmts == 0) { 354026dc96ac6ece60da5e1b98e2a71bd0ff0939fd8Chris Lattner Body = 0; 355026dc96ac6ece60da5e1b98e2a71bd0ff0939fd8Chris Lattner return; 356026dc96ac6ece60da5e1b98e2a71bd0ff0939fd8Chris Lattner } 357026dc96ac6ece60da5e1b98e2a71bd0ff0939fd8Chris Lattner 358026dc96ac6ece60da5e1b98e2a71bd0ff0939fd8Chris Lattner Body = new (C) Stmt*[NumStmts]; 359026dc96ac6ece60da5e1b98e2a71bd0ff0939fd8Chris Lattner memcpy(Body, StmtStart, numStmts * sizeof(*Body)); 3608189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek } 361025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor 362025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor // \brief Build an empty compound statement. 363025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor explicit CompoundStmt(EmptyShell Empty) 364025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor : Stmt(CompoundStmtClass, Empty), Body(0), NumStmts(0) { } 365025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor 366025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor void setStmts(ASTContext &C, Stmt **Stmts, unsigned NumStmts); 3678189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek 3688189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek bool body_empty() const { return NumStmts == 0; } 369025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor unsigned size() const { return NumStmts; } 370025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor 3718189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek typedef Stmt** body_iterator; 3728189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek body_iterator body_begin() { return Body; } 3738189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek body_iterator body_end() { return Body + NumStmts; } 3748189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek Stmt *body_back() { return NumStmts ? Body[NumStmts-1] : 0; } 3755f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3768189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek typedef Stmt* const * const_body_iterator; 3778189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek const_body_iterator body_begin() const { return Body; } 3788189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek const_body_iterator body_end() const { return Body + NumStmts; } 3798189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek const Stmt *body_back() const { return NumStmts ? Body[NumStmts-1] : 0; } 3808189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek 3818189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek typedef std::reverse_iterator<body_iterator> reverse_body_iterator; 3828189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek reverse_body_iterator body_rbegin() { 3838189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek return reverse_body_iterator(body_end()); 3848189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek } 3858189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek reverse_body_iterator body_rend() { 3868189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek return reverse_body_iterator(body_begin()); 3878189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek } 3884ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek 3898189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek typedef std::reverse_iterator<const_body_iterator> 3908189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek const_reverse_body_iterator; 3914ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek 3928189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek const_reverse_body_iterator body_rbegin() const { 3938189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek return const_reverse_body_iterator(body_end()); 3948189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek } 395b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 3968189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek const_reverse_body_iterator body_rend() const { 3978189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek return const_reverse_body_iterator(body_begin()); 3988189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek } 3998189cde56b4f6f938cd65f53c932fe1860d0204cTed Kremenek 400b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 401b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(LBracLoc, RBracLoc); 402b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 40354395d440dc82a5e51b945c6c2a7f4bc4bea0358Ted Kremenek 404cc326204dd97771c336b9aab3b9963ea30d69c29Ted Kremenek SourceLocation getLBracLoc() const { return LBracLoc; } 405025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor void setLBracLoc(SourceLocation L) { LBracLoc = L; } 406cc326204dd97771c336b9aab3b9963ea30d69c29Ted Kremenek SourceLocation getRBracLoc() const { return RBracLoc; } 407025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor void setRBracLoc(SourceLocation L) { RBracLoc = L; } 40854395d440dc82a5e51b945c6c2a7f4bc4bea0358Ted Kremenek 4095f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 4105f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == CompoundStmtClass; 4115f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 4125f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const CompoundStmt *) { return true; } 4138297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 4148297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 4158297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 4168297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 4175f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 4185f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 419c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson// SwitchCase is the base class for CaseStmt and DefaultStmt, 420c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlssonclass SwitchCase : public Stmt { 421103fc81f12aa635aa0a573c94b1aceb496b4e587Ted Kremenekprotected: 422c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson // A pointer to the following CaseStmt or DefaultStmt class, 423c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson // used by SwitchStmt. 424c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson SwitchCase *NextSwitchCase; 425103fc81f12aa635aa0a573c94b1aceb496b4e587Ted Kremenek 426d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek SwitchCase(StmtClass SC) : Stmt(SC), NextSwitchCase(0) {} 427c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson 428c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlssonpublic: 429c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson const SwitchCase *getNextSwitchCase() const { return NextSwitchCase; } 430c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson 431c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson SwitchCase *getNextSwitchCase() { return NextSwitchCase; } 432c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson 433c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson void setNextSwitchCase(SwitchCase *SC) { NextSwitchCase = SC; } 434d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek 435d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek Stmt *getSubStmt() { return v_getSubStmt(); } 436b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 437b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { return SourceRange(); } 438edcc752060be38bfa7e7b32691c0cc4d843622a8Ted Kremenek 439c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson static bool classof(const Stmt *T) { 440c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson return T->getStmtClass() == CaseStmtClass || 441c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson T->getStmtClass() == DefaultStmtClass; 442c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson } 443c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson static bool classof(const SwitchCase *) { return true; } 4443fb94a4918bd427fdb12df997dd87fd1017f0388Chris Lattnerprotected: 4453fb94a4918bd427fdb12df997dd87fd1017f0388Chris Lattner virtual Stmt* v_getSubStmt() = 0; 446c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson}; 447c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson 448c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlssonclass CaseStmt : public SwitchCase { 449d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek enum { SUBSTMT, LHS, RHS, END_EXPR }; 450d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek Stmt* SubExprs[END_EXPR]; // The expression for the RHS is Non-null for 451d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek // GNU "case 1 ... 4" extension 452b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation CaseLoc; 453dbb26db1d426fb6caaaf1b4fa47b46d1947c12c9Douglas Gregor SourceLocation EllipsisLoc; 454dbb26db1d426fb6caaaf1b4fa47b46d1947c12c9Douglas Gregor SourceLocation ColonLoc; 455dbb26db1d426fb6caaaf1b4fa47b46d1947c12c9Douglas Gregor 4563fb94a4918bd427fdb12df997dd87fd1017f0388Chris Lattner virtual Stmt* v_getSubStmt() { return getSubStmt(); } 4575f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 458dbb26db1d426fb6caaaf1b4fa47b46d1947c12c9Douglas Gregor CaseStmt(Expr *lhs, Expr *rhs, SourceLocation caseLoc, 459dbb26db1d426fb6caaaf1b4fa47b46d1947c12c9Douglas Gregor SourceLocation ellipsisLoc, SourceLocation colonLoc) 460d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek : SwitchCase(CaseStmtClass) { 46124e1e707b4c362f18e371e2bbf054a8345b57bfaChris Lattner SubExprs[SUBSTMT] = 0; 462d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek SubExprs[LHS] = reinterpret_cast<Stmt*>(lhs); 463d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek SubExprs[RHS] = reinterpret_cast<Stmt*>(rhs); 464b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff CaseLoc = caseLoc; 465dbb26db1d426fb6caaaf1b4fa47b46d1947c12c9Douglas Gregor EllipsisLoc = ellipsisLoc; 466dbb26db1d426fb6caaaf1b4fa47b46d1947c12c9Douglas Gregor ColonLoc = colonLoc; 467d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek } 468025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor 469025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor /// \brief Build an empty switch case statement. 470025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor explicit CaseStmt(EmptyShell Empty) : SwitchCase(CaseStmtClass) { } 471025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor 472764a7ce5217f9569e100a3445f47496ee82daf86Chris Lattner SourceLocation getCaseLoc() const { return CaseLoc; } 473025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor void setCaseLoc(SourceLocation L) { CaseLoc = L; } 474dbb26db1d426fb6caaaf1b4fa47b46d1947c12c9Douglas Gregor SourceLocation getEllipsisLoc() const { return EllipsisLoc; } 475dbb26db1d426fb6caaaf1b4fa47b46d1947c12c9Douglas Gregor void setEllipsisLoc(SourceLocation L) { EllipsisLoc = L; } 476dbb26db1d426fb6caaaf1b4fa47b46d1947c12c9Douglas Gregor SourceLocation getColonLoc() const { return ColonLoc; } 477dbb26db1d426fb6caaaf1b4fa47b46d1947c12c9Douglas Gregor void setColonLoc(SourceLocation L) { ColonLoc = L; } 478025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor 479d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek Expr *getLHS() { return reinterpret_cast<Expr*>(SubExprs[LHS]); } 480d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek Expr *getRHS() { return reinterpret_cast<Expr*>(SubExprs[RHS]); } 481d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek Stmt *getSubStmt() { return SubExprs[SUBSTMT]; } 482025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor 48351b09f2c528c8460b5465c676173324e44176d62Devang Patel const Expr *getLHS() const { 48451b09f2c528c8460b5465c676173324e44176d62Devang Patel return reinterpret_cast<const Expr*>(SubExprs[LHS]); 48551b09f2c528c8460b5465c676173324e44176d62Devang Patel } 48651b09f2c528c8460b5465c676173324e44176d62Devang Patel const Expr *getRHS() const { 48751b09f2c528c8460b5465c676173324e44176d62Devang Patel return reinterpret_cast<const Expr*>(SubExprs[RHS]); 48851b09f2c528c8460b5465c676173324e44176d62Devang Patel } 48951b09f2c528c8460b5465c676173324e44176d62Devang Patel const Stmt *getSubStmt() const { return SubExprs[SUBSTMT]; } 4905f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 49120dabe8b8ff7ed6d2d0158fee43755a4bc7642c3Chris Lattner void setSubStmt(Stmt *S) { SubExprs[SUBSTMT] = S; } 49220dabe8b8ff7ed6d2d0158fee43755a4bc7642c3Chris Lattner void setLHS(Expr *Val) { SubExprs[LHS] = reinterpret_cast<Stmt*>(Val); } 49320dabe8b8ff7ed6d2d0158fee43755a4bc7642c3Chris Lattner void setRHS(Expr *Val) { SubExprs[RHS] = reinterpret_cast<Stmt*>(Val); } 49420dabe8b8ff7ed6d2d0158fee43755a4bc7642c3Chris Lattner 49520dabe8b8ff7ed6d2d0158fee43755a4bc7642c3Chris Lattner 4963fb94a4918bd427fdb12df997dd87fd1017f0388Chris Lattner virtual SourceRange getSourceRange() const { 4973fb94a4918bd427fdb12df997dd87fd1017f0388Chris Lattner // Handle deeply nested case statements with iteration instead of recursion. 4983fb94a4918bd427fdb12df997dd87fd1017f0388Chris Lattner const CaseStmt *CS = this; 49991ee0140ecb60b5c1402edc9e577257636c4ca60Chris Lattner while (const CaseStmt *CS2 = dyn_cast<CaseStmt>(CS->getSubStmt())) 5003fb94a4918bd427fdb12df997dd87fd1017f0388Chris Lattner CS = CS2; 5013fb94a4918bd427fdb12df997dd87fd1017f0388Chris Lattner 5023fb94a4918bd427fdb12df997dd87fd1017f0388Chris Lattner return SourceRange(CaseLoc, CS->getSubStmt()->getLocEnd()); 503b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 5045f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 5055f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == CaseStmtClass; 5065f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 5075f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const CaseStmt *) { return true; } 508d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek 509d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek // Iterators 510d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek virtual child_iterator child_begin(); 511d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek virtual child_iterator child_end(); 5125f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 5135f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 514c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlssonclass DefaultStmt : public SwitchCase { 515d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek Stmt* SubStmt; 5166c36be5b383875b490684bcf439d6d427298c1afChris Lattner SourceLocation DefaultLoc; 517dbb26db1d426fb6caaaf1b4fa47b46d1947c12c9Douglas Gregor SourceLocation ColonLoc; 5183fb94a4918bd427fdb12df997dd87fd1017f0388Chris Lattner virtual Stmt* v_getSubStmt() { return getSubStmt(); } 5195f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 520dbb26db1d426fb6caaaf1b4fa47b46d1947c12c9Douglas Gregor DefaultStmt(SourceLocation DL, SourceLocation CL, Stmt *substmt) : 521dbb26db1d426fb6caaaf1b4fa47b46d1947c12c9Douglas Gregor SwitchCase(DefaultStmtClass), SubStmt(substmt), DefaultLoc(DL), 522dbb26db1d426fb6caaaf1b4fa47b46d1947c12c9Douglas Gregor ColonLoc(CL) {} 523025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor 524025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor /// \brief Build an empty default statement. 525025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor explicit DefaultStmt(EmptyShell) : SwitchCase(DefaultStmtClass) { } 526025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor 527d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek Stmt *getSubStmt() { return SubStmt; } 52851b09f2c528c8460b5465c676173324e44176d62Devang Patel const Stmt *getSubStmt() const { return SubStmt; } 529025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor void setSubStmt(Stmt *S) { SubStmt = S; } 530025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor 5316c36be5b383875b490684bcf439d6d427298c1afChris Lattner SourceLocation getDefaultLoc() const { return DefaultLoc; } 532025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor void setDefaultLoc(SourceLocation L) { DefaultLoc = L; } 533dbb26db1d426fb6caaaf1b4fa47b46d1947c12c9Douglas Gregor SourceLocation getColonLoc() const { return ColonLoc; } 534dbb26db1d426fb6caaaf1b4fa47b46d1947c12c9Douglas Gregor void setColonLoc(SourceLocation L) { ColonLoc = L; } 5355f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 536b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 537b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(DefaultLoc, SubStmt->getLocEnd()); 538b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 5395f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 5405f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == DefaultStmtClass; 5415f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 5425f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const DefaultStmt *) { return true; } 543d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek 544d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek // Iterators 545d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek virtual child_iterator child_begin(); 546d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek virtual child_iterator child_end(); 5475f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 5485f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5495f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass LabelStmt : public Stmt { 5505f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer IdentifierInfo *Label; 5515f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Stmt *SubStmt; 552b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation IdentLoc; 5535f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 554b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff LabelStmt(SourceLocation IL, IdentifierInfo *label, Stmt *substmt) 555b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff : Stmt(LabelStmtClass), Label(label), 556b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SubStmt(substmt), IdentLoc(IL) {} 5571de05feeeafe5b215fe7617594a7076a5192a6e2Douglas Gregor 5581de05feeeafe5b215fe7617594a7076a5192a6e2Douglas Gregor // \brief Build an empty label statement. 5591de05feeeafe5b215fe7617594a7076a5192a6e2Douglas Gregor explicit LabelStmt(EmptyShell Empty) : Stmt(LabelStmtClass, Empty) { } 5605f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5615f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation getIdentLoc() const { return IdentLoc; } 5625f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer IdentifierInfo *getID() const { return Label; } 5631de05feeeafe5b215fe7617594a7076a5192a6e2Douglas Gregor void setID(IdentifierInfo *II) { Label = II; } 5645f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer const char *getName() const; 5655f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Stmt *getSubStmt() { return SubStmt; } 5665f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer const Stmt *getSubStmt() const { return SubStmt; } 5675f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void setIdentLoc(SourceLocation L) { IdentLoc = L; } 5685f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void setSubStmt(Stmt *SS) { SubStmt = SS; } 569b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 570b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 571b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(IdentLoc, SubStmt->getLocEnd()); 572b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 5735f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 5745f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == LabelStmtClass; 5755f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 5765f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const LabelStmt *) { return true; } 5778297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 5788297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 5798297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 5808297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 5815f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 5825f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5835f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5845f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// IfStmt - This represents an if/then/else. 5855f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 5865f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass IfStmt : public Stmt { 5878297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek enum { COND, THEN, ELSE, END_EXPR }; 5888297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt* SubExprs[END_EXPR]; 589b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation IfLoc; 590d06f6ca61062f85926eb9d409eb3d4f8afcf93c7Douglas Gregor SourceLocation ElseLoc; 5915f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 592d06f6ca61062f85926eb9d409eb3d4f8afcf93c7Douglas Gregor IfStmt(SourceLocation IL, Expr *cond, Stmt *then, 593d06f6ca61062f85926eb9d409eb3d4f8afcf93c7Douglas Gregor SourceLocation EL = SourceLocation(), Stmt *elsev = 0) 594b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff : Stmt(IfStmtClass) { 5958297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[COND] = reinterpret_cast<Stmt*>(cond); 5968297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[THEN] = then; 5978297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[ELSE] = elsev; 598b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff IfLoc = IL; 599d06f6ca61062f85926eb9d409eb3d4f8afcf93c7Douglas Gregor ElseLoc = EL; 6008297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek } 6015f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 602025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor /// \brief Build an empty if/then/else statement 603025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor explicit IfStmt(EmptyShell Empty) : Stmt(IfStmtClass, Empty) { } 604025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor 6058297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Expr *getCond() const { return reinterpret_cast<Expr*>(SubExprs[COND]);} 606025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor void setCond(Expr *E) { SubExprs[COND] = reinterpret_cast<Stmt *>(E); } 6078297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Stmt *getThen() const { return SubExprs[THEN]; } 608025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor void setThen(Stmt *S) { SubExprs[THEN] = S; } 6098297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Stmt *getElse() const { return SubExprs[ELSE]; } 610025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor void setElse(Stmt *S) { SubExprs[ELSE] = S; } 6115f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6128297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Expr *getCond() { return reinterpret_cast<Expr*>(SubExprs[COND]); } 6138297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt *getThen() { return SubExprs[THEN]; } 6148297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt *getElse() { return SubExprs[ELSE]; } 615b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 616025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor SourceLocation getIfLoc() const { return IfLoc; } 617025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor void setIfLoc(SourceLocation L) { IfLoc = L; } 618d06f6ca61062f85926eb9d409eb3d4f8afcf93c7Douglas Gregor SourceLocation getElseLoc() const { return ElseLoc; } 619d06f6ca61062f85926eb9d409eb3d4f8afcf93c7Douglas Gregor void setElseLoc(SourceLocation L) { ElseLoc = L; } 620025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor 621b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 622b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff if (SubExprs[ELSE]) 623b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(IfLoc, SubExprs[ELSE]->getLocEnd()); 624b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff else 625b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(IfLoc, SubExprs[THEN]->getLocEnd()); 626b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 6275f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6285f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 6295f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == IfStmtClass; 6305f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 6315f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const IfStmt *) { return true; } 6328297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 6338297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 6348297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 6358297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 6365f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 6375f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6385f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// SwitchStmt - This represents a 'switch' stmt. 6395f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 6405f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass SwitchStmt : public Stmt { 6418297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek enum { COND, BODY, END_EXPR }; 6428297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt* SubExprs[END_EXPR]; 643c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson // This points to a linked list of case and default statements. 644c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson SwitchCase *FirstCase; 6459dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff SourceLocation SwitchLoc; 6465f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 6478297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SwitchStmt(Expr *cond) : Stmt(SwitchStmtClass), FirstCase(0) { 6488297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[COND] = reinterpret_cast<Stmt*>(cond); 6498297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[BODY] = NULL; 6508297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek } 6515f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 652025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor /// \brief Build a empty switch statement. 653025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor explicit SwitchStmt(EmptyShell Empty) : Stmt(SwitchStmtClass, Empty) { } 654025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor 6558297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Expr *getCond() const { return reinterpret_cast<Expr*>(SubExprs[COND]);} 6568297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Stmt *getBody() const { return SubExprs[BODY]; } 657c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson const SwitchCase *getSwitchCaseList() const { return FirstCase; } 658c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson 6598297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Expr *getCond() { return reinterpret_cast<Expr*>(SubExprs[COND]);} 660025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor void setCond(Expr *E) { SubExprs[COND] = reinterpret_cast<Stmt *>(E); } 6618297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt *getBody() { return SubExprs[BODY]; } 662025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor void setBody(Stmt *S) { SubExprs[BODY] = S; } 663c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson SwitchCase *getSwitchCaseList() { return FirstCase; } 664025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor void setSwitchCaseList(SwitchCase *SC) { FirstCase = SC; } 665025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor 666025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor SourceLocation getSwitchLoc() const { return SwitchLoc; } 667025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor void setSwitchLoc(SourceLocation L) { SwitchLoc = L; } 668c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson 6699dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff void setBody(Stmt *S, SourceLocation SL) { 6709dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff SubExprs[BODY] = S; 6719dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff SwitchLoc = SL; 6729dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff } 673c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson void addSwitchCase(SwitchCase *SC) { 674c2ee10d79f70036af652a395ac1f8273f3d04e12Douglas Gregor assert(!SC->getNextSwitchCase() && "case/default already added to a switch"); 675c2ee10d79f70036af652a395ac1f8273f3d04e12Douglas Gregor SC->setNextSwitchCase(FirstCase); 676c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson FirstCase = SC; 677c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson } 6789dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff virtual SourceRange getSourceRange() const { 6799dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff return SourceRange(SwitchLoc, SubExprs[BODY]->getLocEnd()); 6809dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff } 6815f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 6825f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == SwitchStmtClass; 6835f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 6845f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const SwitchStmt *) { return true; } 6858297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 6868297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 6878297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 6888297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 6895f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 6905f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6915f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6925f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// WhileStmt - This represents a 'while' stmt. 6935f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 6945f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass WhileStmt : public Stmt { 6958297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek enum { COND, BODY, END_EXPR }; 6968297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt* SubExprs[END_EXPR]; 697b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation WhileLoc; 6985f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 699b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff WhileStmt(Expr *cond, Stmt *body, SourceLocation WL) : Stmt(WhileStmtClass) { 7008297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[COND] = reinterpret_cast<Stmt*>(cond); 7018297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[BODY] = body; 702b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff WhileLoc = WL; 7038297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek } 7045f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 705d921cf976b4769af8d06d6763a2547dadf7940abDouglas Gregor /// \brief Build an empty while statement. 706d921cf976b4769af8d06d6763a2547dadf7940abDouglas Gregor explicit WhileStmt(EmptyShell Empty) : Stmt(WhileStmtClass, Empty) { } 707d921cf976b4769af8d06d6763a2547dadf7940abDouglas Gregor 7088297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Expr *getCond() { return reinterpret_cast<Expr*>(SubExprs[COND]); } 7098297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Expr *getCond() const { return reinterpret_cast<Expr*>(SubExprs[COND]);} 710d921cf976b4769af8d06d6763a2547dadf7940abDouglas Gregor void setCond(Expr *E) { SubExprs[COND] = reinterpret_cast<Stmt*>(E); } 7118297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt *getBody() { return SubExprs[BODY]; } 7128297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Stmt *getBody() const { return SubExprs[BODY]; } 713d921cf976b4769af8d06d6763a2547dadf7940abDouglas Gregor void setBody(Stmt *S) { SubExprs[BODY] = S; } 714d921cf976b4769af8d06d6763a2547dadf7940abDouglas Gregor 715d921cf976b4769af8d06d6763a2547dadf7940abDouglas Gregor SourceLocation getWhileLoc() const { return WhileLoc; } 716d921cf976b4769af8d06d6763a2547dadf7940abDouglas Gregor void setWhileLoc(SourceLocation L) { WhileLoc = L; } 717b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 718b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 719b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(WhileLoc, SubExprs[BODY]->getLocEnd()); 720b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 7215f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 7225f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == WhileStmtClass; 7235f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 7245f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const WhileStmt *) { return true; } 7258297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 7268297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 7278297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 7288297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 7295f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 7305f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 7315f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// DoStmt - This represents a 'do/while' stmt. 7325f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 7335f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass DoStmt : public Stmt { 7348297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek enum { COND, BODY, END_EXPR }; 7358297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt* SubExprs[END_EXPR]; 736b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation DoLoc; 7379f3ca2a7747bd47f14d7693f333103fac29a24d2Douglas Gregor SourceLocation WhileLoc; 738989135901c750af61ef012b6b0a0368be415bc46Chris Lattner SourceLocation RParenLoc; // Location of final ')' in do stmt condition. 7399f3ca2a7747bd47f14d7693f333103fac29a24d2Douglas Gregor 7405f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 741989135901c750af61ef012b6b0a0368be415bc46Chris Lattner DoStmt(Stmt *body, Expr *cond, SourceLocation DL, SourceLocation WL, 742989135901c750af61ef012b6b0a0368be415bc46Chris Lattner SourceLocation RP) 743989135901c750af61ef012b6b0a0368be415bc46Chris Lattner : Stmt(DoStmtClass), DoLoc(DL), WhileLoc(WL), RParenLoc(RP) { 7448297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[COND] = reinterpret_cast<Stmt*>(cond); 7458297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[BODY] = body; 7468297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek } 74767d8249924ef38a5375ff9c92cd21c1854d6ababDouglas Gregor 74867d8249924ef38a5375ff9c92cd21c1854d6ababDouglas Gregor /// \brief Build an empty do-while statement. 74967d8249924ef38a5375ff9c92cd21c1854d6ababDouglas Gregor explicit DoStmt(EmptyShell Empty) : Stmt(DoStmtClass, Empty) { } 7505f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 7518297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Expr *getCond() { return reinterpret_cast<Expr*>(SubExprs[COND]); } 7528297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Expr *getCond() const { return reinterpret_cast<Expr*>(SubExprs[COND]);} 75367d8249924ef38a5375ff9c92cd21c1854d6ababDouglas Gregor void setCond(Expr *E) { SubExprs[COND] = reinterpret_cast<Stmt*>(E); } 7548297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt *getBody() { return SubExprs[BODY]; } 7558297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Stmt *getBody() const { return SubExprs[BODY]; } 75667d8249924ef38a5375ff9c92cd21c1854d6ababDouglas Gregor void setBody(Stmt *S) { SubExprs[BODY] = S; } 75767d8249924ef38a5375ff9c92cd21c1854d6ababDouglas Gregor 75867d8249924ef38a5375ff9c92cd21c1854d6ababDouglas Gregor SourceLocation getDoLoc() const { return DoLoc; } 75967d8249924ef38a5375ff9c92cd21c1854d6ababDouglas Gregor void setDoLoc(SourceLocation L) { DoLoc = L; } 7609f3ca2a7747bd47f14d7693f333103fac29a24d2Douglas Gregor SourceLocation getWhileLoc() const { return WhileLoc; } 7619f3ca2a7747bd47f14d7693f333103fac29a24d2Douglas Gregor void setWhileLoc(SourceLocation L) { WhileLoc = L; } 762b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 763989135901c750af61ef012b6b0a0368be415bc46Chris Lattner SourceLocation getRParenLoc() const { return RParenLoc; } 764989135901c750af61ef012b6b0a0368be415bc46Chris Lattner void setRParenLoc(SourceLocation L) { RParenLoc = L; } 765989135901c750af61ef012b6b0a0368be415bc46Chris Lattner 766b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 767989135901c750af61ef012b6b0a0368be415bc46Chris Lattner return SourceRange(DoLoc, RParenLoc); 768b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 7695f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 7705f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == DoStmtClass; 7715f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 7725f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const DoStmt *) { return true; } 7738297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 7748297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 7758297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 7768297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 7775f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 7785f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 7795f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 7805f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// ForStmt - This represents a 'for (init;cond;inc)' stmt. Note that any of 7815f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// the init/cond/inc parts of the ForStmt will be null if they were not 7825f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// specified in the source. 7835f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 7845f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass ForStmt : public Stmt { 7858297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek enum { INIT, COND, INC, BODY, END_EXPR }; 7868297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt* SubExprs[END_EXPR]; // SubExprs[INIT] is an expression or declstmt. 787b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation ForLoc; 7885831c6a1efc47e6a19d82fe3dd25b5b8fef6979dDouglas Gregor SourceLocation LParenLoc, RParenLoc; 7895831c6a1efc47e6a19d82fe3dd25b5b8fef6979dDouglas Gregor 7905f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 7915831c6a1efc47e6a19d82fe3dd25b5b8fef6979dDouglas Gregor ForStmt(Stmt *Init, Expr *Cond, Expr *Inc, Stmt *Body, SourceLocation FL, 7925831c6a1efc47e6a19d82fe3dd25b5b8fef6979dDouglas Gregor SourceLocation LP, SourceLocation RP) 793b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff : Stmt(ForStmtClass) { 794af458c9f658335bdea482395ff4a25c75935e129Chris Lattner SubExprs[INIT] = Init; 795af458c9f658335bdea482395ff4a25c75935e129Chris Lattner SubExprs[COND] = reinterpret_cast<Stmt*>(Cond); 796af458c9f658335bdea482395ff4a25c75935e129Chris Lattner SubExprs[INC] = reinterpret_cast<Stmt*>(Inc); 797af458c9f658335bdea482395ff4a25c75935e129Chris Lattner SubExprs[BODY] = Body; 798b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff ForLoc = FL; 7995831c6a1efc47e6a19d82fe3dd25b5b8fef6979dDouglas Gregor LParenLoc = LP; 8005831c6a1efc47e6a19d82fe3dd25b5b8fef6979dDouglas Gregor RParenLoc = RP; 801af458c9f658335bdea482395ff4a25c75935e129Chris Lattner } 8025f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 80367d8249924ef38a5375ff9c92cd21c1854d6ababDouglas Gregor /// \brief Build an empty for statement. 80467d8249924ef38a5375ff9c92cd21c1854d6ababDouglas Gregor explicit ForStmt(EmptyShell Empty) : Stmt(ForStmtClass, Empty) { } 80567d8249924ef38a5375ff9c92cd21c1854d6ababDouglas Gregor 8068297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt *getInit() { return SubExprs[INIT]; } 8078297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Expr *getCond() { return reinterpret_cast<Expr*>(SubExprs[COND]); } 8088297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Expr *getInc() { return reinterpret_cast<Expr*>(SubExprs[INC]); } 8098297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt *getBody() { return SubExprs[BODY]; } 8108297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 8118297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Stmt *getInit() const { return SubExprs[INIT]; } 8128297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Expr *getCond() const { return reinterpret_cast<Expr*>(SubExprs[COND]);} 8138297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Expr *getInc() const { return reinterpret_cast<Expr*>(SubExprs[INC]); } 8148297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Stmt *getBody() const { return SubExprs[BODY]; } 815b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 81667d8249924ef38a5375ff9c92cd21c1854d6ababDouglas Gregor void setInit(Stmt *S) { SubExprs[INIT] = S; } 81767d8249924ef38a5375ff9c92cd21c1854d6ababDouglas Gregor void setCond(Expr *E) { SubExprs[COND] = reinterpret_cast<Stmt*>(E); } 81867d8249924ef38a5375ff9c92cd21c1854d6ababDouglas Gregor void setInc(Expr *E) { SubExprs[INC] = reinterpret_cast<Stmt*>(E); } 81967d8249924ef38a5375ff9c92cd21c1854d6ababDouglas Gregor void setBody(Stmt *S) { SubExprs[BODY] = S; } 82067d8249924ef38a5375ff9c92cd21c1854d6ababDouglas Gregor 82167d8249924ef38a5375ff9c92cd21c1854d6ababDouglas Gregor SourceLocation getForLoc() const { return ForLoc; } 82267d8249924ef38a5375ff9c92cd21c1854d6ababDouglas Gregor void setForLoc(SourceLocation L) { ForLoc = L; } 8235831c6a1efc47e6a19d82fe3dd25b5b8fef6979dDouglas Gregor SourceLocation getLParenLoc() const { return LParenLoc; } 8245831c6a1efc47e6a19d82fe3dd25b5b8fef6979dDouglas Gregor void setLParenLoc(SourceLocation L) { LParenLoc = L; } 8255831c6a1efc47e6a19d82fe3dd25b5b8fef6979dDouglas Gregor SourceLocation getRParenLoc() const { return RParenLoc; } 8265831c6a1efc47e6a19d82fe3dd25b5b8fef6979dDouglas Gregor void setRParenLoc(SourceLocation L) { RParenLoc = L; } 82767d8249924ef38a5375ff9c92cd21c1854d6ababDouglas Gregor 828b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 829b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(ForLoc, SubExprs[BODY]->getLocEnd()); 830b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 8315f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 8325f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == ForStmtClass; 8335f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 8345f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const ForStmt *) { return true; } 8358297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 8368297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 8378297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 8388297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 8395f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 8400196cab54007ff072ec2642da8911c6b7e8d3fb5Fariborz Jahanian 8415f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// GotoStmt - This represents a direct goto. 8425f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 8435f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass GotoStmt : public Stmt { 8445f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer LabelStmt *Label; 845507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff SourceLocation GotoLoc; 84661f62165220e75694fe333179c78815e2e48d71fTed Kremenek SourceLocation LabelLoc; 8475f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 84861f62165220e75694fe333179c78815e2e48d71fTed Kremenek GotoStmt(LabelStmt *label, SourceLocation GL, SourceLocation LL) 84961f62165220e75694fe333179c78815e2e48d71fTed Kremenek : Stmt(GotoStmtClass), Label(label), GotoLoc(GL), LabelLoc(LL) {} 8505f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 8511de05feeeafe5b215fe7617594a7076a5192a6e2Douglas Gregor /// \brief Build an empty goto statement. 8521de05feeeafe5b215fe7617594a7076a5192a6e2Douglas Gregor explicit GotoStmt(EmptyShell Empty) : Stmt(GotoStmtClass, Empty) { } 8531de05feeeafe5b215fe7617594a7076a5192a6e2Douglas Gregor 8545f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer LabelStmt *getLabel() const { return Label; } 8551de05feeeafe5b215fe7617594a7076a5192a6e2Douglas Gregor void setLabel(LabelStmt *S) { Label = S; } 8561de05feeeafe5b215fe7617594a7076a5192a6e2Douglas Gregor 8571de05feeeafe5b215fe7617594a7076a5192a6e2Douglas Gregor SourceLocation getGotoLoc() const { return GotoLoc; } 8581de05feeeafe5b215fe7617594a7076a5192a6e2Douglas Gregor void setGotoLoc(SourceLocation L) { GotoLoc = L; } 8591de05feeeafe5b215fe7617594a7076a5192a6e2Douglas Gregor SourceLocation getLabelLoc() const { return LabelLoc; } 8601de05feeeafe5b215fe7617594a7076a5192a6e2Douglas Gregor void setLabelLoc(SourceLocation L) { LabelLoc = L; } 861b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 862507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff virtual SourceRange getSourceRange() const { 86361f62165220e75694fe333179c78815e2e48d71fTed Kremenek return SourceRange(GotoLoc, LabelLoc); 864507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff } 8655f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 8665f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == GotoStmtClass; 8675f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 8685f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const GotoStmt *) { return true; } 8698297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 8708297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 8718297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 8728297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 8735f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 8745f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 8755f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// IndirectGotoStmt - This represents an indirect goto. 8765f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 8775f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass IndirectGotoStmt : public Stmt { 878ad56d684259f706b7c0ae5ad9c23adb4f2926817Chris Lattner SourceLocation GotoLoc; 8795f1b9e689fa5c101512aef99225f2afea1673449Douglas Gregor SourceLocation StarLoc; 8801060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek Stmt *Target; 8815f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 8825f1b9e689fa5c101512aef99225f2afea1673449Douglas Gregor IndirectGotoStmt(SourceLocation gotoLoc, SourceLocation starLoc, 8835f1b9e689fa5c101512aef99225f2afea1673449Douglas Gregor Expr *target) 8845f1b9e689fa5c101512aef99225f2afea1673449Douglas Gregor : Stmt(IndirectGotoStmtClass), GotoLoc(gotoLoc), StarLoc(starLoc), 8855f1b9e689fa5c101512aef99225f2afea1673449Douglas Gregor Target((Stmt*)target) {} 8867d5c2f241c74e5f8d9ec492e8f9f268e5e9ae41fDouglas Gregor 8877d5c2f241c74e5f8d9ec492e8f9f268e5e9ae41fDouglas Gregor /// \brief Build an empty indirect goto statement. 8887d5c2f241c74e5f8d9ec492e8f9f268e5e9ae41fDouglas Gregor explicit IndirectGotoStmt(EmptyShell Empty) 8897d5c2f241c74e5f8d9ec492e8f9f268e5e9ae41fDouglas Gregor : Stmt(IndirectGotoStmtClass, Empty) { } 8905f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 891ad56d684259f706b7c0ae5ad9c23adb4f2926817Chris Lattner void setGotoLoc(SourceLocation L) { GotoLoc = L; } 892ad56d684259f706b7c0ae5ad9c23adb4f2926817Chris Lattner SourceLocation getGotoLoc() const { return GotoLoc; } 8935f1b9e689fa5c101512aef99225f2afea1673449Douglas Gregor void setStarLoc(SourceLocation L) { StarLoc = L; } 8945f1b9e689fa5c101512aef99225f2afea1673449Douglas Gregor SourceLocation getStarLoc() const { return StarLoc; } 895ad56d684259f706b7c0ae5ad9c23adb4f2926817Chris Lattner 8961060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek Expr *getTarget(); 8971060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek const Expr *getTarget() const; 8987d5c2f241c74e5f8d9ec492e8f9f268e5e9ae41fDouglas Gregor void setTarget(Expr *E) { Target = reinterpret_cast<Stmt*>(E); } 899b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 900ad56d684259f706b7c0ae5ad9c23adb4f2926817Chris Lattner virtual SourceRange getSourceRange() const { 901ad56d684259f706b7c0ae5ad9c23adb4f2926817Chris Lattner return SourceRange(GotoLoc, Target->getLocEnd()); 902ad56d684259f706b7c0ae5ad9c23adb4f2926817Chris Lattner } 9035f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 9045f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 9055f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == IndirectGotoStmtClass; 9065f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 9075f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const IndirectGotoStmt *) { return true; } 9088297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 9098297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 9108297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 9118297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 9125f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 9135f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 9145f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 9155f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// ContinueStmt - This represents a continue. 9165f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 9175f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass ContinueStmt : public Stmt { 918507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff SourceLocation ContinueLoc; 9195f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 920507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff ContinueStmt(SourceLocation CL) : Stmt(ContinueStmtClass), ContinueLoc(CL) {} 921b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 922d921cf976b4769af8d06d6763a2547dadf7940abDouglas Gregor /// \brief Build an empty continue statement. 923d921cf976b4769af8d06d6763a2547dadf7940abDouglas Gregor explicit ContinueStmt(EmptyShell Empty) : Stmt(ContinueStmtClass, Empty) { } 924d921cf976b4769af8d06d6763a2547dadf7940abDouglas Gregor 925d921cf976b4769af8d06d6763a2547dadf7940abDouglas Gregor SourceLocation getContinueLoc() const { return ContinueLoc; } 926d921cf976b4769af8d06d6763a2547dadf7940abDouglas Gregor void setContinueLoc(SourceLocation L) { ContinueLoc = L; } 927d921cf976b4769af8d06d6763a2547dadf7940abDouglas Gregor 928507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff virtual SourceRange getSourceRange() const { 929507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff return SourceRange(ContinueLoc); 930507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff } 931861ce3178c70cfb0fa50baf685e1ad363538eaa9Douglas Gregor 932861ce3178c70cfb0fa50baf685e1ad363538eaa9Douglas Gregor ContinueStmt* Clone(ASTContext &C) const; 933861ce3178c70cfb0fa50baf685e1ad363538eaa9Douglas Gregor 9345f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 9355f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == ContinueStmtClass; 9365f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 9375f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const ContinueStmt *) { return true; } 9388297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 9398297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 9408297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 9418297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 9425f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 9435f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 9445f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// BreakStmt - This represents a break. 9455f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 9465f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass BreakStmt : public Stmt { 947507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff SourceLocation BreakLoc; 9485f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 949507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff BreakStmt(SourceLocation BL) : Stmt(BreakStmtClass), BreakLoc(BL) {} 950b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 951025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor /// \brief Build an empty break statement. 952025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor explicit BreakStmt(EmptyShell Empty) : Stmt(BreakStmtClass, Empty) { } 953025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor 954025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor SourceLocation getBreakLoc() const { return BreakLoc; } 955025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor void setBreakLoc(SourceLocation L) { BreakLoc = L; } 956025452fa0eda63e150cfaeebe64f0a19c96b3a06Douglas Gregor 957507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff virtual SourceRange getSourceRange() const { return SourceRange(BreakLoc); } 958b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 959861ce3178c70cfb0fa50baf685e1ad363538eaa9Douglas Gregor BreakStmt* Clone(ASTContext &C) const; 960861ce3178c70cfb0fa50baf685e1ad363538eaa9Douglas Gregor 9615f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 9625f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == BreakStmtClass; 9635f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 9645f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const BreakStmt *) { return true; } 9658297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 9668297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 9678297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 9688297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 9695f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 9705f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 9715f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 972c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner/// ReturnStmt - This represents a return, optionally of an expression: 973c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner/// return; 974c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner/// return 4; 975c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner/// 976c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner/// Note that GCC allows return with no argument in a function declared to 977c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner/// return a value, and it allows returning a value in functions declared to 978c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner/// return void. We explicitly model this in the AST, which means you can't 979c8edf6bd5f76bf50411d037c83d36847edfa68f0Chris Lattner/// depend on the return type of the function and the presence of an argument. 9805f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 9815f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass ReturnStmt : public Stmt { 9821060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek Stmt *RetExpr; 983507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff SourceLocation RetLoc; 9845f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 985507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff ReturnStmt(SourceLocation RL, Expr *E = 0) : Stmt(ReturnStmtClass), 9861060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek RetExpr((Stmt*) E), RetLoc(RL) {} 9870de9d8857b715c2f45c987651f4ce06d73330d93Douglas Gregor 9880de9d8857b715c2f45c987651f4ce06d73330d93Douglas Gregor /// \brief Build an empty return expression. 9890de9d8857b715c2f45c987651f4ce06d73330d93Douglas Gregor explicit ReturnStmt(EmptyShell Empty) : Stmt(ReturnStmtClass, Empty) { } 9900de9d8857b715c2f45c987651f4ce06d73330d93Douglas Gregor 9911060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek const Expr *getRetValue() const; 9921060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek Expr *getRetValue(); 9930de9d8857b715c2f45c987651f4ce06d73330d93Douglas Gregor void setRetValue(Expr *E) { RetExpr = reinterpret_cast<Stmt*>(E); } 9940de9d8857b715c2f45c987651f4ce06d73330d93Douglas Gregor 9950de9d8857b715c2f45c987651f4ce06d73330d93Douglas Gregor SourceLocation getReturnLoc() const { return RetLoc; } 9960de9d8857b715c2f45c987651f4ce06d73330d93Douglas Gregor void setReturnLoc(SourceLocation L) { RetLoc = L; } 997b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 998507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff virtual SourceRange getSourceRange() const; 9995f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 10005f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 10015f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == ReturnStmtClass; 10025f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 10035f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const ReturnStmt *) { return true; } 10048297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 10058297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 10068297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 10078297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 10085f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 10095f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1010fe795956194141c91ae555985c9b930595bff43fChris Lattner/// AsmStmt - This represents a GNU inline-assembly statement extension. 1011fe795956194141c91ae555985c9b930595bff43fChris Lattner/// 1012fe795956194141c91ae555985c9b930595bff43fChris Lattnerclass AsmStmt : public Stmt { 1013fe795956194141c91ae555985c9b930595bff43fChris Lattner SourceLocation AsmLoc, RParenLoc; 10146a0ef4b83c91a6d6d5acb4ed5577c4659fe022a3Anders Carlsson StringLiteral *AsmStr; 1015b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson 1016dfab34a696d1dba8622248c31aaf605906cb6109Anders Carlsson bool IsSimple; 101739c47b56f45437bbc49c9568b7308a400234a730Anders Carlsson bool IsVolatile; 101839c47b56f45437bbc49c9568b7308a400234a730Anders Carlsson 1019b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson unsigned NumOutputs; 1020b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson unsigned NumInputs; 1021b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson 1022b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson llvm::SmallVector<std::string, 4> Names; 1023b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson llvm::SmallVector<StringLiteral*, 4> Constraints; 1024ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek llvm::SmallVector<Stmt*, 4> Exprs; 1025b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson 1026b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson llvm::SmallVector<StringLiteral*, 4> Clobbers; 1027fe795956194141c91ae555985c9b930595bff43fChris Lattnerpublic: 1028dfab34a696d1dba8622248c31aaf605906cb6109Anders Carlsson AsmStmt(SourceLocation asmloc, bool issimple, bool isvolatile, 1029dfab34a696d1dba8622248c31aaf605906cb6109Anders Carlsson unsigned numoutputs, unsigned numinputs, 1030dfab34a696d1dba8622248c31aaf605906cb6109Anders Carlsson std::string *names, StringLiteral **constraints, 1031db6ed1786bf460e1143f67d14bf2d71ad9856f81Chris Lattner Expr **exprs, StringLiteral *asmstr, unsigned numclobbers, 1032db6ed1786bf460e1143f67d14bf2d71ad9856f81Chris Lattner StringLiteral **clobbers, SourceLocation rparenloc); 1033b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson 1034cd7d5a9dc558178ed7a66032f888781b3c592e4fDouglas Gregor /// \brief Build an empty inline-assembly statement. 1035cd7d5a9dc558178ed7a66032f888781b3c592e4fDouglas Gregor explicit AsmStmt(EmptyShell Empty) : Stmt(AsmStmtClass, Empty) { } 1036cd7d5a9dc558178ed7a66032f888781b3c592e4fDouglas Gregor 1037cd7d5a9dc558178ed7a66032f888781b3c592e4fDouglas Gregor SourceLocation getAsmLoc() const { return AsmLoc; } 1038cd7d5a9dc558178ed7a66032f888781b3c592e4fDouglas Gregor void setAsmLoc(SourceLocation L) { AsmLoc = L; } 1039cd7d5a9dc558178ed7a66032f888781b3c592e4fDouglas Gregor SourceLocation getRParenLoc() const { return RParenLoc; } 1040cd7d5a9dc558178ed7a66032f888781b3c592e4fDouglas Gregor void setRParenLoc(SourceLocation L) { RParenLoc = L; } 1041cd7d5a9dc558178ed7a66032f888781b3c592e4fDouglas Gregor 104239c47b56f45437bbc49c9568b7308a400234a730Anders Carlsson bool isVolatile() const { return IsVolatile; } 1043cd7d5a9dc558178ed7a66032f888781b3c592e4fDouglas Gregor void setVolatile(bool V) { IsVolatile = V; } 1044dfab34a696d1dba8622248c31aaf605906cb6109Anders Carlsson bool isSimple() const { return IsSimple; } 1045cd7d5a9dc558178ed7a66032f888781b3c592e4fDouglas Gregor void setSimple(bool V) { IsSimple = false; } 1046dfab34a696d1dba8622248c31aaf605906cb6109Anders Carlsson 1047458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner //===--- Asm String Analysis ---===// 1048458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner 1049458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner const StringLiteral *getAsmString() const { return AsmStr; } 1050458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner StringLiteral *getAsmString() { return AsmStr; } 1051cd7d5a9dc558178ed7a66032f888781b3c592e4fDouglas Gregor void setAsmString(StringLiteral *E) { AsmStr = E; } 1052cd7d5a9dc558178ed7a66032f888781b3c592e4fDouglas Gregor 1053458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner /// AsmStringPiece - this is part of a decomposed asm string specification 1054458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner /// (for use with the AnalyzeAsmString function below). An asm string is 1055458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner /// considered to be a concatenation of these parts. 1056458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner class AsmStringPiece { 1057458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner public: 1058458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner enum Kind { 1059458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner String, // String in .ll asm string form, "$" -> "$$" and "%%" -> "%". 1060458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner Operand // Operand reference, with optional modifier %c4. 1061458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner }; 1062458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner private: 1063458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner Kind MyKind; 1064458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner std::string Str; 1065458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner unsigned OperandNo; 1066458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner public: 1067458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner AsmStringPiece(const std::string &S) : MyKind(String), Str(S) {} 1068458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner AsmStringPiece(unsigned OpNo, char Modifier) 1069458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner : MyKind(Operand), Str(), OperandNo(OpNo) { 1070458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner Str += Modifier; 1071458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner } 1072458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner 1073458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner bool isString() const { return MyKind == String; } 1074458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner bool isOperand() const { return MyKind == Operand; } 1075458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner 1076458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner const std::string &getString() const { 1077458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner assert(isString()); 1078458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner return Str; 1079458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner } 1080458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner 1081458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner unsigned getOperandNo() const { 1082458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner assert(isOperand()); 1083458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner return OperandNo; 1084458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner } 1085458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner 1086458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner /// getModifier - Get the modifier for this operand, if present. This 1087458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner /// returns '\0' if there was no modifier. 1088458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner char getModifier() const { 1089458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner assert(isOperand()); 1090458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner return Str[0]; 1091458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner } 1092458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner }; 1093458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner 1094458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner /// AnalyzeAsmString - Analyze the asm string of the current asm, decomposing 1095458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner /// it into pieces. If the asm string is erroneous, emit errors and return 1096458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner /// true, otherwise return false. This handles canonicalization and 1097458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner /// translation of strings from GCC syntax to LLVM IR syntax, and handles 1098458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner //// flattening of named references like %[foo] to Operand AsmStringPiece's. 1099fb5058ef67c054296c88db18ab1b3717845cb71dChris Lattner unsigned AnalyzeAsmString(llvm::SmallVectorImpl<AsmStringPiece> &Pieces, 1100fb5058ef67c054296c88db18ab1b3717845cb71dChris Lattner ASTContext &C, unsigned &DiagOffs) const; 1101458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner 1102458cd9c8a79b25b87dcea43c9d97a4c59f194799Chris Lattner 1103b327793860737d1c103a73aeda8057dd628a101dChris Lattner //===--- Output operands ---===// 1104b327793860737d1c103a73aeda8057dd628a101dChris Lattner 1105b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson unsigned getNumOutputs() const { return NumOutputs; } 1106ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek 1107ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek const std::string &getOutputName(unsigned i) const { 1108ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek return Names[i]; 1109ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek } 1110ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek 1111b327793860737d1c103a73aeda8057dd628a101dChris Lattner /// getOutputConstraint - Return the constraint string for the specified 1112b327793860737d1c103a73aeda8057dd628a101dChris Lattner /// output operand. All output constraints are known to be non-empty (either 1113b327793860737d1c103a73aeda8057dd628a101dChris Lattner /// '=' or '+'). 1114b327793860737d1c103a73aeda8057dd628a101dChris Lattner std::string getOutputConstraint(unsigned i) const; 1115b327793860737d1c103a73aeda8057dd628a101dChris Lattner 1116b327793860737d1c103a73aeda8057dd628a101dChris Lattner const StringLiteral *getOutputConstraintLiteral(unsigned i) const { 1117ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek return Constraints[i]; 1118ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek } 1119b327793860737d1c103a73aeda8057dd628a101dChris Lattner StringLiteral *getOutputConstraintLiteral(unsigned i) { 1120b327793860737d1c103a73aeda8057dd628a101dChris Lattner return Constraints[i]; 1121b327793860737d1c103a73aeda8057dd628a101dChris Lattner } 1122b327793860737d1c103a73aeda8057dd628a101dChris Lattner 1123b327793860737d1c103a73aeda8057dd628a101dChris Lattner 1124ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek Expr *getOutputExpr(unsigned i); 1125b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson 1126b327793860737d1c103a73aeda8057dd628a101dChris Lattner const Expr *getOutputExpr(unsigned i) const { 1127b327793860737d1c103a73aeda8057dd628a101dChris Lattner return const_cast<AsmStmt*>(this)->getOutputExpr(i); 1128b327793860737d1c103a73aeda8057dd628a101dChris Lattner } 1129b327793860737d1c103a73aeda8057dd628a101dChris Lattner 1130b327793860737d1c103a73aeda8057dd628a101dChris Lattner /// isOutputPlusConstraint - Return true if the specified output constraint 1131b327793860737d1c103a73aeda8057dd628a101dChris Lattner /// is a "+" constraint (which is both an input and an output) or false if it 1132b327793860737d1c103a73aeda8057dd628a101dChris Lattner /// is an "=" constraint (just an output). 1133b327793860737d1c103a73aeda8057dd628a101dChris Lattner bool isOutputPlusConstraint(unsigned i) const { 1134b327793860737d1c103a73aeda8057dd628a101dChris Lattner return getOutputConstraint(i)[0] == '+'; 1135b327793860737d1c103a73aeda8057dd628a101dChris Lattner } 1136b327793860737d1c103a73aeda8057dd628a101dChris Lattner 113785759278332404e96d4bb89d0e976e46158cd026Chris Lattner /// getNumPlusOperands - Return the number of output operands that have a "+" 113885759278332404e96d4bb89d0e976e46158cd026Chris Lattner /// constraint. 113985759278332404e96d4bb89d0e976e46158cd026Chris Lattner unsigned getNumPlusOperands() const; 114085759278332404e96d4bb89d0e976e46158cd026Chris Lattner 1141b327793860737d1c103a73aeda8057dd628a101dChris Lattner //===--- Input operands ---===// 1142b327793860737d1c103a73aeda8057dd628a101dChris Lattner 1143b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson unsigned getNumInputs() const { return NumInputs; } 1144ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek 1145ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek const std::string &getInputName(unsigned i) const { 1146ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek return Names[i + NumOutputs]; 1147ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek } 1148b327793860737d1c103a73aeda8057dd628a101dChris Lattner 1149b327793860737d1c103a73aeda8057dd628a101dChris Lattner /// getInputConstraint - Return the specified input constraint. Unlike output 1150b327793860737d1c103a73aeda8057dd628a101dChris Lattner /// constraints, these can be empty. 1151b327793860737d1c103a73aeda8057dd628a101dChris Lattner std::string getInputConstraint(unsigned i) const; 1152b327793860737d1c103a73aeda8057dd628a101dChris Lattner 1153b327793860737d1c103a73aeda8057dd628a101dChris Lattner const StringLiteral *getInputConstraintLiteral(unsigned i) const { 1154ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek return Constraints[i + NumOutputs]; 1155ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek } 1156b327793860737d1c103a73aeda8057dd628a101dChris Lattner StringLiteral *getInputConstraintLiteral(unsigned i) { 1157ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek return Constraints[i + NumOutputs]; 1158ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek } 1159b327793860737d1c103a73aeda8057dd628a101dChris Lattner 1160b327793860737d1c103a73aeda8057dd628a101dChris Lattner 1161ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek Expr *getInputExpr(unsigned i); 1162b327793860737d1c103a73aeda8057dd628a101dChris Lattner 1163b327793860737d1c103a73aeda8057dd628a101dChris Lattner const Expr *getInputExpr(unsigned i) const { 1164b327793860737d1c103a73aeda8057dd628a101dChris Lattner return const_cast<AsmStmt*>(this)->getInputExpr(i); 1165b327793860737d1c103a73aeda8057dd628a101dChris Lattner } 1166cd7d5a9dc558178ed7a66032f888781b3c592e4fDouglas Gregor 1167cd7d5a9dc558178ed7a66032f888781b3c592e4fDouglas Gregor void setOutputsAndInputs(unsigned NumOutputs, 1168cd7d5a9dc558178ed7a66032f888781b3c592e4fDouglas Gregor unsigned NumInputs, 1169cd7d5a9dc558178ed7a66032f888781b3c592e4fDouglas Gregor const std::string *Names, 1170cd7d5a9dc558178ed7a66032f888781b3c592e4fDouglas Gregor StringLiteral **Constraints, 1171cd7d5a9dc558178ed7a66032f888781b3c592e4fDouglas Gregor Stmt **Exprs); 1172cd7d5a9dc558178ed7a66032f888781b3c592e4fDouglas Gregor 117310ca96ae9aed6906c3302403ef1a146a8d4c6b74Chris Lattner //===--- Other ---===// 117410ca96ae9aed6906c3302403ef1a146a8d4c6b74Chris Lattner 117510ca96ae9aed6906c3302403ef1a146a8d4c6b74Chris Lattner /// getNamedOperand - Given a symbolic operand reference like %[foo], 117610ca96ae9aed6906c3302403ef1a146a8d4c6b74Chris Lattner /// translate this into a numeric value needed to reference the same operand. 117710ca96ae9aed6906c3302403ef1a146a8d4c6b74Chris Lattner /// This returns -1 if the operand name is invalid. 117810ca96ae9aed6906c3302403ef1a146a8d4c6b74Chris Lattner int getNamedOperand(const std::string &SymbolicName) const; 117910ca96ae9aed6906c3302403ef1a146a8d4c6b74Chris Lattner 118010ca96ae9aed6906c3302403ef1a146a8d4c6b74Chris Lattner 1181d04c6e23f2e10eeb9936778d67f4a1c4a14cc4f6Anders Carlsson 1182b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson unsigned getNumClobbers() const { return Clobbers.size(); } 1183b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson StringLiteral *getClobber(unsigned i) { return Clobbers[i]; } 1184d04c6e23f2e10eeb9936778d67f4a1c4a14cc4f6Anders Carlsson const StringLiteral *getClobber(unsigned i) const { return Clobbers[i]; } 1185cd7d5a9dc558178ed7a66032f888781b3c592e4fDouglas Gregor void setClobbers(StringLiteral **Clobbers, unsigned NumClobbers); 1186cd7d5a9dc558178ed7a66032f888781b3c592e4fDouglas Gregor 1187fe795956194141c91ae555985c9b930595bff43fChris Lattner virtual SourceRange getSourceRange() const { 1188fe795956194141c91ae555985c9b930595bff43fChris Lattner return SourceRange(AsmLoc, RParenLoc); 1189fe795956194141c91ae555985c9b930595bff43fChris Lattner } 1190fe795956194141c91ae555985c9b930595bff43fChris Lattner 1191fe795956194141c91ae555985c9b930595bff43fChris Lattner static bool classof(const Stmt *T) {return T->getStmtClass() == AsmStmtClass;} 1192fe795956194141c91ae555985c9b930595bff43fChris Lattner static bool classof(const AsmStmt *) { return true; } 1193fe795956194141c91ae555985c9b930595bff43fChris Lattner 1194ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek // Input expr iterators. 1195ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek 1196ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek typedef ExprIterator inputs_iterator; 1197ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek typedef ConstExprIterator const_inputs_iterator; 1198ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek 1199ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek inputs_iterator begin_inputs() { 120015dffd863b4d8f6f7b04b5c80566ea3531a14f41Ted Kremenek return Exprs.data() + NumOutputs; 1201ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek } 1202ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek 1203ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek inputs_iterator end_inputs() { 120415dffd863b4d8f6f7b04b5c80566ea3531a14f41Ted Kremenek return Exprs.data() + NumOutputs + NumInputs; 1205ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek } 1206ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek 1207ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek const_inputs_iterator begin_inputs() const { 120815dffd863b4d8f6f7b04b5c80566ea3531a14f41Ted Kremenek return Exprs.data() + NumOutputs; 1209ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek } 1210ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek 1211ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek const_inputs_iterator end_inputs() const { 121215dffd863b4d8f6f7b04b5c80566ea3531a14f41Ted Kremenek return Exprs.data() + NumOutputs + NumInputs; 1213d59a5bd0ab7821a643c540df8c84c70fef76a1c2Ted Kremenek } 1214ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek 1215ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek // Output expr iterators. 1216ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek 1217ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek typedef ExprIterator outputs_iterator; 1218ce2fc3a343ea6098a96d587071cee7299f11957aTed Kremenek typedef ConstExprIterator const_outputs_iterator; 1219ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek 1220d59a5bd0ab7821a643c540df8c84c70fef76a1c2Ted Kremenek outputs_iterator begin_outputs() { 122115dffd863b4d8f6f7b04b5c80566ea3531a14f41Ted Kremenek return Exprs.data(); 1222d59a5bd0ab7821a643c540df8c84c70fef76a1c2Ted Kremenek } 1223d59a5bd0ab7821a643c540df8c84c70fef76a1c2Ted Kremenek outputs_iterator end_outputs() { 122415dffd863b4d8f6f7b04b5c80566ea3531a14f41Ted Kremenek return Exprs.data() + NumOutputs; 1225d59a5bd0ab7821a643c540df8c84c70fef76a1c2Ted Kremenek } 1226ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek 1227d59a5bd0ab7821a643c540df8c84c70fef76a1c2Ted Kremenek const_outputs_iterator begin_outputs() const { 122815dffd863b4d8f6f7b04b5c80566ea3531a14f41Ted Kremenek return Exprs.data(); 1229d59a5bd0ab7821a643c540df8c84c70fef76a1c2Ted Kremenek } 1230d59a5bd0ab7821a643c540df8c84c70fef76a1c2Ted Kremenek const_outputs_iterator end_outputs() const { 123115dffd863b4d8f6f7b04b5c80566ea3531a14f41Ted Kremenek return Exprs.data() + NumOutputs; 1232d59a5bd0ab7821a643c540df8c84c70fef76a1c2Ted Kremenek } 1233ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek 123445b050e72d058131e6f169fe54888bb91a003fb5Anders Carlsson // Input name iterator. 123545b050e72d058131e6f169fe54888bb91a003fb5Anders Carlsson 123645b050e72d058131e6f169fe54888bb91a003fb5Anders Carlsson const std::string *begin_output_names() const { 123745b050e72d058131e6f169fe54888bb91a003fb5Anders Carlsson return &Names[0]; 123845b050e72d058131e6f169fe54888bb91a003fb5Anders Carlsson } 123945b050e72d058131e6f169fe54888bb91a003fb5Anders Carlsson 124045b050e72d058131e6f169fe54888bb91a003fb5Anders Carlsson const std::string *end_output_names() const { 124145b050e72d058131e6f169fe54888bb91a003fb5Anders Carlsson return &Names[0] + NumOutputs; 124245b050e72d058131e6f169fe54888bb91a003fb5Anders Carlsson } 124345b050e72d058131e6f169fe54888bb91a003fb5Anders Carlsson 1244ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek // Child iterators 1245ec2f7dccb1f30ae137f74e764e44c2332b0a2ec0Ted Kremenek 1246fe795956194141c91ae555985c9b930595bff43fChris Lattner virtual child_iterator child_begin(); 1247fe795956194141c91ae555985c9b930595bff43fChris Lattner virtual child_iterator child_end(); 1248fe795956194141c91ae555985c9b930595bff43fChris Lattner}; 124978492dae00fb85e0da0f966df4745edafdafb66cTed Kremenek 12505f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer} // end namespace clang 12515f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 12525f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#endif 1253