Skip to content

M3-9-1: Exclude partially specialized variable templates #385

Closed

Description

@lcartey

Affected rules

  • M3-9-1
  • A2-10-4

Description

This query finds declaration entries which do not match, however it currently erroneously reports partially specialized template variables as having conflicting declarations.

Example

template <class, template <class...> class Template, class... P>
extern constexpr bool substitution_succeeds = false;

template <template <class...> class Template, class... P>
extern constexpr bool substitution_succeeds<void_t<Template<P...>>, Template, P...> = 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 Oct 4, 2023
  2. self-assigned this
    on Feb 13, 2024
  3. moved this from In Progress to Ready for review in Coding Standards Public Development Boardon Feb 13, 2024
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-Mediumfalse 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