Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

C++: Support concept templates #18362

Merged
merged 4 commits into from
Jan 7, 2025
Merged

C++: Support concept templates #18362

merged 4 commits into from
Jan 7, 2025

Conversation

jketema
Copy link
Contributor

@jketema jketema commented Dec 23, 2024

Pull Request checklist

All query authors

Internal query authors only

  • Autofixes generated based on these changes are valid, only needed if this PR makes significant changes to .ql, .qll, or .qhelp files. See the documentation (internal access required).
  • Changes are validated at scale (internal access required).
  • Adding a new query? Consider also adding the query to autofix.

@jketema jketema added the depends on internal PR This PR should only be merged in sync with an internal Semmle PR label Dec 23, 2024
@jketema jketema force-pushed the jketema/template-parameters-4 branch 2 times, most recently from 36d52bf to 9037594 Compare December 24, 2024 22:01
@jketema jketema force-pushed the jketema/template-parameters-3 branch 2 times, most recently from 96bc406 to 94909ce Compare December 25, 2024 10:03
@jketema jketema force-pushed the jketema/template-parameters-4 branch from 9037594 to e236ce3 Compare December 25, 2024 10:05
@jketema jketema force-pushed the jketema/template-parameters-3 branch 2 times, most recently from 9f8a8c6 to 8e66019 Compare January 2, 2025 20:32
@jketema jketema force-pushed the jketema/template-parameters-4 branch 3 times, most recently from 2336e4e to c843bfa Compare January 3, 2025 20:16
Base automatically changed from jketema/template-parameters-3 to main January 6, 2025 12:41
@jketema jketema marked this pull request as ready for review January 6, 2025 12:47
@Copilot Copilot bot review requested due to automatic review settings January 6, 2025 12:47
@jketema jketema requested a review from a team as a code owner January 6, 2025 12:47

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Copilot reviewed 6 out of 11 changed files in this pull request and generated no comments.

Files not reviewed (5)
  • cpp/downgrades/68744d108e523bdac4e8562cf1aed0169aa69502/upgrade.properties: Language not supported
  • cpp/ql/lib/semmle/code/cpp/Concept.qll: Language not supported
  • cpp/ql/lib/semmle/code/cpp/Declaration.qll: Language not supported
  • cpp/ql/lib/semmlecode.cpp.dbscheme: Language not supported
  • cpp/ql/lib/upgrades/4813509d85b45ae17421c036905199f7324cf228/upgrade.properties: Language not supported

Tip: If you use Visual Studio Code, you can request a review from Copilot before you push from the "Source Control" tab. Learn more

int arg_type: @type ref
);
concept_template_argument_value(
int type_id: @concept ref,
Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
int type_id: @concept ref,
int concept_id: @concept ref,

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Fixed (through force push).

@jketema jketema force-pushed the jketema/template-parameters-4 branch from c843bfa to 0f5b70a Compare January 7, 2025 10:30
Copy link
Contributor

@calumgrant calumgrant left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM!

@jketema jketema merged commit 0258ce7 into main Jan 7, 2025
16 checks passed
@jketema jketema deleted the jketema/template-parameters-4 branch January 7, 2025 15:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
C++ depends on internal PR This PR should only be merged in sync with an internal Semmle PR documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants