// We shouldn't give an ABI warning about promotion in switch.
// { dg-options "-std=c++0x -fabi-version=5 -Wabi" }

enum class Foo { X };
void test(Foo val)
{
    switch(val)
    {
    case Foo::X:
        break;
    }
};