diff options
| author | Argyrios Kyrtzidis <akyrtzi@gmail.com> | 2010-10-30 19:52:22 +0000 |
|---|---|---|
| committer | Argyrios Kyrtzidis <akyrtzi@gmail.com> | 2010-10-30 19:52:22 +0000 |
| commit | 0f279e756e3df69f9e071c572805e5d3e89123a2 (patch) | |
| tree | 36df004ace7a668533812516eb40dfd92e043db2 | |
| parent | c92bbb4429dfce891d7f4000f0dabcc9ddaa68b7 (diff) | |
Emit an error when trying to form a pointer-to-member to a bitfield.
As a bonus, avoids a crash on the IRGen side due to accepting invalid code.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117842 91177308-0d34-0410-b5e6-96231b3b80d8
| -rw-r--r-- | lib/AST/Expr.cpp | 5 | ||||
| -rw-r--r-- | test/SemaCXX/ptrtomember.cpp | 5 |
2 files changed, 10 insertions, 0 deletions
diff --git a/lib/AST/Expr.cpp b/lib/AST/Expr.cpp index 19b2b5bae9..6829557734 100644 --- a/lib/AST/Expr.cpp +++ b/lib/AST/Expr.cpp @@ -1930,6 +1930,11 @@ FieldDecl *Expr::getBitField() { if (Field->isBitField()) return Field; + if (DeclRefExpr *DeclRef = dyn_cast<DeclRefExpr>(E)) + if (FieldDecl *Field = dyn_cast<FieldDecl>(DeclRef->getDecl())) + if (Field->isBitField()) + return Field; + if (BinaryOperator *BinOp = dyn_cast<BinaryOperator>(E)) if (BinOp->isAssignmentOp() && BinOp->getLHS()) return BinOp->getLHS()->getBitField(); diff --git a/test/SemaCXX/ptrtomember.cpp b/test/SemaCXX/ptrtomember.cpp index fb774d85e3..e84e931ee8 100644 --- a/test/SemaCXX/ptrtomember.cpp +++ b/test/SemaCXX/ptrtomember.cpp @@ -11,3 +11,8 @@ int foo(int S::* ps, S *s) return (s->*ps)(1); // expected-error {{called object type 'int' is not a function or function pointer}} } +struct S2 { + int bitfield : 1; +}; + +int S2::*pf = &S2::bitfield; // expected-error {{address of bit-field requested}} |