[PATCH] D77461: [WIP][clang-tidy] Remove false positive in AvoidNonConstGlobalVariables
Kim Viggedal via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Tue Apr 14 08:00:08 PDT 2020
vingeldal updated this revision to Diff 257335.
vingeldal marked 3 inline comments as done.
vingeldal added a comment.
Moved previously added condition into the actual matcher.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D77461/new/
https://reviews.llvm.org/D77461
Files:
clang-tools-extra/clang-tidy/cppcoreguidelines/AvoidNonConstGlobalVariablesCheck.cpp
clang-tools-extra/test/clang-tidy/checkers/cppcoreguidelines-avoid-non-const-global-variables.cpp
Index: clang-tools-extra/test/clang-tidy/checkers/cppcoreguidelines-avoid-non-const-global-variables.cpp
===================================================================
--- clang-tools-extra/test/clang-tidy/checkers/cppcoreguidelines-avoid-non-const-global-variables.cpp
+++ clang-tools-extra/test/clang-tidy/checkers/cppcoreguidelines-avoid-non-const-global-variables.cpp
@@ -231,7 +231,8 @@
// CHECKING AGAINST FALSE POSITIVES INSIDE FUNCTION SCOPE /////////////////////
int main() {
for (int i = 0; i < 3; ++i) {
+ static int staticNonConstLoopVariable = 42;
int nonConstLoopVariable = 42;
- nonConstInt = nonConstLoopVariable + i;
+ nonConstInt = nonConstLoopVariable + i + staticNonConstLoopVariable;
}
}
Index: clang-tools-extra/clang-tidy/cppcoreguidelines/AvoidNonConstGlobalVariablesCheck.cpp
===================================================================
--- clang-tools-extra/clang-tidy/cppcoreguidelines/AvoidNonConstGlobalVariablesCheck.cpp
+++ clang-tools-extra/clang-tidy/cppcoreguidelines/AvoidNonConstGlobalVariablesCheck.cpp
@@ -17,11 +17,15 @@
namespace tidy {
namespace cppcoreguidelines {
+namespace {
+AST_MATCHER(VarDecl, isLocalVarDecl) { return Node.isLocalVarDecl(); }
+} // namespace
+
void AvoidNonConstGlobalVariablesCheck::registerMatchers(MatchFinder *Finder) {
auto GlobalVariable = varDecl(
hasGlobalStorage(),
unless(anyOf(
- isConstexpr(), hasType(isConstQualified()),
+ isLocalVarDecl(), isConstexpr(), hasType(isConstQualified()),
hasType(referenceType())))); // References can't be changed, only the
// data they reference can be changed.
@@ -45,11 +49,15 @@
if (const auto *Variable =
Result.Nodes.getNodeAs<VarDecl>("non-const_variable")) {
- diag(Variable->getLocation(), "variable %0 is non-const and globally "
- "accessible, consider making it const")
- << Variable; // FIXME: Add fix-it hint to Variable
- // Don't return early, a non-const variable may also be a pointer or
- // reference to non-const data.
+ // To avoid warning about local variables with global storage, like static
+ // variables in a function.
+ if (!Variable->isLocalVarDecl()) {
+ diag(Variable->getLocation(), "variable %0 is non-const and globally "
+ "accessible, consider making it const")
+ << Variable; // FIXME: Add fix-it hint to Variable
+ // Don't return early, a non-const variable may also be a pointer or
+ // reference to non-const data.
+ }
}
if (const auto *VD =
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D77461.257335.patch
Type: text/x-patch
Size: 2667 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20200414/a957f952/attachment-0001.bin>
More information about the cfe-commits
mailing list