]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b4c9ba2) | patch
ada: Fix printing boolean attributes in the SARIF report
authorViljar Indus <indus@adacore.com>
Tue, 26 Nov 2024 12:10:46 +0000 (14:10 +0200)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Mon, 6 Jan 2025 09:14:47 +0000 (10:14 +0100)
commitd47596b4bb71179edbd1811aa0ddffda903c08c3
treeb0fbcd8ff5a012cca283cd63dff20a9a3b60ca0etree
parentb4c9ba204b6c9fd59ef25e810431a3fc2027e4efcommit | diff
ada: Fix printing boolean attributes in the SARIF report

Boolean attributes should have the value true or false
without any quotes.

gcc/ada/ChangeLog:

* diagnostics-json_utils.adb: Add new method
Write_Boolean_Attribute.
* diagnostics-json_utils.ads: Likewise.
* diagnostics-sarif_emitter.adb (Print_Invocations): print
the executionSuccesful property value without extra quotes.
gcc/ada/diagnostics-json_utils.adb diff | blob | blame | history
gcc/ada/diagnostics-json_utils.ads diff | blob | blame | history
gcc/ada/diagnostics-sarif_emitter.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git