Suppress Wsign-conversion for enums with matching underlying type

[erichkeane]

Summary

As reported here: https://bugs.llvm.org/show_bug.cgi?id=34692

A non-defined enum with a backing type was always defaulting to
being treated as a signed type. IN the case where it IS defined,
the signed-ness of the actual items is used.

This patch uses the underlying type's signed-ness in the non-defined
case to test signed-comparision.

[efriedma]

lib/Sema/SemaChecking.cpp

8176 ↗

(On Diff #116220)

Maybe add a comment noting what can trigger this case?

test/SemaCXX/sign-conversion.cpp

21 ↗

(On Diff #116220)

There's an existing file test/SemaCXX/warn-sign-conversion.cpp for C++ sign-conversion tests.

[erichkeane]

Updated based on Eli's feedback.

[efriedma]

lib/Sema/SemaChecking.cpp

8176 ↗

(On Diff #116244)

Explicitly referencing sign-conversion warnings here isn't really helpful. Maybe something more like "Incomplete enums without definitions can have an explicitly specified underlying type. Use that type here to compute the range."

test/SemaCXX/warn-sign-conversion-cpp11.cpp

11 ↗

(On Diff #116244)

The signedness of "char" can vary based on the host; probably simplest to write out "signed char".

[erichkeane]

lib/Sema/SemaChecking.cpp

8176 ↗

(On Diff #116244)

Ok, got it. I DO note that (IIRC) enums with an underlying type are not considered 'incomplete', so I modified your text slightly. Thanks for the help.

test/SemaCXX/sign-conversion.cpp

21 ↗

(On Diff #116220)

Thanks for pointing that out! Unfortunately, that file is very dependent on it being C++98, and this test requires c++11 or greater. I DID rename the test file to better match that one however.

test/SemaCXX/warn-sign-conversion-cpp11.cpp

11 ↗

(On Diff #116244)

Right, good catch.

[efriedma]

LGTM

cfe/trunk/lib/Sema/SemaChecking.cpp

static IntRange forValueOfCanonicalType(ASTContext &C, const Type *T) {
     if (const ComplexType *CT = dyn_cast<ComplexType>(T))
       T = CT->getElementType().getTypePtr();
     if (const AtomicType *AT = dyn_cast<AtomicType>(T))
       T = AT->getValueType().getTypePtr();
 
     // For enum types, use the known bit width of the enumerators.
     if (const EnumType *ET = dyn_cast<EnumType>(T)) {
       EnumDecl *Enum = ET->getDecl();
+      // In C++11, enums without definitions can have an explicitly specified
+      // underlying type.  Use this type to compute the range.
       if (!Enum->isCompleteDefinition())
-        return IntRange(C.getIntWidth(QualType(T, 0)), false);
+        return IntRange(C.getIntWidth(QualType(T, 0)),
+                        !ET->isSignedIntegerOrEnumerationType());
 
       unsigned NumPositive = Enum->getNumPositiveBits();
       unsigned NumNegative = Enum->getNumNegativeBits();
 
       if (NumNegative == 0)
         return IntRange(NumPositive, true/*NonNegative*/);
       else
         return IntRange(std::max(NumPositive + 1, NumNegative),