summaryrefslogtreecommitdiffstats
path: root/include/clang/AST/EvaluatedExprVisitor.h
diff options
context:
space:
mode:
Diffstat (limited to 'include/clang/AST/EvaluatedExprVisitor.h')
-rw-r--r--include/clang/AST/EvaluatedExprVisitor.h129
1 files changed, 0 insertions, 129 deletions
diff --git a/include/clang/AST/EvaluatedExprVisitor.h b/include/clang/AST/EvaluatedExprVisitor.h
deleted file mode 100644
index aad7726..0000000
--- a/include/clang/AST/EvaluatedExprVisitor.h
+++ /dev/null
@@ -1,129 +0,0 @@
-//===--- EvaluatedExprVisitor.h - Evaluated expression visitor --*- C++ -*-===//
-//
-// The LLVM Compiler Infrastructure
-//
-// This file is distributed under the University of Illinois Open Source
-// License. See LICENSE.TXT for details.
-//
-//===----------------------------------------------------------------------===//
-//
-// This file defines the EvaluatedExprVisitor class template, which visits
-// the potentially-evaluated subexpressions of a potentially-evaluated
-// expression.
-//
-//===----------------------------------------------------------------------===//
-#ifndef LLVM_CLANG_AST_EVALUATEDEXPRVISITOR_H
-#define LLVM_CLANG_AST_EVALUATEDEXPRVISITOR_H
-
-#include "clang/AST/DeclCXX.h"
-#include "clang/AST/Expr.h"
-#include "clang/AST/ExprCXX.h"
-#include "clang/AST/StmtVisitor.h"
-
-namespace clang {
-
-class ASTContext;
-
-/// \brief Given a potentially-evaluated expression, this visitor visits all
-/// of its potentially-evaluated subexpressions, recursively.
-template<template <typename> class Ptr, typename ImplClass>
-class EvaluatedExprVisitorBase : public StmtVisitorBase<Ptr, ImplClass, void> {
-protected:
- const ASTContext &Context;
-
-public:
-#define PTR(CLASS) typename Ptr<CLASS>::type
-
- explicit EvaluatedExprVisitorBase(const ASTContext &Context) : Context(Context) { }
-
- // Expressions that have no potentially-evaluated subexpressions (but may have
- // other sub-expressions).
- void VisitDeclRefExpr(PTR(DeclRefExpr) E) { }
- void VisitOffsetOfExpr(PTR(OffsetOfExpr) E) { }
- void VisitUnaryExprOrTypeTraitExpr(PTR(UnaryExprOrTypeTraitExpr) E) { }
- void VisitExpressionTraitExpr(PTR(ExpressionTraitExpr) E) { }
- void VisitBlockExpr(PTR(BlockExpr) E) { }
- void VisitCXXUuidofExpr(PTR(CXXUuidofExpr) E) { }
- void VisitCXXNoexceptExpr(PTR(CXXNoexceptExpr) E) { }
-
- void VisitMemberExpr(PTR(MemberExpr) E) {
- // Only the base matters.
- return this->Visit(E->getBase());
- }
-
- void VisitChooseExpr(PTR(ChooseExpr) E) {
- // Don't visit either child expression if the condition is dependent.
- if (E->getCond()->isValueDependent())
- return;
- // Only the selected subexpression matters; the other one is not evaluated.
- return this->Visit(E->getChosenSubExpr());
- }
-
- void VisitGenericSelectionExpr(PTR(GenericSelectionExpr) E) {
- // The controlling expression of a generic selection is not evaluated.
-
- // Don't visit either child expression if the condition is type-dependent.
- if (E->isResultDependent())
- return;
- // Only the selected subexpression matters; the other subexpressions and the
- // controlling expression are not evaluated.
- return this->Visit(E->getResultExpr());
- }
-
- void VisitDesignatedInitExpr(PTR(DesignatedInitExpr) E) {
- // Only the actual initializer matters; the designators are all constant
- // expressions.
- return this->Visit(E->getInit());
- }
-
- void VisitCXXTypeidExpr(PTR(CXXTypeidExpr) E) {
- if (E->isPotentiallyEvaluated())
- return this->Visit(E->getExprOperand());
- }
-
- void VisitCallExpr(PTR(CallExpr) CE) {
- if (!CE->isUnevaluatedBuiltinCall(Context))
- return static_cast<ImplClass*>(this)->VisitExpr(CE);
- }
-
- void VisitLambdaExpr(PTR(LambdaExpr) LE) {
- // Only visit the capture initializers, and not the body.
- for (LambdaExpr::const_capture_init_iterator I = LE->capture_init_begin(),
- E = LE->capture_init_end();
- I != E; ++I)
- if (*I)
- this->Visit(*I);
- }
-
- /// \brief The basis case walks all of the children of the statement or
- /// expression, assuming they are all potentially evaluated.
- void VisitStmt(PTR(Stmt) S) {
- for (auto *SubStmt : S->children())
- if (SubStmt)
- this->Visit(SubStmt);
- }
-
-#undef PTR
-};
-
-/// EvaluatedExprVisitor - This class visits 'Expr *'s
-template<typename ImplClass>
-class EvaluatedExprVisitor
- : public EvaluatedExprVisitorBase<make_ptr, ImplClass> {
-public:
- explicit EvaluatedExprVisitor(const ASTContext &Context) :
- EvaluatedExprVisitorBase<make_ptr, ImplClass>(Context) { }
-};
-
-/// ConstEvaluatedExprVisitor - This class visits 'const Expr *'s.
-template<typename ImplClass>
-class ConstEvaluatedExprVisitor
- : public EvaluatedExprVisitorBase<make_const_ptr, ImplClass> {
-public:
- explicit ConstEvaluatedExprVisitor(const ASTContext &Context) :
- EvaluatedExprVisitorBase<make_const_ptr, ImplClass>(Context) { }
-};
-
-}
-
-#endif // LLVM_CLANG_AST_EVALUATEDEXPRVISITOR_H
OpenPOWER on IntegriCloud