diff options
| -rw-r--r-- | lib/Sema/SemaChecking.cpp | 4 | ||||
| -rw-r--r-- | test/Sema/constant-conversion.c | 6 |
2 files changed, 8 insertions, 2 deletions
diff --git a/lib/Sema/SemaChecking.cpp b/lib/Sema/SemaChecking.cpp index ee04463037..9dbee1b2b3 100644 --- a/lib/Sema/SemaChecking.cpp +++ b/lib/Sema/SemaChecking.cpp @@ -3758,8 +3758,8 @@ static bool AnalyzeBitFieldAssignment(Sema &S, FieldDecl *Bitfield, Expr *Init, return false; // Special-case bitfields of width 1: booleans are naturally 0/1, and - // therefore don't strictly fit into a bitfield of width 1. - if (FieldWidth == 1 && Value.getBoolValue() == TruncatedValue.getBoolValue()) + // therefore don't strictly fit into a signed bitfield of width 1. + if (FieldWidth == 1 && Value == 1) return false; std::string PrettyValue = Value.toString(10); diff --git a/test/Sema/constant-conversion.c b/test/Sema/constant-conversion.c index e3097f8be3..1376333967 100644 --- a/test/Sema/constant-conversion.c +++ b/test/Sema/constant-conversion.c @@ -74,3 +74,9 @@ void test7() { f.twoBits1 &= ~1; // no-warning f.twoBits2 &= ~2; // no-warning } + +void test8() { + enum E { A, B, C }; + struct { enum E x : 1; } f; + f.x = C; // expected-warning {{implicit truncation from 'int' to bitfield changes value from 2 to 0}} +} |