Skip to content

M0-1-3: Exclude uninstantiated variable templates #619

Closed

Description

@lcartey

Affected rules

  • M0-1-3

Description

Exclude variables from uninstantiated templates and compiler generated variables from this query.

Example

template <bool... Args>
extern constexpr bool all_of_v = true;

template <bool B1, bool... Args>
extern constexpr bool all_of_v<B1, Args...> = B1 && all_of_v<Args...>;

void test() {
  all_of_v<true,true,true>;
}

Activity

  1. added
    Difficulty-LowA false positive or false negative report which is expected to take <1 day effort to address
    false positive/false negativeAn issue related to observed false positives or false negatives.
    user-reportIssue reported by an end user of CodeQL Coding Standards
    on Jun 7, 2024
  2. self-assigned this
    on Jun 7, 2024
  3. moved this from In Progress to Ready for review in Coding Standards Public Development Boardon Jun 7, 2024
  4. moved this from Ready for review to Reviewed in Coding Standards Public Development Boardon Jun 24, 2024
  5. amtraders505-png commented on May 22, 2026

    @amtraders505-png

    Nice

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

Difficulty-LowA false positive or false negative report which is expected to take <1 day effort to addressImpact-MediumPhase IIIfalse positive/false negativeAn issue related to observed false positives or false negatives.user-reportIssue reported by an end user of CodeQL Coding Standards

Type

No type

Projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions