granicus.if.org Git - clang/blob - Sema/SemaExprCXX.cpp

   1 //===--- SemaExprCXX.cpp - Semantic Analysis for Expressions --------------===//
   2 //
   3 //                     The LLVM Compiler Infrastructure
   4 //
   5 // This file is distributed under the University of Illinois Open Source
   6 // License. See LICENSE.TXT for details.
   7 //
   8 //===----------------------------------------------------------------------===//
   9 //
  10 //  This file implements semantic analysis for C++ expressions.
  11 //
  12 //===----------------------------------------------------------------------===//
  13
  14 #include "Sema.h"
  15 #include "clang/AST/ExprCXX.h"
  16 #include "clang/AST/ASTContext.h"
  17 using namespace clang;
  18
  19 /// ActOnCXXCasts - Parse {dynamic,static,reinterpret,const}_cast's.
  20 Action::ExprResult
  21 Sema::ActOnCXXCasts(SourceLocation OpLoc, tok::TokenKind Kind,
  22                     SourceLocation LAngleBracketLoc, TypeTy *Ty,
  23                     SourceLocation RAngleBracketLoc,
  24                     SourceLocation LParenLoc, ExprTy *E,
  25                     SourceLocation RParenLoc) {
  26   CXXCastExpr::Opcode Op;
  27
  28   switch (Kind) {
  29   default: assert(0 && "Unknown C++ cast!");
  30   case tok::kw_const_cast:       Op = CXXCastExpr::ConstCast;       break;
  31   case tok::kw_dynamic_cast:     Op = CXXCastExpr::DynamicCast;     break;
  32   case tok::kw_reinterpret_cast: Op = CXXCastExpr::ReinterpretCast; break;
  33   case tok::kw_static_cast:      Op = CXXCastExpr::StaticCast;      break;
  34   }
  35
  36   return new CXXCastExpr(Op, QualType::getFromOpaquePtr(Ty), (Expr*)E, OpLoc);
  37 }
  38
  39 /// ActOnCXXBoolLiteral - Parse {true,false} literals.
  40 Action::ExprResult
  41 Sema::ActOnCXXBoolLiteral(SourceLocation OpLoc, tok::TokenKind Kind) {
  42   assert((Kind != tok::kw_true || Kind != tok::kw_false) &&
  43          "Unknown C++ Boolean value!");
  44   return new CXXBoolLiteralExpr(Kind == tok::kw_true, Context.BoolTy, OpLoc);
  45 }
  46
  47 /// ActOnCXXThrow - Parse throw expressions.
  48 Action::ExprResult
  49 Sema::ActOnCXXThrow(SourceLocation OpLoc, ExprTy *E) {
  50   return new CXXThrowExpr((Expr*)E, Context.VoidTy, OpLoc);
  51 }