diff options
| author | Noel Grandin <noel.grandin@collabora.co.uk> | 2018-03-22 10:01:51 +0200 |
|---|---|---|
| committer | Noel Grandin <noel.grandin@collabora.co.uk> | 2018-03-27 08:22:09 +0200 |
| commit | 862dc17e437f0972223e18555110dc875d2ffa44 (patch) | |
| tree | 3b8e33815f337b262b7a42e01af64acae4912b0e /compilerplugins/clang/test/expressionalwayszero.cxx | |
| parent | 50af4bf5c67eaac39d02cfe20584906eec058235 (diff) | |
loplugin:expressionalwayszero improvements
Change-Id: I00bdbc58d2295a0be30b47c85eae6b9abfec17b2
Reviewed-on: https://gerrit.libreoffice.org/51868
Tested-by: Jenkins <ci@libreoffice.org>
Reviewed-by: Noel Grandin <noel.grandin@collabora.co.uk>
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: */ |