- User Since
- Mar 4 2015, 11:26 AM (233 w, 2 d)
Sep 20 2018
This needs a test when calling in a constexpr function. I believe std::invoke is not constepxr, so a function object call in a constexpr function should not suggest std::invoke.
May 14 2018
Is someone able to merge in my changes?
May 9 2018
Some changes based on feedback.
May 4 2018
In this sense bug reports against abandoned alpha checkers (which are, unfortunately, the majority) aren't very useful. In most cases it's just too easy to see how broken they are.
Moved flag for alpha checks to the ClangTidyContext
There doesn't seem to be a simple way to remove it from the ClangTidyOptions class, as a lot more functions need to be changed to support that. I would prefer to leave it there for now, and we can refactor it later. Either way, the check can't be set from a config file.
May 3 2018
Rename flag to AllowEnablingAnalyzerAlphaCheckers.
When something is merged into Clang trunk, the expectation is that it will be production quality or will be worked on rapidly to get it to production quality, which is somewhat orthogonal to getting user feedback. I don't know that I have the full history of all of the alpha checks so my generalization may be inaccurate, but it seems like some of these checks were accepted as a WIP and the "progress" stopped for a long time with no one volunteering to remove the features from the analyzer.
Rename flag to allow-enabling-alpha-checks and removed the option from the clang-tidy file.
I think the premise is a bit off the mark. It's not that these are not for the common user -- it's that they're simply not ready for users at all.
But still, could you explain the use case and why a local modification of clang-tidy is not an option?
As Devin says (and as we discussed this with Anna Zaks) alpha checkers are still in development, so we don't want to expose them to the users, even very curious ones.
May 2 2018
Do you have some better choices?
Do you want the flag to be renamed?
Apr 27 2018
Am i understanding correctly that the new -enable-alpha-checks flag doesn't enable alpha checks, but it only allows enabling them with a separate command?
I'm curious about the use case for this, since I don't think it ever makes sense to run all the alpha checks at once. These checks are typically a work in progress (they're not finished yet) and often have false positives that haven't been fixed yet.
Apr 26 2018
So I ran this on clang/llvm code base and fixed some false positives.
So moving to core will require explicit casts in some of the tests, especially for things like: memcpy(a262.s1, input, -1). Or this could be moved to another section instead of core. In D45532 there is talk of adding a bugprone section. I think this would be good there.
Have you tried on any large codebases?
While I understand extending the analyzer to cover more is a good approach, there is -Wconversion which seemingly covers this -- or at least the trivial case(?):
Apr 25 2018
So I submitted my change to the ConversionChecker, instead.
Isn't this case already covered by conversion checker?
Apr 9 2018
This seems like it would be nice to have in bugprone-* as well.
Apr 3 2018
I have rebased.
Apr 2 2018
Is someone able to merge in my changes?
Mar 26 2018
Do you need someone to submit this for you?
So, I've added tests for class enums and bols.
Mar 23 2018
Mar 16 2018
As this patch can catch some mistakes, I'm fine with checking it in. I agree that it is reasonable to write normal code like sizeof(func_call()) (not false positive), maybe set the option to false by default?
I have reworded the documentation. Hopefully it is clearer.
Mar 15 2018
So I've updated the documentation on this. Are there any other updates needed for this to get it merged in?
Mar 9 2018
I don't have a script for it. I've used "bear" with at least some of those projects because they use makefiles rather than cmake (https://github.com/rizsotto/Bear). I'm not tied to those projects specifically, either, so if you have a different corpus you'd prefer to use, that's fine. The important bit is testing it across a considerable amount of C code and C++ code to see whether this diagnostic is too chatty or not.
Again, that only works for C++ and not C.
Mar 8 2018
If the return type of foo() is changed, then the use for s1 will be automatically updated
Can you point to some real world code that would benefit from this check?
How does this differ from misc-unused-raii?
Can you elaborate a bit more about this?
Mar 7 2018
Apr 6 2015
The difference is, the current diagnostics allow the user to figure out what
happened. This change does not -- there's no way to find out which 'f' caused
the problem, and how we got from 'f' to 'g'.
gives the user no idea of how we got from a call to f into a call to g.