https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116177

            Bug ID: 116177
           Summary: SARIF output invocation's "executionSuccessful": true
                    even when failing with an error (3.20.14)
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Keywords: SARIF
          Severity: normal
          Priority: P3
         Component: other
          Assignee: unassigned at gcc dot gnu.org
          Reporter: dmalcolm at gcc dot gnu.org
  Target Milestone: ---

When the compilation fails with an error, the SARIF output invocation's
"executionSuccessful" is true.  Presumably this should be false for such cases.

Quoting
https://docs.oasis-open.org/sarif/sarif/v2.1.0/errata01/os/sarif-v2.1.0-errata01-os-complete.html#_Toc141790831

> An invocation object SHALL contain a property named executionSuccessful whose
> value is a Boolean that is true if the engineering system that started the 
> process
> knows that the analysis tool succeeded, and false if the engineering system 
> knows
> that the tool failed.
> 
> NOTE: This property is needed because not all programs exit with an exit code
> of 0 on success and non-0 on failure.
> 
> EXAMPLE:
> 
> {
>   "exitCode": 1,
>   "exitCodeDescription": "Scan successful; warnings detected.",
>   "executionSuccessful": true
> 
> }

Reply via email to