Language 3 #264

jsinglet · 2023-03-22T15:40:51Z

Description

Implements Language 3.

Change request type

Release or process automation (GitHub workflows, internal scripts)
Internal documentation
External documentation
Query files (.ql, .qll, .qls or unit tests)
External scripts (analysis report or other code shipped as part of a release)

Rules with added or modified queries

No rules added
Queries have been added for the following rules:
- RULE-1-2
- RULE-1-3
Queries have been modified for the following rules:
- rule number here

Release change checklist

A change note (development_handbook.md#change-notes) is required for any pull request which modifies:

The structure or layout of the release artifacts.
The evaluation performance (memory, execution time) of an existing query.
The results of an existing query in any circumstance.

If you are only adding new rule queries, a change note is not required.

Author: Is a change note required?

Yes
No

🚨🚨🚨
Reviewer: Confirm that format of shared queries (not the .qll file, the
.ql file that imports it) is valid by running them within VS Code.

Confirmed

Reviewer: Confirm that either a change note is not required or the change note is required and has been added.

Confirmed

Query development review checklist

For PRs that add new queries or modify existing queries, the following checklist should be completed by both the author and reviewer:

Author

Have all the relevant rule package description files been checked in?
Have you verified that the metadata properties of each new query is set appropriately?
Do all the unit tests contain both "COMPLIANT" and "NON_COMPLIANT" cases?
Are the alert messages properly formatted and consistent with the style guide?
Have you run the queries on OpenPilot and verified that the performance and results are acceptable?
As a rule of thumb, predicates specific to the query should take no more than 1 minute, and for simple queries be under 10 seconds. If this is not the case, this should be highlighted and agreed in the code review process.
Does the query have an appropriate level of in-query comments/documentation?
Have you considered/identified possible edge cases?
Does the query not reinvent features in the standard library?
Can the query be simplified further (not golfed!)

Reviewer

Have all the relevant rule package description files been checked in?
Have you verified that the metadata properties of each new query is set appropriately?
Do all the unit tests contain both "COMPLIANT" and "NON_COMPLIANT" cases?
Are the alert messages properly formatted and consistent with the style guide?
Have you run the queries on OpenPilot and verified that the performance and results are acceptable?
As a rule of thumb, predicates specific to the query should take no more than 1 minute, and for simple queries be under 10 seconds. If this is not the case, this should be highlighted and agreed in the code review process.
Does the query have an appropriate level of in-query comments/documentation?
Have you considered/identified possible edge cases?
Does the query not reinvent features in the standard library?
Can the query be simplified further (not golfed!)

github-actions · 2023-03-22T15:41:11Z

🤖 Beep Boop! Matrix Testing for this PR has been initiated. Please check back later for results.

💡 If you do not hear back from me please check my status! I will report even if this PR does not contain files eligible for matrix testing.

jsinglet · 2023-03-22T15:42:15Z

🤖 Beep Boop! clang/cpp/X86_64 Matrix Testing for this PR has been completed but I didn't find anything to test!

jsinglet · 2023-03-22T15:42:15Z

🤖 Beep Boop! clang/c/X86_64 Matrix Testing for this PR has been completed but I didn't find anything to test!

jsinglet · 2023-03-22T15:42:19Z

🤖 Beep Boop! gcc/c/X86_64 Matrix Testing for this PR has been completed but I didn't find anything to test!

jsinglet · 2023-03-22T15:42:49Z

🤖 Beep Boop! gcc/cpp/X86_64 Matrix Testing for this PR has been completed but I didn't find anything to test!

jsinglet · 2023-03-22T15:43:45Z

🤖 Beep Boop! qcc/cpp/AARCH64LE Matrix Testing for this PR has been completed but I didn't find anything to test!

jsinglet · 2023-03-22T15:44:46Z

🤖 Beep Boop! qcc/c/AARCH64LE Matrix Testing for this PR has been completed but I didn't find anything to test!

jsinglet · 2023-03-22T15:45:00Z

🤖 Beep Boop! Matrix Testing for this PR has been completed. If no reports were posted it means this PR does not contain things that need matrix testing!

# Conflicts: # c/misra/src/rules/RULE-1-2/LanguageExtensionsShouldNotBeUsed.ql # c/misra/test/rules/RULE-1-2/LanguageExtensionsShouldNotBeUsed.expected # c/misra/test/rules/RULE-1-2/test.c # cpp/common/src/codingstandards/cpp/exclusions/c/Language2.qll # cpp/common/src/codingstandards/cpp/exclusions/c/RuleMetadata.qll # rule_packages/c/Language2.json # rules.csv

github-actions · 2023-03-22T15:55:05Z

🤖 Beep Boop! Matrix Testing for this PR has been initiated. Please check back later for results.

💡 If you do not hear back from me please check my status! I will report even if this PR does not contain files eligible for matrix testing.

github-actions · 2023-03-22T15:56:07Z

🤖 Beep Boop! Matrix Testing for this PR has been initiated. Please check back later for results.

💡 If you do not hear back from me please check my status! I will report even if this PR does not contain files eligible for matrix testing.

github-actions · 2023-03-22T15:56:17Z

🤖 Beep Boop! Matrix Testing for this PR has been initiated. Please check back later for results.

💡 If you do not hear back from me please check my status! I will report even if this PR does not contain files eligible for matrix testing.

github-actions · 2023-03-22T15:56:30Z

🤖 Beep Boop! Matrix Testing for this PR has been initiated. Please check back later for results.

💡 If you do not hear back from me please check my status! I will report even if this PR does not contain files eligible for matrix testing.

jsinglet · 2023-03-22T15:56:58Z

🤖 Beep Boop! clang/cpp/X86_64 Matrix Testing for this PR has been completed but I didn't find anything to test!

jsinglet · 2023-03-22T15:57:29Z

🤖 Beep Boop! gcc/c/X86_64 Matrix Testing for this PR has been completed. See below for the results!


QUERY                : LanguageExtensionsShouldNotBeUsed
TEST_DIFFERENCE      : 
TEST_PASS            : False
RULE                 : RULE-1-2
PACKAGE              : Language3
COMPILE_ERROR_OUTPUT : [2023-03-22 15:57:27] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:55:1: warning: 'ext_vector_type' attribute directive ignored [-Wattributes]
                       [2023-03-22 15:57:27] [build-stderr]  typedef float float4 __attribute__((ext_vector_type(4)));       // NON_COMPLIANT
                       [2023-03-22 15:57:27] [build-stderr]  ^~~~~~~
                       [2023-03-22 15:57:27] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:56:1: warning: 'ext_vector_type' attribute directive ignored [-Wattributes]
                       [2023-03-22 15:57:27] [build-stderr]  typedef float float2 __attribute__((ext_vector_type(2)));       // NON_COMPLIANT
                       [2023-03-22 15:57:27] [build-stderr]  ^~~~~~~
                       [2023-03-22 15:57:27] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c: In function 'gf8':
                       [2023-03-22 15:57:27] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:118:3: warning: implicit declaration of function 'typeof'; did you mean 'feof'? [-Wimplicit-function-declaration]
                       [2023-03-22 15:57:27] [build-stderr]    typeof(int *); // NON_COMPLIANT[FALSE_NEGATIVE]
                       [2023-03-22 15:57:27] [build-stderr]    ^~~~~~
                       [2023-03-22 15:57:27] [build-stderr]    feof
                       [2023-03-22 15:57:27] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:118:10: error: expected expression before 'int'
                       [2023-03-22 15:57:27] [build-stderr]    typeof(int *); // NON_COMPLIANT[FALSE_NEGATIVE]
                       [2023-03-22 15:57:27] [build-stderr]           ^~~
                       [2023-03-22 15:57:27] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c: At top level:
                       [2023-03-22 15:57:27] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:201:3: warning: backslash and newline separated by space
                       [2023-03-22 15:57:27] [build-stderr]    \
                       [2023-03-22 15:57:27] [build-stderr]     
                       [2023-03-22 15:57:27] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:269:1: warning: 'access' attribute directive ignored [-Wattributes]
                       [2023-03-22 15:57:27] [build-stderr]  gf30(const char *); // NON_COMPLIANT -- attributes are not portable.
                       [2023-03-22 15:57:27] [build-stderr]  ^~~~
                       [2023-03-22 15:57:27] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c: In function 'gf35':
                       [2023-03-22 15:57:27] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:296:12: warning: zero-length gnu_printf format string [-Wformat-zero-length]
                       [2023-03-22 15:57:27] [build-stderr]      printf("");
                       [2023-03-22 15:57:27] [build-stderr]             ^~
                       [2023-03-22 15:57:27] [ERROR] Spawned process exited abnormally (code 1; tried to run: [/__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql/tools/linux64/preload_tracer, gcc, -fsyntax-only, -std=c11, /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c])
                       
SUITE                : MISRA-C-2012
COMPILE_PASS         : False

QUERY                : OccurrenceOfUndefinedBehavior
TEST_DIFFERENCE      : 
TEST_PASS            : False
RULE                 : RULE-1-3
PACKAGE              : Language3
COMPILE_ERROR_OUTPUT : Exception calling "Join" with "2" argument(s): "Value cannot be null. (Parameter 'values')"
SUITE                : MISRA-C-2012
COMPILE_PASS         : False

jsinglet · 2023-03-22T15:57:31Z

🤖 Beep Boop! clang/c/X86_64 Matrix Testing for this PR has been completed. See below for the results!


COMPILE_ERROR_OUTPUT : [2023-03-22 15:57:29] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:68:5: warning: expression result unused [-Wunused-value]
                       [2023-03-22 15:57:29] [build-stderr]     z;
                       [2023-03-22 15:57:29] [build-stderr]     ^
                       [2023-03-22 15:57:29] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:118:3: warning: implicit declaration of function 'typeof' is invalid in C99 [-Wimplicit-function-declaration]
                       [2023-03-22 15:57:29] [build-stderr]   typeof(int *); // NON_COMPLIANT[FALSE_NEGATIVE]
                       [2023-03-22 15:57:29] [build-stderr]   ^
                       [2023-03-22 15:57:29] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:118:10: error: expected expression
                       [2023-03-22 15:57:29] [build-stderr]   typeof(int *); // NON_COMPLIANT[FALSE_NEGATIVE]
                       [2023-03-22 15:57:29] [build-stderr]          ^
                       [2023-03-22 15:57:29] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:133:3: warning: expression result unused [-Wunused-value]
                       [2023-03-22 15:57:29] [build-stderr]   __real__(0); // NON_COMPLIANT[FALSE_NEGATIVE]
                       [2023-03-22 15:57:29] [build-stderr]   ^       ~~~
                       [2023-03-22 15:57:29] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:134:3: warning: expression result unused [-Wunused-value]
                       [2023-03-22 15:57:29] [build-stderr]   __imag__(0); // NON_COMPLIANT[FALSE_NEGATIVE]
                       [2023-03-22 15:57:29] [build-stderr]   ^       ~~~
                       [2023-03-22 15:57:29] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:201:4: warning: backslash and newline separated by space [-Wbackslash-newline-escape]
                       [2023-03-22 15:57:29] [build-stderr]   \     
                       [2023-03-22 15:57:29] [build-stderr]    ^
                       [2023-03-22 15:57:29] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:268:16: warning: unknown attribute 'access' ignored [-Wunknown-attributes]
                       [2023-03-22 15:57:29] [build-stderr] __attribute__((access(read_only, 1))) int
                       [2023-03-22 15:57:29] [build-stderr]                ^
                       [2023-03-22 15:57:29] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:280:18: warning: 'cold' attribute only applies to functions [-Wignored-attributes]
                       [2023-03-22 15:57:29] [build-stderr]   __attribute__((cold, unused)); // NON_COMPLIANT
                       [2023-03-22 15:57:29] [build-stderr]                  ^
                       [2023-03-22 15:57:29] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:321:3: warning: expression result unused [-Wunused-value]
                       [2023-03-22 15:57:29] [build-stderr]   __alignof__(gf39v.x); // NON_COMPLIANT
                       [2023-03-22 15:57:29] [build-stderr]   ^~~~~~~~~~~~~~~~~~~~
                       [2023-03-22 15:57:29] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:351:3: warning: expression result unused [-Wunused-value]
                       [2023-03-22 15:57:29] [build-stderr]   __builtin_offsetof(struct gf43s, x); // NON_COMPLIANT
                       [2023-03-22 15:57:29] [build-stderr]   ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
                       [2023-03-22 15:57:29] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:368:30: warning: the semantics of this intrinsic changed with GCC version 4.4 - the newer semantics are provided here [-Wsync-fetch-and-nand-semantics-changed]
                       [2023-03-22 15:57:29] [build-stderr]   __sync_fetch_and_nand(&i, 0); // NON_COMPLIANT
                       [2023-03-22 15:57:29] [build-stderr]   ~~~~~~~~~~~~~~~~~~~~~      ^
                       [2023-03-22 15:57:29] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:374:30: warning: the semantics of this intrinsic changed with GCC version 4.4 - the newer semantics are provided here [-Wsync-fetch-and-nand-semantics-changed]
                       [2023-03-22 15:57:29] [build-stderr]   __sync_nand_and_fetch(&i, 0); // NON_COMPLIANT
                       [2023-03-22 15:57:29] [build-stderr]   ~~~~~~~~~~~~~~~~~~~~~      ^
                       [2023-03-22 15:57:29] [build-stderr] 11 warnings and 1 error generated.
                       [2023-03-22 15:57:29] [ERROR] Spawned process exited abnormally (code 1; tried to run: [/__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql/tools/linux64/preload_tracer, clang, -fsyntax-only, -std=c11, /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c])
                       
TEST_PASS            : False
SUITE                : MISRA-C-2012
TEST_DIFFERENCE      : 
RULE                 : RULE-1-2
PACKAGE              : Language3
COMPILE_PASS         : False
QUERY                : LanguageExtensionsShouldNotBeUsed

COMPILE_ERROR_OUTPUT : Exception calling "Join" with "2" argument(s): "Value cannot be null. (Parameter 'values')"
TEST_PASS            : False
SUITE                : MISRA-C-2012
TEST_DIFFERENCE      : 
RULE                 : RULE-1-3
PACKAGE              : Language3
COMPILE_PASS         : False
QUERY                : OccurrenceOfUndefinedBehavior

jsinglet · 2023-03-22T15:58:12Z

🤖 Beep Boop! clang/c/X86_64 Matrix Testing for this PR has been completed. See below for the results!


RULE                 : RULE-1-2
PACKAGE              : Language3
TEST_PASS            : False
QUERY                : LanguageExtensionsShouldNotBeUsed
COMPILE_ERROR_OUTPUT : [2023-03-22 15:58:10] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:68:5: warning: expression result unused [-Wunused-value]
                       [2023-03-22 15:58:10] [build-stderr]     z;
                       [2023-03-22 15:58:10] [build-stderr]     ^
                       [2023-03-22 15:58:10] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:118:3: warning: implicit declaration of function 'typeof' is invalid in C99 [-Wimplicit-function-declaration]
                       [2023-03-22 15:58:10] [build-stderr]   typeof(int *); // NON_COMPLIANT[FALSE_NEGATIVE]
                       [2023-03-22 15:58:10] [build-stderr]   ^
                       [2023-03-22 15:58:10] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:118:10: error: expected expression
                       [2023-03-22 15:58:10] [build-stderr]   typeof(int *); // NON_COMPLIANT[FALSE_NEGATIVE]
                       [2023-03-22 15:58:10] [build-stderr]          ^
                       [2023-03-22 15:58:10] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:133:3: warning: expression result unused [-Wunused-value]
                       [2023-03-22 15:58:10] [build-stderr]   __real__(0); // NON_COMPLIANT[FALSE_NEGATIVE]
                       [2023-03-22 15:58:10] [build-stderr]   ^       ~~~
                       [2023-03-22 15:58:10] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:134:3: warning: expression result unused [-Wunused-value]
                       [2023-03-22 15:58:10] [build-stderr]   __imag__(0); // NON_COMPLIANT[FALSE_NEGATIVE]
                       [2023-03-22 15:58:10] [build-stderr]   ^       ~~~
                       [2023-03-22 15:58:10] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:201:4: warning: backslash and newline separated by space [-Wbackslash-newline-escape]
                       [2023-03-22 15:58:10] [build-stderr]   \     
                       [2023-03-22 15:58:10] [build-stderr]    ^
                       [2023-03-22 15:58:10] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:268:16: warning: unknown attribute 'access' ignored [-Wunknown-attributes]
                       [2023-03-22 15:58:10] [build-stderr] __attribute__((access(read_only, 1))) int
                       [2023-03-22 15:58:10] [build-stderr]                ^
                       [2023-03-22 15:58:10] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:280:18: warning: 'cold' attribute only applies to functions [-Wignored-attributes]
                       [2023-03-22 15:58:10] [build-stderr]   __attribute__((cold, unused)); // NON_COMPLIANT
                       [2023-03-22 15:58:10] [build-stderr]                  ^
                       [2023-03-22 15:58:10] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:321:3: warning: expression result unused [-Wunused-value]
                       [2023-03-22 15:58:10] [build-stderr]   __alignof__(gf39v.x); // NON_COMPLIANT
                       [2023-03-22 15:58:10] [build-stderr]   ^~~~~~~~~~~~~~~~~~~~
                       [2023-03-22 15:58:10] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:351:3: warning: expression result unused [-Wunused-value]
                       [2023-03-22 15:58:10] [build-stderr]   __builtin_offsetof(struct gf43s, x); // NON_COMPLIANT
                       [2023-03-22 15:58:10] [build-stderr]   ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
                       [2023-03-22 15:58:10] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:368:30: warning: the semantics of this intrinsic changed with GCC version 4.4 - the newer semantics are provided here [-Wsync-fetch-and-nand-semantics-changed]
                       [2023-03-22 15:58:10] [build-stderr]   __sync_fetch_and_nand(&i, 0); // NON_COMPLIANT
                       [2023-03-22 15:58:10] [build-stderr]   ~~~~~~~~~~~~~~~~~~~~~      ^
                       [2023-03-22 15:58:10] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:374:30: warning: the semantics of this intrinsic changed with GCC version 4.4 - the newer semantics are provided here [-Wsync-fetch-and-nand-semantics-changed]
                       [2023-03-22 15:58:10] [build-stderr]   __sync_nand_and_fetch(&i, 0); // NON_COMPLIANT
                       [2023-03-22 15:58:10] [build-stderr]   ~~~~~~~~~~~~~~~~~~~~~      ^
                       [2023-03-22 15:58:10] [build-stderr] 11 warnings and 1 error generated.
                       [2023-03-22 15:58:10] [ERROR] Spawned process exited abnormally (code 1; tried to run: [/__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql/tools/linux64/preload_tracer, clang, -fsyntax-only, -std=c11, /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c])
                       
COMPILE_PASS         : False
TEST_DIFFERENCE      : 
SUITE                : MISRA-C-2012

RULE                 : RULE-1-3
PACKAGE              : Language3
TEST_PASS            : False
QUERY                : OccurrenceOfUndefinedBehavior
COMPILE_ERROR_OUTPUT : Exception calling "Join" with "2" argument(s): "Value cannot be null. (Parameter 'values')"
COMPILE_PASS         : False
TEST_DIFFERENCE      : 
SUITE                : MISRA-C-2012

jsinglet · 2023-03-22T15:58:14Z

🤖 Beep Boop! gcc/c/X86_64 Matrix Testing for this PR has been completed. See below for the results!


TEST_DIFFERENCE      : 
PACKAGE              : Language3
COMPILE_PASS         : False
QUERY                : LanguageExtensionsShouldNotBeUsed
TEST_PASS            : False
COMPILE_ERROR_OUTPUT : [2023-03-22 15:58:12] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:55:1: warning: 'ext_vector_type' attribute directive ignored [-Wattributes]
                       [2023-03-22 15:58:12] [build-stderr]  typedef float float4 __attribute__((ext_vector_type(4)));       // NON_COMPLIANT
                       [2023-03-22 15:58:12] [build-stderr]  ^~~~~~~
                       [2023-03-22 15:58:12] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:56:1: warning: 'ext_vector_type' attribute directive ignored [-Wattributes]
                       [2023-03-22 15:58:12] [build-stderr]  typedef float float2 __attribute__((ext_vector_type(2)));       // NON_COMPLIANT
                       [2023-03-22 15:58:12] [build-stderr]  ^~~~~~~
                       [2023-03-22 15:58:12] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c: In function 'gf8':
                       [2023-03-22 15:58:12] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:118:3: warning: implicit declaration of function 'typeof'; did you mean 'feof'? [-Wimplicit-function-declaration]
                       [2023-03-22 15:58:12] [build-stderr]    typeof(int *); // NON_COMPLIANT[FALSE_NEGATIVE]
                       [2023-03-22 15:58:12] [build-stderr]    ^~~~~~
                       [2023-03-22 15:58:12] [build-stderr]    feof
                       [2023-03-22 15:58:12] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:118:10: error: expected expression before 'int'
                       [2023-03-22 15:58:12] [build-stderr]    typeof(int *); // NON_COMPLIANT[FALSE_NEGATIVE]
                       [2023-03-22 15:58:12] [build-stderr]           ^~~
                       [2023-03-22 15:58:12] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c: At top level:
                       [2023-03-22 15:58:12] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:201:3: warning: backslash and newline separated by space
                       [2023-03-22 15:58:12] [build-stderr]    \
                       [2023-03-22 15:58:12] [build-stderr]     
                       [2023-03-22 15:58:12] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:269:1: warning: 'access' attribute directive ignored [-Wattributes]
                       [2023-03-22 15:58:12] [build-stderr]  gf30(const char *); // NON_COMPLIANT -- attributes are not portable.
                       [2023-03-22 15:58:12] [build-stderr]  ^~~~
                       [2023-03-22 15:58:12] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c: In function 'gf35':
                       [2023-03-22 15:58:12] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:296:12: warning: zero-length gnu_printf format string [-Wformat-zero-length]
                       [2023-03-22 15:58:12] [build-stderr]      printf("");
                       [2023-03-22 15:58:12] [build-stderr]             ^~
                       [2023-03-22 15:58:12] [ERROR] Spawned process exited abnormally (code 1; tried to run: [/__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql/tools/linux64/preload_tracer, gcc, -fsyntax-only, -std=c11, /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c])
                       
SUITE                : MISRA-C-2012
RULE                 : RULE-1-2

TEST_DIFFERENCE      : 
PACKAGE              : Language3
COMPILE_PASS         : False
QUERY                : OccurrenceOfUndefinedBehavior
TEST_PASS            : False
COMPILE_ERROR_OUTPUT : Exception calling "Join" with "2" argument(s): "Value cannot be null. (Parameter 'values')"
SUITE                : MISRA-C-2012
RULE                 : RULE-1-3

jsinglet · 2023-03-22T15:58:38Z

🤖 Beep Boop! clang/cpp/X86_64 Matrix Testing for this PR has been completed but I didn't find anything to test!

jsinglet · 2023-03-22T15:58:38Z

🤖 Beep Boop! qcc/cpp/AARCH64LE Matrix Testing for this PR has been completed but I didn't find anything to test!

jsinglet · 2023-03-23T17:45:03Z

🤖 Beep Boop! gcc/c/X86_64 Matrix Testing for this PR has been completed. See below for the results!


SUITE                : MISRA-C-2012
TEST_PASS            : False
COMPILE_PASS         : False
RULE                 : RULE-1-2
PACKAGE              : Language3
TEST_DIFFERENCE      : 
QUERY                : LanguageExtensionsShouldNotBeUsed
COMPILE_ERROR_OUTPUT : [2023-03-23 17:44:25] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:55:1: warning: 'ext_vector_type' attribute directive ignored [-Wattributes]
                       [2023-03-23 17:44:25] [build-stderr]  typedef float float4 __attribute__((ext_vector_type(4)));       // NON_COMPLIANT
                       [2023-03-23 17:44:25] [build-stderr]  ^~~~~~~
                       [2023-03-23 17:44:25] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:56:1: warning: 'ext_vector_type' attribute directive ignored [-Wattributes]
                       [2023-03-23 17:44:25] [build-stderr]  typedef float float2 __attribute__((ext_vector_type(2)));       // NON_COMPLIANT
                       [2023-03-23 17:44:25] [build-stderr]  ^~~~~~~
                       [2023-03-23 17:44:25] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c: In function 'gf8':
                       [2023-03-23 17:44:25] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:118:3: warning: implicit declaration of function 'typeof'; did you mean 'feof'? [-Wimplicit-function-declaration]
                       [2023-03-23 17:44:25] [build-stderr]    typeof(int *); // NON_COMPLIANT[FALSE_NEGATIVE]
                       [2023-03-23 17:44:25] [build-stderr]    ^~~~~~
                       [2023-03-23 17:44:25] [build-stderr]    feof
                       [2023-03-23 17:44:25] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:118:10: error: expected expression before 'int'
                       [2023-03-23 17:44:25] [build-stderr]    typeof(int *); // NON_COMPLIANT[FALSE_NEGATIVE]
                       [2023-03-23 17:44:25] [build-stderr]           ^~~
                       [2023-03-23 17:44:25] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c: At top level:
                       [2023-03-23 17:44:25] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:201:3: warning: backslash and newline separated by space
                       [2023-03-23 17:44:25] [build-stderr]    \
                       [2023-03-23 17:44:25] [build-stderr]     
                       [2023-03-23 17:44:25] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:269:1: warning: 'access' attribute directive ignored [-Wattributes]
                       [2023-03-23 17:44:25] [build-stderr]  gf30(const char *); // NON_COMPLIANT -- attributes are not portable.
                       [2023-03-23 17:44:25] [build-stderr]  ^~~~
                       [2023-03-23 17:44:25] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c: In function 'gf35':
                       [2023-03-23 17:44:25] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:296:12: warning: zero-length gnu_printf format string [-Wformat-zero-length]
                       [2023-03-23 17:44:25] [build-stderr]      printf("");
                       [2023-03-23 17:44:25] [build-stderr]             ^~
                       [2023-03-23 17:44:25] [ERROR] Spawned process exited abnormally (code 1; tried to run: [/__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql/tools/linux64/preload_tracer, gcc, -fsyntax-only, -std=c11, /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c])
                       

SUITE                : MISRA-C-2012
TEST_PASS            : True
COMPILE_PASS         : True
RULE                 : RULE-1-3
PACKAGE              : Language3
TEST_DIFFERENCE      : 
QUERY                : OccurrenceOfUndefinedBehavior
COMPILE_ERROR_OUTPUT :

jsinglet · 2023-03-23T17:47:03Z

🤖 Beep Boop! gcc/cpp/X86_64 Matrix Testing for this PR has been completed but I didn't find anything to test!

jsinglet · 2023-03-23T17:47:04Z

🤖 Beep Boop! qcc/cpp/AARCH64LE Matrix Testing for this PR has been completed but I didn't find anything to test!

jsinglet · 2023-03-23T17:49:13Z

🤖 Beep Boop! qcc/c/AARCH64LE Matrix Testing for this PR has been completed. See below for the results!


QUERY                : LanguageExtensionsShouldNotBeUsed
COMPILE_ERROR_OUTPUT : [2023-03-23 17:48:37] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:55:1: warning: 'ext_vector_type' attribute directive ignored [-Wattributes]
                       [2023-03-23 17:48:37] [build-stderr]  typedef float float4 __attribute__((ext_vector_type(4)));       // NON_COMPLIANT
                       [2023-03-23 17:48:37] [build-stderr]  ^~~~~~~
                       [2023-03-23 17:48:37] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:56:1: warning: 'ext_vector_type' attribute directive ignored [-Wattributes]
                       [2023-03-23 17:48:37] [build-stderr]  typedef float float2 __attribute__((ext_vector_type(2)));       // NON_COMPLIANT
                       [2023-03-23 17:48:37] [build-stderr]  ^~~~~~~
                       [2023-03-23 17:48:37] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c: In function 'gf8':
                       [2023-03-23 17:48:37] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:118:3: warning: implicit declaration of function 'typeof'; did you mean 'feof'? [-Wimplicit-function-declaration]
                       [2023-03-23 17:48:37] [build-stderr]    typeof(int *); // NON_COMPLIANT[FALSE_NEGATIVE]
                       [2023-03-23 17:48:37] [build-stderr]    ^~~~~~
                       [2023-03-23 17:48:37] [build-stderr]    feof
                       [2023-03-23 17:48:37] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:118:10: error: expected expression before 'int'
                       [2023-03-23 17:48:37] [build-stderr]    typeof(int *); // NON_COMPLIANT[FALSE_NEGATIVE]
                       [2023-03-23 17:48:37] [build-stderr]           ^~~
                       [2023-03-23 17:48:37] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c: At top level:
                       [2023-03-23 17:48:37] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:201:3: warning: backslash and newline separated by space
                       [2023-03-23 17:48:37] [build-stderr]    \
                       [2023-03-23 17:48:37] [build-stderr]     
                       [2023-03-23 17:48:37] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:269:1: warning: 'access' attribute directive ignored [-Wattributes]
                       [2023-03-23 17:48:37] [build-stderr]  gf30(const char *); // NON_COMPLIANT -- attributes are not portable.
                       [2023-03-23 17:48:37] [build-stderr]  ^~~~
                       [2023-03-23 17:48:37] [ERROR] Spawned process exited abnormally (code 1; tried to run: [/__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql/tools/linux64/preload_tracer, qcc, -V8.3.0, -Wc,-fsyntax-only, -c, -nopipe, -std=c11, -Vgcc_ntoaarch64le, /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c])
                       
PACKAGE              : Language3
RULE                 : RULE-1-2
TEST_PASS            : False
COMPILE_PASS         : False
SUITE                : MISRA-C-2012
TEST_DIFFERENCE      : 

QUERY                : OccurrenceOfUndefinedBehavior
COMPILE_ERROR_OUTPUT : 
PACKAGE              : Language3
RULE                 : RULE-1-3
TEST_PASS            : True
COMPILE_PASS         : True
SUITE                : MISRA-C-2012
TEST_DIFFERENCE      :

jsinglet · 2023-03-23T19:49:51Z

🏁 Beep Boop! Performance testing complete! See below for performance of the last 3 runs vs your PR. Times are based on predicate performance. You can find full graphs and stats in the PR that was created for this test in the release engineering repo.


Release                            : v2.14.0
Platform                           : x86-linux
Language                           : c
Total_Serialized_Execution_Time_Ms : 2886922
Mean_Predicate_Execution_Time_Ms   : 108.65344373353406
Median_Predicate_Execution_Time_Ms : 2.0
Standard_Deviation_Ms              : 1783.906509131339
Total_Serialized_Execution_Time_s  : 2886.922
Mean_Query_Execution_Time_s        : 0.108653443733534
Median_Predicate_Execution_Time_s  : 0.002
Percentile95_Ms                    : 237.0
Number_of_Predicates               : 26570

Release                            : v2.14.0
Platform                           : x86-windows
Language                           : cpp
Total_Serialized_Execution_Time_Ms : 4498723
Mean_Predicate_Execution_Time_Ms   : 112.41186906546729
Median_Predicate_Execution_Time_Ms : 3.0
Standard_Deviation_Ms              : 1841.844021324711
Total_Serialized_Execution_Time_s  : 4498.723
Mean_Query_Execution_Time_s        : 0.1124118690654672
Median_Predicate_Execution_Time_s  : 0.003
Percentile95_Ms                    : 224.0
Number_of_Predicates               : 40020

Release                            : v2.14.0
Platform                           : x86-windows
Language                           : c
Total_Serialized_Execution_Time_Ms : 3330223
Mean_Predicate_Execution_Time_Ms   : 125.4557543793558
Median_Predicate_Execution_Time_Ms : 4.0
Standard_Deviation_Ms              : 2125.712933594389
Total_Serialized_Execution_Time_s  : 3330.223
Mean_Query_Execution_Time_s        : 0.1254557543793558
Median_Predicate_Execution_Time_s  : 0.004
Percentile95_Ms                    : 271.0
Number_of_Predicates               : 26545

Release                            : v2.14.0
Platform                           : x86-linux
Language                           : cpp
Total_Serialized_Execution_Time_Ms : 3910243
Mean_Predicate_Execution_Time_Ms   : 97.5706906876934
Median_Predicate_Execution_Time_Ms : 2.0
Standard_Deviation_Ms              : 1583.9926359710646
Total_Serialized_Execution_Time_s  : 3910.243
Mean_Query_Execution_Time_s        : 0.0975706906876933
Median_Predicate_Execution_Time_s  : 0.002
Percentile95_Ms                    : 200.0
Number_of_Predicates               : 40076

Release                            : v2.15.1
Platform                           : x86-windows
Language                           : c
Total_Serialized_Execution_Time_Ms : 3624097
Mean_Predicate_Execution_Time_Ms   : 128.26845756353083
Median_Predicate_Execution_Time_Ms : 3.0
Standard_Deviation_Ms              : 2122.113492946546
Total_Serialized_Execution_Time_s  : 3624.097
Mean_Query_Execution_Time_s        : 0.1282684575635308
Median_Predicate_Execution_Time_s  : 0.003
Percentile95_Ms                    : 247.34999999999852
Number_of_Predicates               : 28254

Release                            : v2.15.1
Platform                           : x86-linux
Language                           : cpp
Total_Serialized_Execution_Time_Ms : 3838315
Mean_Predicate_Execution_Time_Ms   : 93.4146608581372
Median_Predicate_Execution_Time_Ms : 2.0
Standard_Deviation_Ms              : 1435.040141045132
Total_Serialized_Execution_Time_s  : 3838.315
Mean_Query_Execution_Time_s        : 0.0934146608581372
Median_Predicate_Execution_Time_s  : 0.002
Percentile95_Ms                    : 189.0
Number_of_Predicates               : 41089

Release                            : v2.15.1
Platform                           : x86-linux
Language                           : c
Total_Serialized_Execution_Time_Ms : 3256343
Mean_Predicate_Execution_Time_Ms   : 114.97980297305888
Median_Predicate_Execution_Time_Ms : 2.0
Standard_Deviation_Ms              : 1853.6432397269127
Total_Serialized_Execution_Time_s  : 3256.343
Mean_Query_Execution_Time_s        : 0.1149798029730588
Median_Predicate_Execution_Time_s  : 0.002
Percentile95_Ms                    : 224.0
Number_of_Predicates               : 28321

Release                            : v2.15.1
Platform                           : x86-windows
Language                           : cpp
Total_Serialized_Execution_Time_Ms : 4293575
Mean_Predicate_Execution_Time_Ms   : 105.51398309249976
Median_Predicate_Execution_Time_Ms : 2.0
Standard_Deviation_Ms              : 1651.868425630411
Total_Serialized_Execution_Time_s  : 4293.575
Mean_Query_Execution_Time_s        : 0.1055139830924997
Median_Predicate_Execution_Time_s  : 0.002
Percentile95_Ms                    : 213.0
Number_of_Predicates               : 40692

Release                            : 264
Platform                           : x86-linux
Language                           : cpp
Total_Serialized_Execution_Time_Ms : 3932753
Mean_Predicate_Execution_Time_Ms   : 96.1435765798802
Median_Predicate_Execution_Time_Ms : 2.0
Standard_Deviation_Ms              : 1459.9114430228865
Total_Serialized_Execution_Time_s  : 3932.753
Mean_Query_Execution_Time_s        : 0.0961435765798802
Median_Predicate_Execution_Time_s  : 0.002
Percentile95_Ms                    : 193.0
Number_of_Predicates               : 40905

Release                            : 264
Platform                           : x86-linux
Language                           : c
Total_Serialized_Execution_Time_Ms : 3179728
Mean_Predicate_Execution_Time_Ms   : 112.353909755839
Median_Predicate_Execution_Time_Ms : 2.0
Standard_Deviation_Ms              : 1816.173283840028
Total_Serialized_Execution_Time_s  : 3179.728
Mean_Query_Execution_Time_s        : 0.112353909755839
Median_Predicate_Execution_Time_s  : 0.002
Percentile95_Ms                    : 221.0
Number_of_Predicates               : 28301

🏁 Below are the slowest predicates for the last 2 releases vs this PR.


Release           : v2.15.1
Run               : 2023-03-17_19-54-48
Platform          : x86-windows
Language          : cpp
Suite             : cert-default
Predicate         : SSAConstruction#2b11997e::PhiInsertion::definitionHasRedefinition#3#fff
Execution_Time_Ms : 33622

Release           : v2.15.1
Run               : 2023-03-17_19-54-48
Platform          : x86-windows
Language          : cpp
Suite             : autosar-default
Predicate         : SSAConstruction#2b11997e::DefUse::hasNonPhiDefinition#4#ffff
Execution_Time_Ms : 35318

Release           : v2.15.1
Run               : 2023-03-17_19-54-48
Platform          : x86-linux
Language          : c
Suite             : misra-default
Predicate         : #select#cpe#134#fff#shared
Execution_Time_Ms : 137522

Release           : v2.15.1
Run               : 2023-03-17_19-54-48
Platform          : x86-windows
Language          : cpp
Suite             : autosar-default
Predicate         : UnusedIncludeDirectives#574b69bc::getANonLocalDependency#1#ff
Execution_Time_Ms : 35530

Release           : v2.15.1
Run               : 2023-03-17_19-54-48
Platform          : x86-windows
Language          : cpp
Suite             : autosar-default
Predicate         : m##DataFlowUtil#7572fbec::localFlowStep#2Plus#bf
Execution_Time_Ms : 187498

Release           : v2.15.1
Run               : 2023-03-17_19-54-48
Platform          : x86-windows
Language          : cpp
Suite             : autosar-default
Predicate         : Dependency#b0c9183e::dependsOnTransitive#2#ff
Execution_Time_Ms : 218676

Release           : v2.15.1
Run               : 2023-03-17_19-54-48
Platform          : x86-linux
Language          : c
Suite             : misra-default
Predicate         : #select#ff#antijoin_rhs
Execution_Time_Ms : 214162

Release           : v2.15.1
Run               : 2023-03-17_19-54-48
Platform          : x86-windows
Language          : c
Suite             : misra-default
Predicate         : RepeatedInitializationOfAggregateObjectElement#76b22bdc::hasMultipleInitializerExprsForSameField#2#ff
Execution_Time_Ms : 66623

Release           : v2.15.1
Run               : 2023-03-17_19-54-48
Platform          : x86-windows
Language          : c
Suite             : misra-default
Predicate         : RepeatedInitializationOfAggregateObjectElement#76b22bdc::hasMultipleInitializerExprsForSameIndexInternal#4#ffff#join_rhs
Execution_Time_Ms : 68295

Release           : v2.15.1
Run               : 2023-03-17_19-54-48
Platform          : x86-windows
Language          : c
Suite             : misra-default
Predicate         : #select#cpe#134#fff#shared
Execution_Time_Ms : 167904

Release           : v2.15.1
Run               : 2023-03-17_19-54-48
Platform          : x86-windows
Language          : c
Suite             : misra-default
Predicate         : #select#ff#antijoin_rhs
Execution_Time_Ms : 247019

Release           : v2.15.1
Run               : 2023-03-17_19-54-48
Platform          : x86-windows
Language          : c
Suite             : misra-default
Predicate         : #select#cpe#134#fff#antijoin_rhs
Execution_Time_Ms : 66032

Release           : v2.15.1
Run               : 2023-03-17_19-54-48
Platform          : x86-linux
Language          : cpp
Suite             : autosar-default
Predicate         : UnusedIncludeDirectives#574b69bc::getANonLocalDependency#1#ff
Execution_Time_Ms : 30539

Release           : v2.15.1
Run               : 2023-03-17_19-54-48
Platform          : x86-linux
Language          : cpp
Suite             : autosar-default
Predicate         : PreProcessorShallOnlyBeUsedForCertainDirectivesPatterns#32e68f1c::getAGuard#1#ff
Execution_Time_Ms : 34411

Release           : v2.15.1
Run               : 2023-03-17_19-54-48
Platform          : x86-linux
Language          : cpp
Suite             : autosar-default
Predicate         : Dependency#b0c9183e::dependsOnTransitive#2#ff
Execution_Time_Ms : 176681

Release           : v2.15.1
Run               : 2023-03-17_19-54-48
Platform          : x86-linux
Language          : cpp
Suite             : autosar-default
Predicate         : m##DataFlowUtil#7572fbec::localFlowStep#2Plus#bf
Execution_Time_Ms : 177379

Release           : v2.15.1
Run               : 2023-03-17_19-54-48
Platform          : x86-linux
Language          : c
Suite             : misra-default
Predicate         : RepeatedInitializationOfAggregateObjectElement#76b22bdc::hasMultipleInitializerExprsForSameIndexInternal#4#ffff#join_rhs
Execution_Time_Ms : 59007

Release           : v2.15.1
Run               : 2023-03-17_19-54-48
Platform          : x86-linux
Language          : c
Suite             : misra-default
Predicate         : #select#cpe#134#fff#antijoin_rhs
Execution_Time_Ms : 63343

Release           : v2.15.1
Run               : 2023-03-17_19-54-48
Platform          : x86-linux
Language          : c
Suite             : misra-default
Predicate         : RepeatedInitializationOfAggregateObjectElement#76b22bdc::hasMultipleInitializerExprsForSameField#2#ff
Execution_Time_Ms : 68001

Release           : v2.15.1
Run               : 2023-03-17_19-54-48
Platform          : x86-linux
Language          : cpp
Suite             : autosar-default
Predicate         : UnionsUsed#8fe78116::TaggedUnion#f#count_range
Execution_Time_Ms : 29742

Release           : 264
Run               : 2023-03-23_17-45-23
Platform          : x86-linux
Language          : c
Suite             : misra-default
Predicate         : #select#cpe#134#fff#shared
Execution_Time_Ms : 142468

Release           : 264
Run               : 2023-03-23_17-45-23
Platform          : x86-linux
Language          : c
Suite             : misra-default
Predicate         : RepeatedInitializationOfAggregateObjectElement#76b22bdc::hasMultipleInitializerExprsForSameField#2#ff
Execution_Time_Ms : 63745

Release           : 264
Run               : 2023-03-23_17-45-23
Platform          : x86-linux
Language          : c
Suite             : misra-default
Predicate         : #select#cpe#134#fff#antijoin_rhs
Execution_Time_Ms : 62991

Release           : 264
Run               : 2023-03-23_17-45-23
Platform          : x86-linux
Language          : c
Suite             : misra-default
Predicate         : RepeatedInitializationOfAggregateObjectElement#76b22bdc::hasMultipleInitializerExprsForSameIndexInternal#4#ffff#join_rhs
Execution_Time_Ms : 56940

Release           : 264
Run               : 2023-03-23_17-45-23
Platform          : x86-linux
Language          : cpp
Suite             : autosar-default
Predicate         : UnusedIncludeDirectives#574b69bc::getANonLocalDependency#1#ff
Execution_Time_Ms : 31849

Release           : 264
Run               : 2023-03-23_17-45-23
Platform          : x86-linux
Language          : cpp
Suite             : autosar-default
Predicate         : m##DataFlowUtil#7572fbec::localFlowStep#2Plus#bf
Execution_Time_Ms : 170885

Release           : 264
Run               : 2023-03-23_17-45-23
Platform          : x86-linux
Language          : cpp
Suite             : autosar-default
Predicate         : PreProcessorShallOnlyBeUsedForCertainDirectivesPatterns#32e68f1c::getAGuard#1#ff
Execution_Time_Ms : 33142

Release           : 264
Run               : 2023-03-23_17-45-23
Platform          : x86-linux
Language          : cpp
Suite             : cert-default
Predicate         : SSAConstruction#2b11997e::DefUse::hasNonPhiDefinition#4#ffff
Execution_Time_Ms : 30201

Release           : 264
Run               : 2023-03-23_17-45-23
Platform          : x86-linux
Language          : cpp
Suite             : autosar-default
Predicate         : Dependency#b0c9183e::dependsOnTransitive#2#ff
Execution_Time_Ms : 186453

Release           : 264
Run               : 2023-03-23_17-45-23
Platform          : x86-linux
Language          : c
Suite             : misra-default
Predicate         : #select#ff#antijoin_rhs
Execution_Time_Ms : 207594

mbaluda

It covers a lot, and the limitations are in the implementation notes... LGTM!

github-actions · 2023-03-23T20:33:11Z

🤖 Beep Boop! Matrix Testing for this PR has been initiated. Please check back later for results.

💡 If you do not hear back from me please check my status! I will report even if this PR does not contain files eligible for matrix testing.

jsinglet · 2023-03-23T20:34:39Z

🤖 Beep Boop! clang/c/X86_64 Matrix Testing for this PR has been completed. See below for the results!


COMPILE_ERROR_OUTPUT : [2023-03-23 20:34:35] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:68:5: warning: expression result unused [-Wunused-value]
                       [2023-03-23 20:34:35] [build-stderr]     z;
                       [2023-03-23 20:34:35] [build-stderr]     ^
                       [2023-03-23 20:34:35] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:118:3: warning: implicit declaration of function 'typeof' is invalid in C99 [-Wimplicit-function-declaration]
                       [2023-03-23 20:34:35] [build-stderr]   typeof(int *); // NON_COMPLIANT[FALSE_NEGATIVE]
                       [2023-03-23 20:34:35] [build-stderr]   ^
                       [2023-03-23 20:34:35] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:118:10: error: expected expression
                       [2023-03-23 20:34:35] [build-stderr]   typeof(int *); // NON_COMPLIANT[FALSE_NEGATIVE]
                       [2023-03-23 20:34:35] [build-stderr]          ^
                       [2023-03-23 20:34:35] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:133:3: warning: expression result unused [-Wunused-value]
                       [2023-03-23 20:34:35] [build-stderr]   __real__(0); // NON_COMPLIANT[FALSE_NEGATIVE]
                       [2023-03-23 20:34:35] [build-stderr]   ^       ~~~
                       [2023-03-23 20:34:35] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:134:3: warning: expression result unused [-Wunused-value]
                       [2023-03-23 20:34:35] [build-stderr]   __imag__(0); // NON_COMPLIANT[FALSE_NEGATIVE]
                       [2023-03-23 20:34:35] [build-stderr]   ^       ~~~
                       [2023-03-23 20:34:35] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:201:4: warning: backslash and newline separated by space [-Wbackslash-newline-escape]
                       [2023-03-23 20:34:35] [build-stderr]   \     
                       [2023-03-23 20:34:35] [build-stderr]    ^
                       [2023-03-23 20:34:35] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:268:16: warning: unknown attribute 'access' ignored [-Wunknown-attributes]
                       [2023-03-23 20:34:35] [build-stderr] __attribute__((access(read_only, 1))) int
                       [2023-03-23 20:34:35] [build-stderr]                ^
                       [2023-03-23 20:34:35] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:280:18: warning: 'cold' attribute only applies to functions [-Wignored-attributes]
                       [2023-03-23 20:34:35] [build-stderr]   __attribute__((cold, unused)); // NON_COMPLIANT
                       [2023-03-23 20:34:35] [build-stderr]                  ^
                       [2023-03-23 20:34:35] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:321:3: warning: expression result unused [-Wunused-value]
                       [2023-03-23 20:34:35] [build-stderr]   __alignof__(gf39v.x); // NON_COMPLIANT
                       [2023-03-23 20:34:35] [build-stderr]   ^~~~~~~~~~~~~~~~~~~~
                       [2023-03-23 20:34:35] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:351:3: warning: expression result unused [-Wunused-value]
                       [2023-03-23 20:34:35] [build-stderr]   __builtin_offsetof(struct gf43s, x); // NON_COMPLIANT
                       [2023-03-23 20:34:35] [build-stderr]   ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
                       [2023-03-23 20:34:35] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:368:30: warning: the semantics of this intrinsic changed with GCC version 4.4 - the newer semantics are provided here [-Wsync-fetch-and-nand-semantics-changed]
                       [2023-03-23 20:34:35] [build-stderr]   __sync_fetch_and_nand(&i, 0); // NON_COMPLIANT
                       [2023-03-23 20:34:35] [build-stderr]   ~~~~~~~~~~~~~~~~~~~~~      ^
                       [2023-03-23 20:34:35] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:374:30: warning: the semantics of this intrinsic changed with GCC version 4.4 - the newer semantics are provided here [-Wsync-fetch-and-nand-semantics-changed]
                       [2023-03-23 20:34:35] [build-stderr]   __sync_nand_and_fetch(&i, 0); // NON_COMPLIANT
                       [2023-03-23 20:34:35] [build-stderr]   ~~~~~~~~~~~~~~~~~~~~~      ^
                       [2023-03-23 20:34:35] [build-stderr] 11 warnings and 1 error generated.
                       [2023-03-23 20:34:36] [ERROR] Spawned process exited abnormally (code 1; tried to run: [/__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql/tools/linux64/preload_tracer, clang, -fsyntax-only, -std=c11, /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c])
                       
COMPILE_PASS         : False
SUITE                : MISRA-C-2012
TEST_PASS            : False
QUERY                : LanguageExtensionsShouldNotBeUsed
PACKAGE              : Language3
RULE                 : RULE-1-2
TEST_DIFFERENCE      : 

COMPILE_ERROR_OUTPUT : [2023-03-23 20:34:38] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-3/test.c:1:1: error: 'main' must return 'int'
                       [2023-03-23 20:34:38] [build-stderr] void main(void) { // COMPLIANT
                       [2023-03-23 20:34:38] [build-stderr] ^~~~
                       [2023-03-23 20:34:38] [build-stderr] int
                       [2023-03-23 20:34:38] [build-stderr] 1 error generated.
                       [2023-03-23 20:34:38] [ERROR] Spawned process exited abnormally (code 1; tried to run: [/__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql/tools/linux64/preload_tracer, clang, -fsyntax-only, -std=c11, /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-3/test.c])
                       
COMPILE_PASS         : False
SUITE                : MISRA-C-2012
TEST_PASS            : False
QUERY                : OccurrenceOfUndefinedBehavior
PACKAGE              : Language3
RULE                 : RULE-1-3
TEST_DIFFERENCE      :

jsinglet · 2023-03-23T20:35:14Z

🤖 Beep Boop! gcc/c/X86_64 Matrix Testing for this PR has been completed. See below for the results!


RULE                 : RULE-1-2
QUERY                : LanguageExtensionsShouldNotBeUsed
TEST_PASS            : False
PACKAGE              : Language3
COMPILE_PASS         : False
TEST_DIFFERENCE      : 
SUITE                : MISRA-C-2012
COMPILE_ERROR_OUTPUT : [2023-03-23 20:34:37] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:55:1: warning: 'ext_vector_type' attribute directive ignored [-Wattributes]
                       [2023-03-23 20:34:37] [build-stderr]  typedef float float4 __attribute__((ext_vector_type(4)));       // NON_COMPLIANT
                       [2023-03-23 20:34:37] [build-stderr]  ^~~~~~~
                       [2023-03-23 20:34:37] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:56:1: warning: 'ext_vector_type' attribute directive ignored [-Wattributes]
                       [2023-03-23 20:34:37] [build-stderr]  typedef float float2 __attribute__((ext_vector_type(2)));       // NON_COMPLIANT
                       [2023-03-23 20:34:37] [build-stderr]  ^~~~~~~
                       [2023-03-23 20:34:37] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c: In function 'gf8':
                       [2023-03-23 20:34:37] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:118:3: warning: implicit declaration of function 'typeof'; did you mean 'feof'? [-Wimplicit-function-declaration]
                       [2023-03-23 20:34:37] [build-stderr]    typeof(int *); // NON_COMPLIANT[FALSE_NEGATIVE]
                       [2023-03-23 20:34:37] [build-stderr]    ^~~~~~
                       [2023-03-23 20:34:37] [build-stderr]    feof
                       [2023-03-23 20:34:37] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:118:10: error: expected expression before 'int'
                       [2023-03-23 20:34:37] [build-stderr]    typeof(int *); // NON_COMPLIANT[FALSE_NEGATIVE]
                       [2023-03-23 20:34:37] [build-stderr]           ^~~
                       [2023-03-23 20:34:37] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c: At top level:
                       [2023-03-23 20:34:37] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:201:3: warning: backslash and newline separated by space
                       [2023-03-23 20:34:37] [build-stderr]    \
                       [2023-03-23 20:34:37] [build-stderr]     
                       [2023-03-23 20:34:37] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:269:1: warning: 'access' attribute directive ignored [-Wattributes]
                       [2023-03-23 20:34:37] [build-stderr]  gf30(const char *); // NON_COMPLIANT -- attributes are not portable.
                       [2023-03-23 20:34:37] [build-stderr]  ^~~~
                       [2023-03-23 20:34:37] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c: In function 'gf35':
                       [2023-03-23 20:34:37] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:296:12: warning: zero-length gnu_printf format string [-Wformat-zero-length]
                       [2023-03-23 20:34:37] [build-stderr]      printf("");
                       [2023-03-23 20:34:37] [build-stderr]             ^~
                       [2023-03-23 20:34:37] [ERROR] Spawned process exited abnormally (code 1; tried to run: [/__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql/tools/linux64/preload_tracer, gcc, -fsyntax-only, -std=c11, /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c])
                       

RULE                 : RULE-1-3
QUERY                : OccurrenceOfUndefinedBehavior
TEST_PASS            : True
PACKAGE              : Language3
COMPILE_PASS         : True
TEST_DIFFERENCE      : 
SUITE                : MISRA-C-2012
COMPILE_ERROR_OUTPUT :

jsinglet · 2023-03-23T20:37:46Z

🤖 Beep Boop! clang/cpp/X86_64 Matrix Testing for this PR has been completed but I didn't find anything to test!

jsinglet · 2023-03-23T20:37:48Z

🤖 Beep Boop! qcc/cpp/AARCH64LE Matrix Testing for this PR has been completed but I didn't find anything to test!

jsinglet · 2023-03-23T20:37:48Z

🤖 Beep Boop! gcc/cpp/X86_64 Matrix Testing for this PR has been completed but I didn't find anything to test!

jsinglet · 2023-03-23T20:39:57Z

🤖 Beep Boop! qcc/c/AARCH64LE Matrix Testing for this PR has been completed. See below for the results!


TEST_PASS            : False
TEST_DIFFERENCE      : 
RULE                 : RULE-1-2
PACKAGE              : Language3
QUERY                : LanguageExtensionsShouldNotBeUsed
SUITE                : MISRA-C-2012
COMPILE_ERROR_OUTPUT : [2023-03-23 20:39:17] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:55:1: warning: 'ext_vector_type' attribute directive ignored [-Wattributes]
                       [2023-03-23 20:39:17] [build-stderr]  typedef float float4 __attribute__((ext_vector_type(4)));       // NON_COMPLIANT
                       [2023-03-23 20:39:17] [build-stderr]  ^~~~~~~
                       [2023-03-23 20:39:17] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:56:1: warning: 'ext_vector_type' attribute directive ignored [-Wattributes]
                       [2023-03-23 20:39:17] [build-stderr]  typedef float float2 __attribute__((ext_vector_type(2)));       // NON_COMPLIANT
                       [2023-03-23 20:39:17] [build-stderr]  ^~~~~~~
                       [2023-03-23 20:39:17] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c: In function 'gf8':
                       [2023-03-23 20:39:17] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:118:3: warning: implicit declaration of function 'typeof'; did you mean 'feof'? [-Wimplicit-function-declaration]
                       [2023-03-23 20:39:17] [build-stderr]    typeof(int *); // NON_COMPLIANT[FALSE_NEGATIVE]
                       [2023-03-23 20:39:17] [build-stderr]    ^~~~~~
                       [2023-03-23 20:39:17] [build-stderr]    feof
                       [2023-03-23 20:39:17] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:118:10: error: expected expression before 'int'
                       [2023-03-23 20:39:17] [build-stderr]    typeof(int *); // NON_COMPLIANT[FALSE_NEGATIVE]
                       [2023-03-23 20:39:17] [build-stderr]           ^~~
                       [2023-03-23 20:39:17] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c: At top level:
                       [2023-03-23 20:39:17] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:201:3: warning: backslash and newline separated by space
                       [2023-03-23 20:39:17] [build-stderr]    \
                       [2023-03-23 20:39:17] [build-stderr]     
                       [2023-03-23 20:39:17] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:269:1: warning: 'access' attribute directive ignored [-Wattributes]
                       [2023-03-23 20:39:17] [build-stderr]  gf30(const char *); // NON_COMPLIANT -- attributes are not portable.
                       [2023-03-23 20:39:17] [build-stderr]  ^~~~
                       [2023-03-23 20:39:18] [ERROR] Spawned process exited abnormally (code 1; tried to run: [/__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql/tools/linux64/preload_tracer, qcc, -V8.3.0, -Wc,-fsyntax-only, -c, -nopipe, -std=c11, -Vgcc_ntoaarch64le, /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c])
                       
COMPILE_PASS         : False

TEST_PASS            : True
TEST_DIFFERENCE      : 
RULE                 : RULE-1-3
PACKAGE              : Language3
QUERY                : OccurrenceOfUndefinedBehavior
SUITE                : MISRA-C-2012
COMPILE_ERROR_OUTPUT : 
COMPILE_PASS         : True

jsinglet · 2023-03-23T20:40:15Z

🤖 Beep Boop! Matrix Testing for this PR has been completed. If no reports were posted it means this PR does not contain things that need matrix testing!

github-actions · 2023-03-23T20:41:46Z

🤖 Beep Boop! Matrix Testing for this PR has been initiated. Please check back later for results.

💡 If you do not hear back from me please check my status! I will report even if this PR does not contain files eligible for matrix testing.

jsinglet · 2023-03-23T20:43:11Z

🤖 Beep Boop! clang/c/X86_64 Matrix Testing for this PR has been completed. See below for the results!


TEST_PASS            : False
PACKAGE              : Language3
TEST_DIFFERENCE      : 
COMPILE_ERROR_OUTPUT : [2023-03-23 20:43:08] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:68:5: warning: expression result unused [-Wunused-value]
                       [2023-03-23 20:43:08] [build-stderr]     z;
                       [2023-03-23 20:43:08] [build-stderr]     ^
                       [2023-03-23 20:43:08] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:118:3: warning: implicit declaration of function 'typeof' is invalid in C99 [-Wimplicit-function-declaration]
                       [2023-03-23 20:43:08] [build-stderr]   typeof(int *); // NON_COMPLIANT[FALSE_NEGATIVE]
                       [2023-03-23 20:43:08] [build-stderr]   ^
                       [2023-03-23 20:43:08] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:118:10: error: expected expression
                       [2023-03-23 20:43:08] [build-stderr]   typeof(int *); // NON_COMPLIANT[FALSE_NEGATIVE]
                       [2023-03-23 20:43:08] [build-stderr]          ^
                       [2023-03-23 20:43:08] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:133:3: warning: expression result unused [-Wunused-value]
                       [2023-03-23 20:43:08] [build-stderr]   __real__(0); // NON_COMPLIANT[FALSE_NEGATIVE]
                       [2023-03-23 20:43:08] [build-stderr]   ^       ~~~
                       [2023-03-23 20:43:08] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:134:3: warning: expression result unused [-Wunused-value]
                       [2023-03-23 20:43:08] [build-stderr]   __imag__(0); // NON_COMPLIANT[FALSE_NEGATIVE]
                       [2023-03-23 20:43:08] [build-stderr]   ^       ~~~
                       [2023-03-23 20:43:08] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:201:4: warning: backslash and newline separated by space [-Wbackslash-newline-escape]
                       [2023-03-23 20:43:08] [build-stderr]   \     
                       [2023-03-23 20:43:08] [build-stderr]    ^
                       [2023-03-23 20:43:08] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:268:16: warning: unknown attribute 'access' ignored [-Wunknown-attributes]
                       [2023-03-23 20:43:08] [build-stderr] __attribute__((access(read_only, 1))) int
                       [2023-03-23 20:43:08] [build-stderr]                ^
                       [2023-03-23 20:43:08] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:280:18: warning: 'cold' attribute only applies to functions [-Wignored-attributes]
                       [2023-03-23 20:43:08] [build-stderr]   __attribute__((cold, unused)); // NON_COMPLIANT
                       [2023-03-23 20:43:08] [build-stderr]                  ^
                       [2023-03-23 20:43:08] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:321:3: warning: expression result unused [-Wunused-value]
                       [2023-03-23 20:43:08] [build-stderr]   __alignof__(gf39v.x); // NON_COMPLIANT
                       [2023-03-23 20:43:08] [build-stderr]   ^~~~~~~~~~~~~~~~~~~~
                       [2023-03-23 20:43:08] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:351:3: warning: expression result unused [-Wunused-value]
                       [2023-03-23 20:43:08] [build-stderr]   __builtin_offsetof(struct gf43s, x); // NON_COMPLIANT
                       [2023-03-23 20:43:08] [build-stderr]   ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
                       [2023-03-23 20:43:08] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:368:30: warning: the semantics of this intrinsic changed with GCC version 4.4 - the newer semantics are provided here [-Wsync-fetch-and-nand-semantics-changed]
                       [2023-03-23 20:43:08] [build-stderr]   __sync_fetch_and_nand(&i, 0); // NON_COMPLIANT
                       [2023-03-23 20:43:08] [build-stderr]   ~~~~~~~~~~~~~~~~~~~~~      ^
                       [2023-03-23 20:43:08] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:374:30: warning: the semantics of this intrinsic changed with GCC version 4.4 - the newer semantics are provided here [-Wsync-fetch-and-nand-semantics-changed]
                       [2023-03-23 20:43:08] [build-stderr]   __sync_nand_and_fetch(&i, 0); // NON_COMPLIANT
                       [2023-03-23 20:43:08] [build-stderr]   ~~~~~~~~~~~~~~~~~~~~~      ^
                       [2023-03-23 20:43:08] [build-stderr] 11 warnings and 1 error generated.
                       [2023-03-23 20:43:08] [ERROR] Spawned process exited abnormally (code 1; tried to run: [/__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql/tools/linux64/preload_tracer, clang, -fsyntax-only, -std=c11, /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c])
                       
SUITE                : MISRA-C-2012
COMPILE_PASS         : False
QUERY                : LanguageExtensionsShouldNotBeUsed
RULE                 : RULE-1-2

TEST_PASS            : False
PACKAGE              : Language3
TEST_DIFFERENCE      : 
COMPILE_ERROR_OUTPUT : [2023-03-23 20:43:10] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-3/test.c:1:1: error: 'main' must return 'int'
                       [2023-03-23 20:43:10] [build-stderr] void main(void) { // COMPLIANT
                       [2023-03-23 20:43:10] [build-stderr] ^~~~
                       [2023-03-23 20:43:10] [build-stderr] int
                       [2023-03-23 20:43:10] [build-stderr] 1 error generated.
                       [2023-03-23 20:43:11] [ERROR] Spawned process exited abnormally (code 1; tried to run: [/__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql/tools/linux64/preload_tracer, clang, -fsyntax-only, -std=c11, /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-3/test.c])
                       
SUITE                : MISRA-C-2012
COMPILE_PASS         : False
QUERY                : OccurrenceOfUndefinedBehavior
RULE                 : RULE-1-3

jsinglet · 2023-03-23T20:43:41Z

🤖 Beep Boop! clang/cpp/X86_64 Matrix Testing for this PR has been completed but I didn't find anything to test!

jsinglet · 2023-03-23T20:43:41Z

🤖 Beep Boop! gcc/cpp/X86_64 Matrix Testing for this PR has been completed but I didn't find anything to test!

jsinglet · 2023-03-23T20:43:43Z

🤖 Beep Boop! qcc/cpp/AARCH64LE Matrix Testing for this PR has been completed but I didn't find anything to test!

jsinglet · 2023-03-23T20:43:45Z

🤖 Beep Boop! gcc/c/X86_64 Matrix Testing for this PR has been completed. See below for the results!


COMPILE_ERROR_OUTPUT : [2023-03-23 20:43:08] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:55:1: warning: 'ext_vector_type' attribute directive ignored [-Wattributes]
                       [2023-03-23 20:43:08] [build-stderr]  typedef float float4 __attribute__((ext_vector_type(4)));       // NON_COMPLIANT
                       [2023-03-23 20:43:08] [build-stderr]  ^~~~~~~
                       [2023-03-23 20:43:08] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:56:1: warning: 'ext_vector_type' attribute directive ignored [-Wattributes]
                       [2023-03-23 20:43:08] [build-stderr]  typedef float float2 __attribute__((ext_vector_type(2)));       // NON_COMPLIANT
                       [2023-03-23 20:43:08] [build-stderr]  ^~~~~~~
                       [2023-03-23 20:43:08] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c: In function 'gf8':
                       [2023-03-23 20:43:08] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:118:3: warning: implicit declaration of function 'typeof'; did you mean 'feof'? [-Wimplicit-function-declaration]
                       [2023-03-23 20:43:08] [build-stderr]    typeof(int *); // NON_COMPLIANT[FALSE_NEGATIVE]
                       [2023-03-23 20:43:08] [build-stderr]    ^~~~~~
                       [2023-03-23 20:43:08] [build-stderr]    feof
                       [2023-03-23 20:43:08] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:118:10: error: expected expression before 'int'
                       [2023-03-23 20:43:08] [build-stderr]    typeof(int *); // NON_COMPLIANT[FALSE_NEGATIVE]
                       [2023-03-23 20:43:08] [build-stderr]           ^~~
                       [2023-03-23 20:43:08] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c: At top level:
                       [2023-03-23 20:43:08] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:201:3: warning: backslash and newline separated by space
                       [2023-03-23 20:43:08] [build-stderr]    \
                       [2023-03-23 20:43:08] [build-stderr]     
                       [2023-03-23 20:43:08] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:269:1: warning: 'access' attribute directive ignored [-Wattributes]
                       [2023-03-23 20:43:08] [build-stderr]  gf30(const char *); // NON_COMPLIANT -- attributes are not portable.
                       [2023-03-23 20:43:08] [build-stderr]  ^~~~
                       [2023-03-23 20:43:08] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c: In function 'gf35':
                       [2023-03-23 20:43:08] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:296:12: warning: zero-length gnu_printf format string [-Wformat-zero-length]
                       [2023-03-23 20:43:08] [build-stderr]      printf("");
                       [2023-03-23 20:43:08] [build-stderr]             ^~
                       [2023-03-23 20:43:09] [ERROR] Spawned process exited abnormally (code 1; tried to run: [/__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql/tools/linux64/preload_tracer, gcc, -fsyntax-only, -std=c11, /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c])
                       
TEST_PASS            : False
COMPILE_PASS         : False
SUITE                : MISRA-C-2012
RULE                 : RULE-1-2
TEST_DIFFERENCE      : 
QUERY                : LanguageExtensionsShouldNotBeUsed
PACKAGE              : Language3

COMPILE_ERROR_OUTPUT : 
TEST_PASS            : True
COMPILE_PASS         : True
SUITE                : MISRA-C-2012
RULE                 : RULE-1-3
TEST_DIFFERENCE      : 
QUERY                : OccurrenceOfUndefinedBehavior
PACKAGE              : Language3

jsinglet · 2023-03-23T20:45:41Z

🤖 Beep Boop! qcc/c/AARCH64LE Matrix Testing for this PR has been completed. See below for the results!


COMPILE_PASS         : False
COMPILE_ERROR_OUTPUT : [2023-03-23 20:45:04] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:55:1: warning: 'ext_vector_type' attribute directive ignored [-Wattributes]
                       [2023-03-23 20:45:04] [build-stderr]  typedef float float4 __attribute__((ext_vector_type(4)));       // NON_COMPLIANT
                       [2023-03-23 20:45:04] [build-stderr]  ^~~~~~~
                       [2023-03-23 20:45:04] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:56:1: warning: 'ext_vector_type' attribute directive ignored [-Wattributes]
                       [2023-03-23 20:45:04] [build-stderr]  typedef float float2 __attribute__((ext_vector_type(2)));       // NON_COMPLIANT
                       [2023-03-23 20:45:04] [build-stderr]  ^~~~~~~
                       [2023-03-23 20:45:04] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c: In function 'gf8':
                       [2023-03-23 20:45:04] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:118:3: warning: implicit declaration of function 'typeof'; did you mean 'feof'? [-Wimplicit-function-declaration]
                       [2023-03-23 20:45:04] [build-stderr]    typeof(int *); // NON_COMPLIANT[FALSE_NEGATIVE]
                       [2023-03-23 20:45:04] [build-stderr]    ^~~~~~
                       [2023-03-23 20:45:04] [build-stderr]    feof
                       [2023-03-23 20:45:04] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:118:10: error: expected expression before 'int'
                       [2023-03-23 20:45:04] [build-stderr]    typeof(int *); // NON_COMPLIANT[FALSE_NEGATIVE]
                       [2023-03-23 20:45:04] [build-stderr]           ^~~
                       [2023-03-23 20:45:04] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c: At top level:
                       [2023-03-23 20:45:04] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:201:3: warning: backslash and newline separated by space
                       [2023-03-23 20:45:04] [build-stderr]    \
                       [2023-03-23 20:45:04] [build-stderr]     
                       [2023-03-23 20:45:04] [build-stderr] /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c:269:1: warning: 'access' attribute directive ignored [-Wattributes]
                       [2023-03-23 20:45:04] [build-stderr]  gf30(const char *); // NON_COMPLIANT -- attributes are not portable.
                       [2023-03-23 20:45:04] [build-stderr]  ^~~~
                       [2023-03-23 20:45:04] [ERROR] Spawned process exited abnormally (code 1; tried to run: [/__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql/tools/linux64/preload_tracer, qcc, -V8.3.0, -Wc,-fsyntax-only, -c, -nopipe, -std=c11, -Vgcc_ntoaarch64le, /__w/codeql-coding-standards-release-engineering/codeql-coding-standards-release-engineering/codeql-coding-standards/c/misra/test/rules/RULE-1-2/test.c])
                       
SUITE                : MISRA-C-2012
QUERY                : LanguageExtensionsShouldNotBeUsed
TEST_DIFFERENCE      : 
TEST_PASS            : False
RULE                 : RULE-1-2
PACKAGE              : Language3

COMPILE_PASS         : True
COMPILE_ERROR_OUTPUT : 
SUITE                : MISRA-C-2012
QUERY                : OccurrenceOfUndefinedBehavior
TEST_DIFFERENCE      : 
TEST_PASS            : True
RULE                 : RULE-1-3
PACKAGE              : Language3

jsinglet · 2023-03-23T20:46:00Z

🤖 Beep Boop! Matrix Testing for this PR has been completed. If no reports were posted it means this PR does not contain things that need matrix testing!

jsinglet added 6 commits March 22, 2023 10:28

work

293450f

work

58383ae

files

6a1b346

update

def0893

formatting

8aee471

much typing

fa8c05c

jsinglet added 2 commits March 22, 2023 11:47

update

192ff57

jsinglet added 2 commits March 22, 2023 11:55

Delete settings.json

73602b4

Delete MatrixTestReport-gcc-cpp-2023-02-13_18-12-16.csv

c582190

Delete MatrixTestReport-gcc-cpp-2023-02-13_18-18-12.csv

4148a57

mbaluda approved these changes Mar 23, 2023

View reviewed changes

note

a293557

jsinglet enabled auto-merge March 23, 2023 20:41

Merge branch 'main' into jsinglet/language3

8bfc092

jsinglet added this pull request to the merge queue Mar 23, 2023

Merged via the queue into main with commit dc8df30 Mar 23, 2023

jsinglet deleted the jsinglet/language3 branch March 23, 2023 22:20

nicolaswill mentioned this pull request Jan 25, 2024

Missing attestations: @mbaluda #505

Open

Language 3 #264

Language 3 #264

Conversation

jsinglet commented Mar 22, 2023 • edited

Description

Change request type

Rules with added or modified queries

Release change checklist

Query development review checklist

Author

Reviewer

github-actions bot commented Mar 22, 2023

jsinglet commented Mar 22, 2023

jsinglet commented Mar 22, 2023

jsinglet commented Mar 22, 2023

jsinglet commented Mar 22, 2023

jsinglet commented Mar 22, 2023

jsinglet commented Mar 22, 2023

jsinglet commented Mar 22, 2023

github-actions bot commented Mar 22, 2023

github-actions bot commented Mar 22, 2023

github-actions bot commented Mar 22, 2023

github-actions bot commented Mar 22, 2023

jsinglet commented Mar 22, 2023

jsinglet commented Mar 22, 2023

jsinglet commented Mar 22, 2023

jsinglet commented Mar 22, 2023

jsinglet commented Mar 22, 2023

jsinglet commented Mar 22, 2023

jsinglet commented Mar 22, 2023

jsinglet commented Mar 23, 2023

jsinglet commented Mar 23, 2023

jsinglet commented Mar 23, 2023

jsinglet commented Mar 23, 2023

jsinglet commented Mar 23, 2023

mbaluda left a comment

Choose a reason for hiding this comment

github-actions bot commented Mar 23, 2023

jsinglet commented Mar 23, 2023

jsinglet commented Mar 23, 2023

jsinglet commented Mar 23, 2023

jsinglet commented Mar 23, 2023

jsinglet commented Mar 23, 2023

jsinglet commented Mar 23, 2023

jsinglet commented Mar 23, 2023

github-actions bot commented Mar 23, 2023

jsinglet commented Mar 23, 2023

jsinglet commented Mar 23, 2023

jsinglet commented Mar 23, 2023

jsinglet commented Mar 23, 2023

jsinglet commented Mar 23, 2023

jsinglet commented Mar 23, 2023

jsinglet commented Mar 23, 2023

jsinglet commented Mar 22, 2023 •

edited