From 862dc17e437f0972223e18555110dc875d2ffa44 Mon Sep 17 00:00:00 2001
From: Noel Grandin <noel.grandin@collabora.co.uk>
Date: Thu, 22 Mar 2018 10:01:51 +0200
Subject: 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>
---
 compilerplugins/clang/test/expressionalwayszero.cxx | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

(limited to 'compilerplugins/clang/test/expressionalwayszero.cxx')

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: */
-- 
cgit