SemaExprCXX.cpp revision d9f6910f4ef37c0e8eeee2a01287d9572c3176ef 
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"
17using namespace clang;
18
19/// ActOnCXXCasts - Parse {dynamic,static,reinterpret,const}_cast's.
20Action::ExprResult
21Sema::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.
40Action::ExprResult
41Sema::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.
48Action::ExprResult
49Sema::ActOnCXXThrow(SourceLocation OpLoc, ExprTy *E) {
50  return new CXXThrowExpr((Expr*)E, Context.VoidTy, OpLoc);
51}
52
53Action::ExprResult Sema::ActOnCXXThis(SourceLocation ThisLoc) {
54  /// C++ 9.3.2: In the body of a non-static member function, the keyword this
55  /// is a non-lvalue expression whose value is the address of the object for
56  /// which the function is called.
57
58  if (!isa<FunctionDecl>(CurContext)) {
59    Diag(ThisLoc, diag::err_invalid_this_use);
60    return ExprResult(true);
61  }
62
63  if (CXXMethodDecl *MD = dyn_cast<CXXMethodDecl>(CurContext))
64    if (MD->isInstance())
65      return new PredefinedExpr(ThisLoc, MD->getThisType(Context),
66                                PredefinedExpr::CXXThis);
67
68  return Diag(ThisLoc, diag::err_invalid_this_use);
69}
70