0x8000-0000 added inline comments.
================
Comment at:
clang-tools-extra/test/clang-tidy/checkers/cppcoreguidelines-const-correctness-values.cpp:608
+}
+
+template <typename L, typename R>
----------------
JonasToth wrote:
> JonasToth wrote:
> > 0x8000-0000 wrote:
> > > Please insert the this test code here:
> > >
> > > ```
> > > struct IntWrapper {
> > >
> > > unsigned low;
> > > unsigned high;
> > >
> > > IntWrapper& operator=(unsigned value) {
> > > low = value & 0xffff;
> > > high = (value >> 16) & 0xffff;
> > > }
> > >
> > > template<typename Istream>
> > > friend Istream& operator>>(Istream& is, IntWrapper& rhs) {
> > > unsigned someValue = 0; // false positive now
> > > if (is >> someValue) {
> > > rhs = someValue;
> > > }
> > > return is;
> > > }
> > > };
> > >
> > > unsigned TestHiddenFriend(IntMaker& im) {
> > > IntWrapper iw;
> > >
> > > im >> iw;
> > >
> > > return iw.low;
> > > }
> > > ```
> > clang gives me no error when I add the const there. sure it does reproduce
> > properly?
> Here for reference: https://godbolt.org/z/DXKMYh
Probably I wasn't clear - I suggested adding my test code at line 608, because
it needs the "IntMaker" definition at line 594.
The false positive from this const check is reported on the "unsigned someValue
= 0;" line inside the template extraction operator.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D54943/new/
https://reviews.llvm.org/D54943
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits