Stmt.h revision d48ade633d96b94cb435d73e2c935ea457152dec
15f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//===--- Stmt.h - Classes for representing statements -----------*- C++ -*-===// 25f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer// 35f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer// The LLVM Compiler Infrastructure 45f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer// 55f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer// This file was developed by Chris Lattner and is distributed under 65f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer// the University of Illinois Open Source 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 175f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#include "clang/Basic/SourceLocation.h" 185f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#include "llvm/ADT/SmallVector.h" 1977ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek#include "llvm/ADT/iterator" 205f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#include <iosfwd> 215f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 225f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencernamespace clang { 235f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer class Expr; 245f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer class Decl; 258e74c93ddaa8268a999e1b25c723dc1984a434b4Steve Naroff class ScopedDecl; 265f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer class IdentifierInfo; 270c727a35718556866a978f64ac549d9798735f08Chris Lattner class SourceManager; 286c36be5b383875b490684bcf439d6d427298c1afChris Lattner class SwitchStmt; 2942a509f6a4f71bb805cc4abbb26722a34dffdddeTed Kremenek class PrinterHelper; 3042a509f6a4f71bb805cc4abbb26722a34dffdddeTed Kremenek 315f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// Stmt - This represents one statement. 325f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 335f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass Stmt { 345f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 355f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer enum StmtClass { 365f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#define STMT(N, CLASS, PARENT) CLASS##Class = N, 375f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#define FIRST_STMT(N) firstStmtConstant = N, 385f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#define LAST_STMT(N) lastStmtConstant = N, 395f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#define FIRST_EXPR(N) firstExprConstant = N, 405f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#define LAST_EXPR(N) lastExprConstant = N 415f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#include "clang/AST/StmtNodes.def" 425f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 435f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerprivate: 445f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer const StmtClass sClass; 455f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 465f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Stmt(StmtClass SC) : sClass(SC) { 475f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer if (Stmt::CollectingStats()) Stmt::addStmtClass(SC); 485f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 495f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer virtual ~Stmt() {} 505f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 515f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer StmtClass getStmtClass() const { return sClass; } 525f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer const char *getStmtClassName() const; 53b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 54b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff /// SourceLocation tokens are not useful in isolation - they are low level 55b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff /// value objects created/interpreted by SourceManager. We assume AST 56b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff /// clients will have a pointer to the respective SourceManager. 57b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const = 0; 58b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation getLocStart() const { return getSourceRange().Begin(); } 59b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation getLocEnd() const { return getSourceRange().End(); } 605f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 615f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // global temp stats (until we have a per-module visitor) 625f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static void addStmtClass(const StmtClass s); 635f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool CollectingStats(bool enable=false); 645f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static void PrintStats(); 656000dace22f110d8768476989313e9d981d690d0Chris Lattner 666000dace22f110d8768476989313e9d981d690d0Chris Lattner /// dump - This does a local dump of the specified AST fragment. It dumps the 676000dace22f110d8768476989313e9d981d690d0Chris Lattner /// specified node and a few nodes underneath it, but not the whole subtree. 686000dace22f110d8768476989313e9d981d690d0Chris Lattner /// This is useful in a debugger. 695f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void dump() const; 70e300c870f08d08badf2ebcb53ded49f304af37fcChris Lattner void dump(SourceManager &SM) const; 716000dace22f110d8768476989313e9d981d690d0Chris Lattner 726000dace22f110d8768476989313e9d981d690d0Chris Lattner /// dumpAll - This does a dump of the specified AST fragment and all subtrees. 736000dace22f110d8768476989313e9d981d690d0Chris Lattner void dumpAll() const; 74e300c870f08d08badf2ebcb53ded49f304af37fcChris Lattner void dumpAll(SourceManager &SM) const; 756000dace22f110d8768476989313e9d981d690d0Chris Lattner 766000dace22f110d8768476989313e9d981d690d0Chris Lattner /// dumpPretty/printPretty - These two methods do a "pretty print" of the AST 776000dace22f110d8768476989313e9d981d690d0Chris Lattner /// back to its original source language syntax. 786000dace22f110d8768476989313e9d981d690d0Chris Lattner void dumpPretty() const; 7942a509f6a4f71bb805cc4abbb26722a34dffdddeTed Kremenek void printPretty(std::ostream &OS, PrinterHelper* = NULL) const; 805f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 81d2a4a1af1088fca80e2dc76eb3369db0fbbfdefdTed Kremenek /// viewAST - Visualize an AST rooted at this Stmt* using GraphViz. Only 82d2a4a1af1088fca80e2dc76eb3369db0fbbfdefdTed Kremenek /// works on systems with GraphViz (Mac OS X) or dot+gv installed. 83d2a4a1af1088fca80e2dc76eb3369db0fbbfdefdTed Kremenek void viewAST() const; 84d2a4a1af1088fca80e2dc76eb3369db0fbbfdefdTed Kremenek 855f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // Implement isa<T> support. 868297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek static bool classof(const Stmt *) { return true; } 8777ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek 88d48ade633d96b94cb435d73e2c935ea457152decTed Kremenek /// hasImplicitControlFlow - Some statements (e.g. short circuited operations) 89d48ade633d96b94cb435d73e2c935ea457152decTed Kremenek /// contain implicit control-flow in the order their subexpressions 90d48ade633d96b94cb435d73e2c935ea457152decTed Kremenek /// are evaluated. This predicate returns true if this statement has 91d48ade633d96b94cb435d73e2c935ea457152decTed Kremenek /// such implicit control-flow. Such statements are also specially handled 92d48ade633d96b94cb435d73e2c935ea457152decTed Kremenek /// within CFGs. 93d48ade633d96b94cb435d73e2c935ea457152decTed Kremenek bool hasImplicitControlFlow() const; 94d48ade633d96b94cb435d73e2c935ea457152decTed Kremenek 9577ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek /// Child Iterators: All subclasses must implement child_begin and child_end 9677ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek /// to permit easy iteration over the substatements/subexpessions of an 9777ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek /// AST node. This permits easy iteration over all nodes in the AST. 9877ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek typedef Stmt** child_iterator; 9977ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek typedef Stmt* const * const_child_iterator; 10077ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek 10177ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek typedef std::reverse_iterator<child_iterator> 10277ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek reverse_child_iterator; 10377ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek typedef std::reverse_iterator<const_child_iterator> 10477ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek const_reverse_child_iterator; 10577ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek 1068297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin() = 0; 1078297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end() = 0; 10877ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek 10977ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek const_child_iterator child_begin() const { 11077ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek return (child_iterator) const_cast<Stmt*>(this)->child_begin(); 11177ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek } 11277ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek 11377ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek const_child_iterator child_end() const { 11477ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek return (child_iterator) const_cast<Stmt*>(this)->child_end(); 11577ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek } 11677ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek 11777ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek reverse_child_iterator child_rbegin() { 11877ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek return reverse_child_iterator(child_end()); 11977ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek } 12077ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek 12177ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek reverse_child_iterator child_rend() { 12277ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek return reverse_child_iterator(child_begin()); 12377ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek } 12477ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek 12577ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek const_reverse_child_iterator child_rbegin() const { 12677ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek return const_reverse_child_iterator(child_end()); 12777ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek } 12877ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek 12977ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek const_reverse_child_iterator child_rend() const { 13077ed8e4edf6ed78c53fb20ec3210aff2a59c9d87Ted Kremenek return const_reverse_child_iterator(child_begin()); 1318297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek } 1325f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 1335f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1345f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// DeclStmt - Adaptor class for mixing declarations with statements and 1355f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// expressions. For example, CompoundStmt mixes statements, expressions 1365f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// and declarations (variables, types). Another example is ForStmt, where 1375f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// the first statement can be an expression or a declaration. 1385f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 1395f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass DeclStmt : public Stmt { 1408e74c93ddaa8268a999e1b25c723dc1984a434b4Steve Naroff ScopedDecl *TheDecl; 1415f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 1428e74c93ddaa8268a999e1b25c723dc1984a434b4Steve Naroff DeclStmt(ScopedDecl *D) : Stmt(DeclStmtClass), TheDecl(D) {} 1435f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1448e74c93ddaa8268a999e1b25c723dc1984a434b4Steve Naroff const ScopedDecl *getDecl() const { return TheDecl; } 1458e74c93ddaa8268a999e1b25c723dc1984a434b4Steve Naroff ScopedDecl *getDecl() { return TheDecl; } 146b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 147b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { return SourceRange(); } 1485f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1495f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 1505f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == DeclStmtClass; 1515f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 1525f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const DeclStmt *) { return true; } 1538297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 1548297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 1558297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 1568297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 1575f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 1585f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1595f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// NullStmt - This is the null statement ";": C99 6.8.3p3. 1605f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 1615f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass NullStmt : public Stmt { 1625f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation SemiLoc; 1635f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 1645f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer NullStmt(SourceLocation L) : Stmt(NullStmtClass), SemiLoc(L) {} 1655f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1665f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation getSemiLoc() const { return SemiLoc; } 167b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 168507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff virtual SourceRange getSourceRange() const { return SourceRange(SemiLoc); } 1695f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1705f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 1715f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == NullStmtClass; 1725f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 1735f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const NullStmt *) { return true; } 1748297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 1758297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 1768297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 1778297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 1785f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 1795f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1805f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// CompoundStmt - This represents a group of statements like { stmt stmt }. 1815f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 1825f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass CompoundStmt : public Stmt { 1835f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer llvm::SmallVector<Stmt*, 16> Body; 184b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation LBracLoc, RBracLoc; 1855f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 186b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff CompoundStmt(Stmt **StmtStart, unsigned NumStmts, 187b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation LB, SourceLocation RB) 188b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff : Stmt(CompoundStmtClass), Body(StmtStart, StmtStart+NumStmts), 189b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff LBracLoc(LB), RBracLoc(RB) {} 1905f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 191ab18c4c0ac1a46a38aa84c2c8ea485612e21a614Chris Lattner bool body_empty() const { return Body.empty(); } 192ab18c4c0ac1a46a38aa84c2c8ea485612e21a614Chris Lattner 1935f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer typedef llvm::SmallVector<Stmt*, 16>::iterator body_iterator; 1945f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer body_iterator body_begin() { return Body.begin(); } 1955f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer body_iterator body_end() { return Body.end(); } 196ab18c4c0ac1a46a38aa84c2c8ea485612e21a614Chris Lattner Stmt *body_back() { return Body.back(); } 1975f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1985f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer typedef llvm::SmallVector<Stmt*, 16>::const_iterator const_body_iterator; 1995f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer const_body_iterator body_begin() const { return Body.begin(); } 2005f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer const_body_iterator body_end() const { return Body.end(); } 201ab18c4c0ac1a46a38aa84c2c8ea485612e21a614Chris Lattner const Stmt *body_back() const { return Body.back(); } 2024ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek 2034ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek typedef llvm::SmallVector<Stmt*, 16>::reverse_iterator reverse_body_iterator; 2044ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek reverse_body_iterator body_rbegin() { return Body.rbegin(); } 2054ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek reverse_body_iterator body_rend() { return Body.rend(); } 2064ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek 2074ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek typedef llvm::SmallVector<Stmt*, 16>::const_reverse_iterator 2084ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek const_reverse_body_iterator; 2094ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek const_reverse_body_iterator body_rbegin() const { return Body.rbegin(); } 2104ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek const_reverse_body_iterator body_rend() const { return Body.rend(); } 2114ce854736dd196e2304f554ebeac8b43c89cf9e2Ted Kremenek 2125f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void push_back(Stmt *S) { Body.push_back(S); } 213b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 214b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 215b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(LBracLoc, RBracLoc); 216b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 2175f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 2185f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == CompoundStmtClass; 2195f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 2205f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const CompoundStmt *) { return true; } 2218297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 2228297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 2238297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 2248297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 2255f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 2265f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 227c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson// SwitchCase is the base class for CaseStmt and DefaultStmt, 228c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlssonclass SwitchCase : public Stmt { 229c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson // A pointer to the following CaseStmt or DefaultStmt class, 230c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson // used by SwitchStmt. 231c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson SwitchCase *NextSwitchCase; 232c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlssonprotected: 233d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek SwitchCase(StmtClass SC) : Stmt(SC), NextSwitchCase(0) {} 234c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson 235c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlssonpublic: 236c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson const SwitchCase *getNextSwitchCase() const { return NextSwitchCase; } 237c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson 238c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson SwitchCase *getNextSwitchCase() { return NextSwitchCase; } 239c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson 240c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson void setNextSwitchCase(SwitchCase *SC) { NextSwitchCase = SC; } 241d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek 242d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek virtual Stmt* v_getSubStmt() = 0; 243d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek Stmt *getSubStmt() { return v_getSubStmt(); } 244b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 245b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { return SourceRange(); } 246edcc752060be38bfa7e7b32691c0cc4d843622a8Ted Kremenek 247c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson static bool classof(const Stmt *T) { 248c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson return T->getStmtClass() == CaseStmtClass || 249c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson T->getStmtClass() == DefaultStmtClass; 250c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson } 251c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson static bool classof(const SwitchCase *) { return true; } 252c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson}; 253c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson 254c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlssonclass CaseStmt : public SwitchCase { 255d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek enum { SUBSTMT, LHS, RHS, END_EXPR }; 256d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek Stmt* SubExprs[END_EXPR]; // The expression for the RHS is Non-null for 257d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek // GNU "case 1 ... 4" extension 258b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation CaseLoc; 2595f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 260b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff CaseStmt(Expr *lhs, Expr *rhs, Stmt *substmt, SourceLocation caseLoc) 261d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek : SwitchCase(CaseStmtClass) { 262d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek SubExprs[SUBSTMT] = substmt; 263d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek SubExprs[LHS] = reinterpret_cast<Stmt*>(lhs); 264d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek SubExprs[RHS] = reinterpret_cast<Stmt*>(rhs); 265b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff CaseLoc = caseLoc; 266d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek } 2675f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 268764a7ce5217f9569e100a3445f47496ee82daf86Chris Lattner SourceLocation getCaseLoc() const { return CaseLoc; } 269764a7ce5217f9569e100a3445f47496ee82daf86Chris Lattner 270d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek Expr *getLHS() { return reinterpret_cast<Expr*>(SubExprs[LHS]); } 271d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek Expr *getRHS() { return reinterpret_cast<Expr*>(SubExprs[RHS]); } 272d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek Stmt *getSubStmt() { return SubExprs[SUBSTMT]; } 273d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek virtual Stmt* v_getSubStmt() { return getSubStmt(); } 2745f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 275b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 276b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(CaseLoc, SubExprs[SUBSTMT]->getLocEnd()); 277b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 2785f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 2795f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == CaseStmtClass; 2805f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 2815f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const CaseStmt *) { return true; } 282d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek 283d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek // Iterators 284d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek virtual child_iterator child_begin(); 285d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek virtual child_iterator child_end(); 2865f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 2875f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 288c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlssonclass DefaultStmt : public SwitchCase { 289d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek Stmt* SubStmt; 2906c36be5b383875b490684bcf439d6d427298c1afChris Lattner SourceLocation DefaultLoc; 2915f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 292edcc752060be38bfa7e7b32691c0cc4d843622a8Ted Kremenek DefaultStmt(SourceLocation DL, Stmt *substmt) : 293d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek SwitchCase(DefaultStmtClass), SubStmt(substmt), DefaultLoc(DL) {} 294b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 295d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek Stmt *getSubStmt() { return SubStmt; } 296d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek virtual Stmt* v_getSubStmt() { return getSubStmt(); } 297d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek 2986c36be5b383875b490684bcf439d6d427298c1afChris Lattner SourceLocation getDefaultLoc() const { return DefaultLoc; } 2995f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 300b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 301b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(DefaultLoc, SubStmt->getLocEnd()); 302b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 3035f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 3045f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == DefaultStmtClass; 3055f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 3065f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const DefaultStmt *) { return true; } 307d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek 308d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek // Iterators 309d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek virtual child_iterator child_begin(); 310d97bb6c1384cb773ba5cdbd198008dec127cebadTed Kremenek virtual child_iterator child_end(); 3115f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 3125f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3135f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass LabelStmt : public Stmt { 3145f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer IdentifierInfo *Label; 3155f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Stmt *SubStmt; 316b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation IdentLoc; 3175f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 318b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff LabelStmt(SourceLocation IL, IdentifierInfo *label, Stmt *substmt) 319b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff : Stmt(LabelStmtClass), Label(label), 320b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SubStmt(substmt), IdentLoc(IL) {} 3215f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3225f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation getIdentLoc() const { return IdentLoc; } 3235f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer IdentifierInfo *getID() const { return Label; } 3245f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer const char *getName() const; 3255f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Stmt *getSubStmt() { return SubStmt; } 3265f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer const Stmt *getSubStmt() const { return SubStmt; } 3275f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3285f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void setIdentLoc(SourceLocation L) { IdentLoc = L; } 3295f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void setSubStmt(Stmt *SS) { SubStmt = SS; } 330b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 331b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 332b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(IdentLoc, SubStmt->getLocEnd()); 333b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 3345f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 3355f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == LabelStmtClass; 3365f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 3375f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const LabelStmt *) { return true; } 3388297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 3398297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 3408297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 3418297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 3425f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 3435f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3445f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3455f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// IfStmt - This represents an if/then/else. 3465f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 3475f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass IfStmt : public Stmt { 3488297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek enum { COND, THEN, ELSE, END_EXPR }; 3498297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt* SubExprs[END_EXPR]; 350b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation IfLoc; 3515f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 352b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff IfStmt(SourceLocation IL, Expr *cond, Stmt *then, Stmt *elsev = 0) 353b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff : Stmt(IfStmtClass) { 3548297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[COND] = reinterpret_cast<Stmt*>(cond); 3558297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[THEN] = then; 3568297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[ELSE] = elsev; 357b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff IfLoc = IL; 3588297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek } 3595f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3608297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Expr *getCond() const { return reinterpret_cast<Expr*>(SubExprs[COND]);} 3618297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Stmt *getThen() const { return SubExprs[THEN]; } 3628297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Stmt *getElse() const { return SubExprs[ELSE]; } 3635f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3648297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Expr *getCond() { return reinterpret_cast<Expr*>(SubExprs[COND]); } 3658297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt *getThen() { return SubExprs[THEN]; } 3668297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt *getElse() { return SubExprs[ELSE]; } 367b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 368b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 369b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff if (SubExprs[ELSE]) 370b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(IfLoc, SubExprs[ELSE]->getLocEnd()); 371b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff else 372b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(IfLoc, SubExprs[THEN]->getLocEnd()); 373b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 3745f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3755f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 3765f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == IfStmtClass; 3775f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 3785f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const IfStmt *) { return true; } 3798297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 3808297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 3818297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 3828297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 3835f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 3845f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3855f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// SwitchStmt - This represents a 'switch' stmt. 3865f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 3875f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass SwitchStmt : public Stmt { 3888297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek enum { COND, BODY, END_EXPR }; 3898297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt* SubExprs[END_EXPR]; 390c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson // This points to a linked list of case and default statements. 391c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson SwitchCase *FirstCase; 3929dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff SourceLocation SwitchLoc; 3935f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 3948297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SwitchStmt(Expr *cond) : Stmt(SwitchStmtClass), FirstCase(0) { 3958297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[COND] = reinterpret_cast<Stmt*>(cond); 3968297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[BODY] = NULL; 3978297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek } 3985f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3998297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Expr *getCond() const { return reinterpret_cast<Expr*>(SubExprs[COND]);} 4008297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Stmt *getBody() const { return SubExprs[BODY]; } 401c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson const SwitchCase *getSwitchCaseList() const { return FirstCase; } 402c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson 4038297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Expr *getCond() { return reinterpret_cast<Expr*>(SubExprs[COND]);} 4048297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt *getBody() { return SubExprs[BODY]; } 405c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson SwitchCase *getSwitchCaseList() { return FirstCase; } 406c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson 4079dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff void setBody(Stmt *S, SourceLocation SL) { 4089dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff SubExprs[BODY] = S; 4099dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff SwitchLoc = SL; 4109dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff } 411c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson void addSwitchCase(SwitchCase *SC) { 412c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson if (FirstCase) 413c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson SC->setNextSwitchCase(FirstCase); 414c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson 415c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson FirstCase = SC; 416c1fcb7762673be706b0a40477d5e93411e918f93Anders Carlsson } 4179dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff virtual SourceRange getSourceRange() const { 4189dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff return SourceRange(SwitchLoc, SubExprs[BODY]->getLocEnd()); 4199dcbfa450d751bd68fc4af8b75da381d4f6984b9Steve Naroff } 4205f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 4215f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == SwitchStmtClass; 4225f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 4235f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const SwitchStmt *) { return true; } 4248297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 4258297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 4268297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 4278297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 4285f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 4295f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 4305f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 4315f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// WhileStmt - This represents a 'while' stmt. 4325f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 4335f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass WhileStmt : public Stmt { 4348297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek enum { COND, BODY, END_EXPR }; 4358297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt* SubExprs[END_EXPR]; 436b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation WhileLoc; 4375f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 438b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff WhileStmt(Expr *cond, Stmt *body, SourceLocation WL) : Stmt(WhileStmtClass) { 4398297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[COND] = reinterpret_cast<Stmt*>(cond); 4408297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[BODY] = body; 441b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff WhileLoc = WL; 4428297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek } 4435f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 4448297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Expr *getCond() { return reinterpret_cast<Expr*>(SubExprs[COND]); } 4458297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Expr *getCond() const { return reinterpret_cast<Expr*>(SubExprs[COND]);} 4468297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt *getBody() { return SubExprs[BODY]; } 4478297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Stmt *getBody() const { return SubExprs[BODY]; } 448b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 449b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 450b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(WhileLoc, SubExprs[BODY]->getLocEnd()); 451b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 4525f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 4535f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == WhileStmtClass; 4545f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 4555f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const WhileStmt *) { return true; } 4568297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 4578297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 4588297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 4598297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 4605f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 4615f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 4625f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// DoStmt - This represents a 'do/while' stmt. 4635f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 4645f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass DoStmt : public Stmt { 4658297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek enum { COND, BODY, END_EXPR }; 4668297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt* SubExprs[END_EXPR]; 467b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation DoLoc; 4685f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 469b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff DoStmt(Stmt *body, Expr *cond, SourceLocation DL) 470b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff : Stmt(DoStmtClass), DoLoc(DL) { 4718297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[COND] = reinterpret_cast<Stmt*>(cond); 4728297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek SubExprs[BODY] = body; 473b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff DoLoc = DL; 4748297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek } 4755f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 4768297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Expr *getCond() { return reinterpret_cast<Expr*>(SubExprs[COND]); } 4778297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Expr *getCond() const { return reinterpret_cast<Expr*>(SubExprs[COND]);} 4788297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt *getBody() { return SubExprs[BODY]; } 4798297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Stmt *getBody() const { return SubExprs[BODY]; } 480b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 481b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 482b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(DoLoc, SubExprs[BODY]->getLocEnd()); 483b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 4845f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 4855f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == DoStmtClass; 4865f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 4875f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const DoStmt *) { return true; } 4888297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 4898297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 4908297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 4918297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 4925f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 4935f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 4945f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 4955f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// ForStmt - This represents a 'for (init;cond;inc)' stmt. Note that any of 4965f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// the init/cond/inc parts of the ForStmt will be null if they were not 4975f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// specified in the source. 4985f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 4995f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass ForStmt : public Stmt { 5008297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek enum { INIT, COND, INC, BODY, END_EXPR }; 5018297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt* SubExprs[END_EXPR]; // SubExprs[INIT] is an expression or declstmt. 502b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff SourceLocation ForLoc; 5035f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 504b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff ForStmt(Stmt *Init, Expr *Cond, Expr *Inc, Stmt *Body, SourceLocation FL) 505b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff : Stmt(ForStmtClass) { 506af458c9f658335bdea482395ff4a25c75935e129Chris Lattner SubExprs[INIT] = Init; 507af458c9f658335bdea482395ff4a25c75935e129Chris Lattner SubExprs[COND] = reinterpret_cast<Stmt*>(Cond); 508af458c9f658335bdea482395ff4a25c75935e129Chris Lattner SubExprs[INC] = reinterpret_cast<Stmt*>(Inc); 509af458c9f658335bdea482395ff4a25c75935e129Chris Lattner SubExprs[BODY] = Body; 510b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff ForLoc = FL; 511af458c9f658335bdea482395ff4a25c75935e129Chris Lattner } 5125f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5138297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt *getInit() { return SubExprs[INIT]; } 5148297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Expr *getCond() { return reinterpret_cast<Expr*>(SubExprs[COND]); } 5158297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Expr *getInc() { return reinterpret_cast<Expr*>(SubExprs[INC]); } 5168297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek Stmt *getBody() { return SubExprs[BODY]; } 5178297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 5188297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Stmt *getInit() const { return SubExprs[INIT]; } 5198297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Expr *getCond() const { return reinterpret_cast<Expr*>(SubExprs[COND]);} 5208297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Expr *getInc() const { return reinterpret_cast<Expr*>(SubExprs[INC]); } 5218297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek const Stmt *getBody() const { return SubExprs[BODY]; } 522b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 523b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { 524b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff return SourceRange(ForLoc, SubExprs[BODY]->getLocEnd()); 525b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff } 5265f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 5275f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == ForStmtClass; 5285f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 5295f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const ForStmt *) { return true; } 5308297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 5318297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 5328297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 5338297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 5345f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 5355f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5365f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// GotoStmt - This represents a direct goto. 5375f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 5385f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass GotoStmt : public Stmt { 5395f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer LabelStmt *Label; 540507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff SourceLocation GotoLoc; 54161f62165220e75694fe333179c78815e2e48d71fTed Kremenek SourceLocation LabelLoc; 5425f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 54361f62165220e75694fe333179c78815e2e48d71fTed Kremenek GotoStmt(LabelStmt *label, SourceLocation GL, SourceLocation LL) 54461f62165220e75694fe333179c78815e2e48d71fTed Kremenek : Stmt(GotoStmtClass), Label(label), GotoLoc(GL), LabelLoc(LL) {} 5455f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5465f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer LabelStmt *getLabel() const { return Label; } 547b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 548507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff virtual SourceRange getSourceRange() const { 54961f62165220e75694fe333179c78815e2e48d71fTed Kremenek return SourceRange(GotoLoc, LabelLoc); 550507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff } 5515f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 5525f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == GotoStmtClass; 5535f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 5545f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const GotoStmt *) { return true; } 5558297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 5568297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 5578297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 5588297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 5595f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 5605f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5615f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// IndirectGotoStmt - This represents an indirect goto. 5625f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 5635f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass IndirectGotoStmt : public Stmt { 5645f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Expr *Target; 5655f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 5666000dace22f110d8768476989313e9d981d690d0Chris Lattner IndirectGotoStmt(Expr *target) : Stmt(IndirectGotoStmtClass), Target(target){} 5675f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5685f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Expr *getTarget() { return Target; } 5696000dace22f110d8768476989313e9d981d690d0Chris Lattner const Expr *getTarget() const { return Target; } 570b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 571b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff virtual SourceRange getSourceRange() const { return SourceRange(); } 5725f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5735f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 5745f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == IndirectGotoStmtClass; 5755f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 5765f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const IndirectGotoStmt *) { 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/// ContinueStmt - This represents a continue. 5855f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 5865f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass ContinueStmt : public Stmt { 587507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff SourceLocation ContinueLoc; 5885f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 589507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff ContinueStmt(SourceLocation CL) : Stmt(ContinueStmtClass), ContinueLoc(CL) {} 590b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 591507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff virtual SourceRange getSourceRange() const { 592507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff return SourceRange(ContinueLoc); 593507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff } 5945f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 5955f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == ContinueStmtClass; 5965f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 5975f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const ContinueStmt *) { return true; } 5988297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 5998297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 6008297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 6018297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 6025f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 6035f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6045f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// BreakStmt - This represents a break. 6055f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 6065f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass BreakStmt : public Stmt { 607507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff SourceLocation BreakLoc; 6085f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 609507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff BreakStmt(SourceLocation BL) : Stmt(BreakStmtClass), BreakLoc(BL) {} 610b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 611507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff virtual SourceRange getSourceRange() const { return SourceRange(BreakLoc); } 612b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 6135f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 6145f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == BreakStmtClass; 6155f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 6165f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const BreakStmt *) { return true; } 6178297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 6188297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 6198297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 6208297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 6215f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 6225f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6235f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6245f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// ReturnStmt - This represents a return, optionally of an expression. 6255f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 6265f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass ReturnStmt : public Stmt { 6275f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Expr *RetExpr; 628507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff SourceLocation RetLoc; 6295f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 630507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff ReturnStmt(SourceLocation RL, Expr *E = 0) : Stmt(ReturnStmtClass), 631507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff RetExpr(E), RetLoc(RL) {} 6325f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6335f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer const Expr *getRetValue() const { return RetExpr; } 6345f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Expr *getRetValue() { return RetExpr; } 635b5a69586f1b8855ee4c1f0bb7a8f0ff4fe32ce09Steve Naroff 636507f2d5811bd7da1a4d9d2f4960f32177dfab9deSteve Naroff virtual SourceRange getSourceRange() const; 6375f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6385f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const Stmt *T) { 6395f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return T->getStmtClass() == ReturnStmtClass; 6405f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 6415f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer static bool classof(const ReturnStmt *) { return true; } 6428297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek 6438297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek // Iterators 6448297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_begin(); 6458297777fbe19c4d39e8a70c55346474868055fa1Ted Kremenek virtual child_iterator child_end(); 6465f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 6475f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6485f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer} // end namespace clang 6495f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6505f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#endif 651