-
Notifications
You must be signed in to change notification settings - Fork 68
Open
Labels
Difficulty-MediumA false positive or false negative report which is expected to take 1-5 days effort to addressA false positive or false negative report which is expected to take 1-5 days effort to addressImpact-MediumStandard-AUTOSARfalse positive/false negativeAn issue related to observed false positives or false negatives.An issue related to observed false positives or false negatives.user-reportIssue reported by an end user of CodeQL Coding StandardsIssue reported by an end user of CodeQL Coding Standards
Description
Affected rules
A0-1-1
(useless assignment)
Description
Constant expression used as non-type template parameter (NTTP) produces useless-assignment false positive. It can be reproduced with integer NTTP.
Example
#include <ratio>
int main() {
constexpr int one = 1; // True positive, this one is indeed unused (therefore, assignment is useless).
constexpr int thirteen = 13; // False positive, used in the second argument:
// it can be verified that main returns 13.
std::ratio<1, thirteen> ratio;
return ratio.den;
}
Both definitions of one
and thirteen
are alerted as unused on query cpp/autosar/src/rules/A0-1-1/UselessAssignment.ql
.
Metadata
Metadata
Assignees
Labels
Difficulty-MediumA false positive or false negative report which is expected to take 1-5 days effort to addressA false positive or false negative report which is expected to take 1-5 days effort to addressImpact-MediumStandard-AUTOSARfalse positive/false negativeAn issue related to observed false positives or false negatives.An issue related to observed false positives or false negatives.user-reportIssue reported by an end user of CodeQL Coding StandardsIssue reported by an end user of CodeQL Coding Standards
Type
Projects
Status
In Progress