Tag 'linter-like' quality queries that don't use pointsto

This commit is contained in:
Joe Farebrother
2025-06-18 10:23:25 +01:00
parent 869e33e38c
commit 4b1d31c976
14 changed files with 32 additions and 17 deletions

View File

@@ -3,8 +3,9 @@
* @description Nested loops in which the target variable is the same for each loop make
* the behavior of the loops difficult to understand.
* @kind problem
* @tags maintainability
* correctness
* @tags quality
* maintainability
* readability
* @problem.severity recommendation
* @sub-severity high
* @precision very-high