diff options
Diffstat (limited to 'compilerplugins/clang/test/expressionalwayszero.cxx')
| -rw-r--r-- | compilerplugins/clang/test/expressionalwayszero.cxx | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/compilerplugins/clang/test/expressionalwayszero.cxx b/compilerplugins/clang/test/expressionalwayszero.cxx index 06bd80a2d90a..4986e5d690f7 100644 --- a/compilerplugins/clang/test/expressionalwayszero.cxx +++ b/compilerplugins/clang/test/expressionalwayszero.cxx @@ -20,6 +20,14 @@ namespace o3tl { template<> struct typed_flags<Enum1> : is_typed_flags<Enum1, 0x3> {}; } +enum class Enum2 { + ZERO = 0, + ONE = 1, + TWO = 2, +}; +namespace o3tl { + template<> struct typed_flags<Enum2> : is_typed_flags<Enum2, 0x3> {}; +} int main() { @@ -27,5 +35,12 @@ int main() (void)v1; auto v2 = Enum1::ONE & Enum1::TWO; // expected-error {{expression always evaluates to zero, lhs=1 rhs=2 [loplugin:expressionalwayszero]}} (void)v2; + + auto v3 = Enum2::ONE; + auto v4 = v3 & Enum2::ZERO; // expected-error {{expression always evaluates to zero, lhs=unknown rhs=0 [loplugin:expressionalwayszero]}} + (void)v4; + + auto v5 = Enum2::ONE; + v5 &= Enum2::ZERO; // expected-error {{expression always evaluates to zero, lhs=unknown rhs=0 [loplugin:expressionalwayszero]}} } /* vim:set shiftwidth=4 softtabstop=4 expandtab cinoptions=b1,g0,N-s cinkeys+=0=break: */ |