Skip to content

C++: Minor cleanup of qltest options #19508

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

Merged
merged 2 commits into from
May 16, 2025
Merged

C++: Minor cleanup of qltest options #19508

merged 2 commits into from
May 16, 2025

Conversation

jketema
Copy link
Contributor

@jketema jketema commented May 16, 2025

See individual commits for details.

jketema added 2 commits May 16, 2025 15:11
The types are already enabled through the specfied gcc version.
@github-actions github-actions bot added the C++ label May 16, 2025
@jketema jketema marked this pull request as ready for review May 16, 2025 13:25
@Copilot Copilot AI review requested due to automatic review settings May 16, 2025 13:25
@jketema jketema requested a review from a team as a code owner May 16, 2025 13:25
Copy link
Contributor

@Copilot Copilot AI left a comment

Choose a reason for hiding this comment

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

Pull Request Overview

This PR cleans up test extractor option comments by removing redundant flags and deleting an obsolete options file.

  • Deleted the vector_types/options extractor options file.
  • Stripped out --edg and --clang_vector_types flags from two C test files.

Reviewed Changes

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

File Description
cpp/ql/test/library-tests/vector_types/options Removed the dedicated extractor options file for vector types tests
cpp/ql/test/library-tests/structs/compatible_c/c2_gnu.c Dropped --edg and --clang_vector_types from the extractor options comment
cpp/ql/test/library-tests/structs/compatible_c/c1_gnu.c Dropped --edg and --clang_vector_types from the extractor options comment
Comments suppressed due to low confidence (3)

cpp/ql/test/library-tests/vector_types/options:1

  • Removing this options file also drops the --clang_vector_types flag needed to extract vector_size attributes; vector types tests may fail. Consider preserving the flag or adding it to the default extractor options.
-semmle-extractor-options: --clang --edg --clang_builtin_functions --edg --clang_vector_types --gnu_version 40600

cpp/ql/test/library-tests/structs/compatible_c/c2_gnu.c:10

  • The --clang_vector_types flag was removed but this test uses vector_size attributes; without it the extractor may not recognize vector types. Re-add --clang_vector_types to the extractor options.
// semmle-extractor-options: -std=c99 --clang --gnu_version 40700

cpp/ql/test/library-tests/structs/compatible_c/c1_gnu.c:10

  • The --clang_vector_types flag was removed but this test uses vector_size attributes; without it the extractor may not recognize vector types. Re-add --clang_vector_types to the extractor options.
// semmle-extractor-options: -std=c99 --clang --gnu_version 40700

Copy link
Contributor

@andersfugmann andersfugmann 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 5db797e into github:main May 16, 2025
9 checks passed
@jketema jketema deleted the options branch May 16, 2025 13:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants