summaryrefslogtreecommitdiffstats
path: root/compilerplugins/clang/test/reducevarscope.cxx
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-07 09:06:44 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-07 09:06:44 +0000
commited5640d8b587fbcfed7dd7967f3de04b37a76f26 (patch)
tree7a5f7c6c9d02226d7471cb3cc8fbbf631b415303 /compilerplugins/clang/test/reducevarscope.cxx
parentInitial commit. (diff)
downloadlibreoffice-upstream.tar.xz
libreoffice-upstream.zip
Adding upstream version 4:7.4.7.upstream/4%7.4.7upstream
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'compilerplugins/clang/test/reducevarscope.cxx')
-rw-r--r--compilerplugins/clang/test/reducevarscope.cxx99
1 files changed, 99 insertions, 0 deletions
diff --git a/compilerplugins/clang/test/reducevarscope.cxx b/compilerplugins/clang/test/reducevarscope.cxx
new file mode 100644
index 000000000..ca4ed09be
--- /dev/null
+++ b/compilerplugins/clang/test/reducevarscope.cxx
@@ -0,0 +1,99 @@
+/* -*- Mode: C++; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4; fill-column: 100 -*- */
+/*
+ * This file is part of the LibreOffice project.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at http://mozilla.org/MPL/2.0/.
+ */
+
+#include <rtl/ustring.hxx>
+
+#pragma clang diagnostic ignored "-Wunknown-warning-option" // for Clang < 13
+#pragma clang diagnostic ignored "-Wunused-but-set-variable"
+
+void test1()
+{
+ int i = 2; // expected-error {{can reduce scope of var [loplugin:reducevarscope]}}
+ {
+ i = 3; // expected-note {{used here [loplugin:reducevarscope]}}
+ }
+ int j = 2; // expected-error {{can reduce scope of var [loplugin:reducevarscope]}}
+ {
+ j = 3; // expected-note {{used here [loplugin:reducevarscope]}}
+ {
+ j = 4; // expected-note {{used here [loplugin:reducevarscope]}}
+ }
+ }
+}
+
+// negative test - seen inside a loop
+void test2()
+{
+ int i = 2;
+ for (int j = 1; j < 10; ++j)
+ {
+ i = 3;
+ }
+}
+
+// negative test - initial assignment from non-constant
+void test3()
+{
+ int j = 1;
+ int i = j;
+ {
+ i = 3;
+ }
+}
+
+// negative test
+void test4()
+{
+ int i = 2;
+ {
+ i = 3;
+ }
+ i = 4;
+}
+
+// negative test
+void test5()
+{
+ int i = 2;
+ i = 3;
+}
+
+// negative test - seen in 2 child blocks
+void test6()
+{
+ int i;
+ {
+ i = 3;
+ }
+ {
+ i = 3;
+ }
+}
+
+// TODO negative test - storing pointer to OUString data
+// void test7()
+// {
+// OUString s;
+// const sal_Unicode* p = nullptr;
+// {
+// p = s.getStr();
+// }
+// auto p2 = p;
+// (void)p2;
+// }
+
+// negative test - passing var into lambda
+void test8()
+{
+ int i;
+ auto l1 = [&]() { i = 1; };
+ (void)l1;
+}
+
+/* vim:set shiftwidth=4 softtabstop=4 expandtab cinoptions=b1,g0,N-s cinkeys+=0=break: */