Merge pull request #19508 from jketema/options

C++: Minor cleanup of qltest options
This commit is contained in:
Jeroen Ketema
2025-05-16 15:46:35 +02:00
committed by GitHub
3 changed files with 2 additions and 3 deletions

View File

@@ -7,4 +7,4 @@ struct Kiwi {
struct Lemon {
unsigned int __attribute__ ((vector_size (16))) lemon_x;
};
// semmle-extractor-options: -std=c99 --clang --edg --clang_vector_types --gnu_version 40700
// semmle-extractor-options: -std=c99 --clang --gnu_version 40700

View File

@@ -7,4 +7,4 @@ struct Kiwi {
struct Lemon {
signed int __attribute__ ((vector_size (16))) lemon_x;
};
// semmle-extractor-options: -std=c99 --clang --edg --clang_vector_types --gnu_version 40700
// semmle-extractor-options: -std=c99 --clang --gnu_version 40700

View File

@@ -1 +0,0 @@
semmle-extractor-options: --clang --edg --clang_builtin_functions --edg --clang_vector_types --gnu_version 40600