compilerplugins/clang/test/writeonlyvars.cxx

   1 /* -*- Mode: C++; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4; fill-column: 100 -*- */
   2 /*
   3  * This file is part of the LibreOffice project.
   4  *
   5  * This Source Code Form is subject to the terms of the Mozilla Public
   6  * License, v. 2.0. If a copy of the MPL was not distributed with this
   7  * file, You can obtain one at http://mozilla.org/MPL/2.0/.
   8  */
   9
  10 #if defined _WIN32 //TODO, see corresponding TODO in compilerplugins/clang/writeonlyvars.cxx
  11 // expected-no-diagnostics
  12 #else
  13
  14 #include <vector>
  15 #include <ostream>
  16 #include <com/sun/star/uno/Any.hxx>
  17 #include <com/sun/star/uno/Sequence.hxx>
  18
  19 namespace Bar
  20 {
  21 void test()
  22 {
  23     // check that we DON'T see reads here
  24     // expected-error@+1 {{write m_bar3 [loplugin:writeonlyvars]}}
  25     int* m_bar3;
  26     // expected-error@+1 {{write m_bar3b [loplugin:writeonlyvars]}}
  27     int* m_bar3b;
  28     m_bar3 = nullptr;
  29     m_bar3b = m_bar3 = nullptr;
  30
  31     // check that we see reads of field when passed to a function pointer
  32     // check that we see read of a field that is a function pointer
  33     // expected-error@+2 {{write m_bar4 [loplugin:writeonlyvars]}}
  34     // expected-error@+1 {{read m_bar4 [loplugin:writeonlyvars]}}
  35     int m_bar4;
  36     // expected-error@+1 {{read m_barfunctionpointer [loplugin:writeonlyvars]}}
  37     void (*m_barfunctionpointer)(int&) = nullptr;
  38     m_barfunctionpointer(m_bar4);
  39
  40     // check that we see reads of a field when used in variable init
  41     // expected-error@+1 {{read m_bar5 [loplugin:writeonlyvars]}}
  42     int m_bar5 = 1;
  43     int x = m_bar5;
  44     (void)x;
  45
  46     // check that we see reads of a field when used in ranged-for
  47     // expected-error@+1 {{read m_bar6 [loplugin:writeonlyvars]}}
  48     std::vector<int> m_bar6;
  49     for (auto i : m_bar6)
  50     {
  51         (void)i;
  52     }
  53
  54     // check that we see writes of array fields
  55     // expected-error@+1 {{write m_bar7 [loplugin:writeonlyvars]}}
  56     int m_bar7[5];
  57     m_bar7[3] = 1;
  58
  59     // check that we see reads when a field is used in an array expression
  60     // expected-error@+1 {{read m_bar8 [loplugin:writeonlyvars]}}
  61     int m_bar8 = 1;
  62     // expected-error@+1 {{read tmp [loplugin:writeonlyvars]}}
  63     char tmp[5];
  64     auto x2 = tmp[m_bar8];
  65     (void)x2;
  66
  67     // check that we don't see reads when calling operator>>=
  68     // expected-error@+1 {{write m_bar9 [loplugin:writeonlyvars]}}
  69     sal_Int32 m_bar9;
  70     // expected-error@+1 {{read any [loplugin:writeonlyvars]}}
  71     css::uno::Any any;
  72     any >>= m_bar9;
  73
  74     // check that we see don't see writes when calling operator<<=
  75     // expected-error@+1 {{read m_bar10 [loplugin:writeonlyvars]}}
  76     sal_Int32 m_bar10;
  77     // expected-error@+2 {{write any2 [loplugin:writeonlyvars]}}
  78     // expected-error@+1 {{read any2 [loplugin:writeonlyvars]}}
  79     css::uno::Any any2;
  80     any2 <<= m_bar10;
  81 };
  82 };
  83
  84 struct ReadOnly1
  85 {
  86     ReadOnly1(int&);
  87 };
  88
  89 namespace ReadOnlyAnalysis
  90 {
  91 void method1(int&);
  92
  93 void test()
  94 {
  95     // check that we see a write when we pass by non-const ref
  96     // expected-error@+2 {{read m_f2 [loplugin:writeonlyvars]}}
  97     // expected-error@+1 {{write m_f2 [loplugin:writeonlyvars]}}
  98     int m_f2;
  99     method1(m_f2);
 100
 101     // expected-error@+1 {{write m_f4 [loplugin:writeonlyvars]}}
 102     std::vector<int> m_f4;
 103     m_f4.push_back(1);
 104
 105     // check that we see a write when we pass by non-const ref
 106     // expected-error@+2 {{read m_f5 [loplugin:writeonlyvars]}}
 107     // expected-error@+1 {{write m_f5 [loplugin:writeonlyvars]}}
 108     int m_f5;
 109     ReadOnly1 a(m_f5);
 110
 111     // check that we see a write when we pass by non-const ref
 112     // expected-error@+2 {{read m_f6 [loplugin:writeonlyvars]}}
 113     // expected-error@+1 {{write m_f6 [loplugin:writeonlyvars]}}
 114     int m_f6;
 115     // expected-error@+1 {{write r [loplugin:writeonlyvars]}}
 116     int& r = m_f6;
 117     r = 1;
 118 };
 119 };
 120
 121 void ReadOnlyAnalysis3()
 122 {
 123     // expected-error@+1 {{read m_f1 [loplugin:writeonlyvars]}}
 124     int m_f1 = 0;
 125
 126     if (m_f1)
 127         m_f1 = 1;
 128 };
 129
 130 // Verify the special logic for container fields that only contains mutations that
 131 // add elements.
 132 void ReadOnlyAnalysis4()
 133 {
 134     // expected-error@+1 {{read m_readonly [loplugin:writeonlyvars]}}
 135     std::vector<int> m_readonly;
 136     // expected-error@+1 {{write m_writeonly [loplugin:writeonlyvars]}}
 137     std::vector<int> m_writeonly;
 138     // expected-error@+1 {{read m_readonlyCss [loplugin:writeonlyvars]}}
 139     css::uno::Sequence<sal_Int32> m_readonlyCss;
 140
 141     // expected-error@+1 {{write x [loplugin:writeonlyvars]}}
 142     int x = m_readonly[0];
 143     (void)x;
 144     *m_readonly.begin() = 1; // TODO?
 145
 146     m_writeonly.push_back(0);
 147
 148     x = m_readonlyCss.getArray()[0];
 149 };
 150
 151 #endif
 152
 153 /* vim:set shiftwidth=4 softtabstop=4 expandtab cinoptions=b1,g0,N-s cinkeys+=0=break: */