[gcc r15-131] testsuite: fix analyzer C++ failures on Solaris [PR111475]

https://gcc.gnu.org/g:5219414f3cde3c1037e289a6654cd722cfa75dea commit r15-131-g5219414f3cde3c1037e289a6654cd722cfa75dea Author: David Malcolm Date: Fri May 3 09:05:29 2024 -0400 testsuite: fix analyzer C++ failures on Solaris [PR111475] As part of PR analyzer/96395, these patches

[gcc r13-8741] analyzer: add caching to globals with initializers [PR110112]

https://gcc.gnu.org/g:89feb3557a018893cfe50c2e07f91559bd3cde2b commit r13-8741-g89feb3557a018893cfe50c2e07f91559bd3cde2b Author: David Malcolm Date: Thu May 9 13:09:26 2024 -0400 analyzer: add caching to globals with initializers [PR110112] PR analyzer/110112 notes that -fanalyzer

[gcc r13-8742] analyzer: Fix allocation size false positive on conjured svalue [PR109577]

https://gcc.gnu.org/g:ccf8d3e3d26c6ba3d5e11fffeed8d64018e9c060 commit r13-8742-gccf8d3e3d26c6ba3d5e11fffeed8d64018e9c060 Author: Tim Lange Date: Thu May 9 13:09:26 2024 -0400 analyzer: Fix allocation size false positive on conjured svalue [PR109577] Currently, the analyzer tries t

[gcc r13-8743] testsuite: Add more allocation size tests for conjured svalues [PR110014]

https://gcc.gnu.org/g:e0c52905f666e3d23881f82dbf39466a24f009f4 commit r13-8743-ge0c52905f666e3d23881f82dbf39466a24f009f4 Author: Tim Lange Date: Thu May 9 13:09:26 2024 -0400 testsuite: Add more allocation size tests for conjured svalues [PR110014] This patch adds the reproducers

[gcc r13-8744] jit: avoid using __vector in testcase [PR110466]

https://gcc.gnu.org/g:b38472ffc1e631bd357573b44d956ce16d94e666 commit r13-8744-gb38472ffc1e631bd357573b44d956ce16d94e666 Author: David Malcolm Date: Thu May 9 13:09:27 2024 -0400 jit: avoid using __vector in testcase [PR110466] r13-4531-gd2e782cb99c311 added test coverage to libgc

[gcc r13-8752] analyzer: casting all zeroes should give all zeroes [PR113333]

https://gcc.gnu.org/g:132eb1a210bc7806c4cf188ecac6c08339c94384 commit r13-8752-g132eb1a210bc7806c4cf188ecac6c08339c94384 Author: David Malcolm Date: Thu May 9 13:09:29 2024 -0400 analyzer: casting all zeroes should give all zeroes [PR11] In particular, accessing the result of

[gcc r13-8750] analyzer: fix ICE for 2 bits before the start of base region [PR112889]

https://gcc.gnu.org/g:a1cb188cb2ca2ad3f4e837dba2967f323669d36e commit r13-8750-ga1cb188cb2ca2ad3f4e837dba2967f323669d36e Author: David Malcolm Date: Thu May 9 13:09:29 2024 -0400 analyzer: fix ICE for 2 bits before the start of base region [PR112889] Cncrete bindings were using -1

[gcc r13-8747] analyzer: fix ICE on zero-sized arrays [PR110882]

https://gcc.gnu.org/g:a0b13d0860848dd5f2876897ada1e22e4e681e91 commit r13-8747-ga0b13d0860848dd5f2876897ada1e22e4e681e91 Author: David Malcolm Date: Thu May 9 13:09:28 2024 -0400 analyzer: fix ICE on zero-sized arrays [PR110882] gcc/analyzer/ChangeLog: PR analyzer/1108

[gcc r13-8753] analyzer: fix defaults in compound assignments from non-zero offsets [PR112969]

https://gcc.gnu.org/g:0593151221ad21c2a67dfda597539c458ab731d8 commit r13-8753-g0593151221ad21c2a67dfda597539c458ab731d8 Author: David Malcolm Date: Thu May 9 13:09:30 2024 -0400 analyzer: fix defaults in compound assignments from non-zero offsets [PR112969] Confusion in binding_

[gcc r13-8749] jit: dump string literal initializers correctly

https://gcc.gnu.org/g:b8c772cae97b54386f7853edf0f9897012bfa90b commit r13-8749-gb8c772cae97b54386f7853edf0f9897012bfa90b Author: Vibhav Pant Date: Thu May 9 13:09:28 2024 -0400 jit: dump string literal initializers correctly Signed-off-by: David Malcolm gcc/jit/ChangeLog

[gcc r13-8745] jit.exp: handle dwarf version mismatch in jit-check-debug-info [PR110466]

https://gcc.gnu.org/g:60dcb710b6b4aa22ea96abc8df6dfe9067f3d7fe commit r13-8745-g60dcb710b6b4aa22ea96abc8df6dfe9067f3d7fe Author: David Malcolm Date: Thu May 9 13:09:27 2024 -0400 jit.exp: handle dwarf version mismatch in jit-check-debug-info [PR110466] gcc/testsuite/ChangeLog:

[gcc r13-8755] analyzer: fix -Wanalyzer-va-arg-type-mismatch false +ve on int types [PR111289]

https://gcc.gnu.org/g:67d104f3a032ee64bae335269bf1b8434785cc63 commit r13-8755-g67d104f3a032ee64bae335269bf1b8434785cc63 Author: David Malcolm Date: Thu May 9 13:09:31 2024 -0400 analyzer: fix -Wanalyzer-va-arg-type-mismatch false +ve on int types [PR111289] Backported from commi

[gcc r13-8759] diagnostics: fix ICE on sarif output when source file is unreadable [PR111700]

https://gcc.gnu.org/g:230f672b3ed0f64c9110ef9dba616c17d713816d commit r13-8759-g230f672b3ed0f64c9110ef9dba616c17d713816d Author: David Malcolm Date: Thu May 9 13:09:32 2024 -0400 diagnostics: fix ICE on sarif output when source file is unreadable [PR111700] Backported from r14-44

[gcc r13-8746] analyzer: fix ICE on division of tainted floating-point values [PR110700]

https://gcc.gnu.org/g:0df1ee083434ac00ecb19582b1e5b25e105981b2 commit r13-8746-g0df1ee083434ac00ecb19582b1e5b25e105981b2 Author: David Malcolm Date: Thu May 9 13:09:28 2024 -0400 analyzer: fix ICE on division of tainted floating-point values [PR110700] gcc/analyzer/ChangeLog:

[gcc r13-8758] analyzer: fix ICE and false positive with -Wanalyzer-deref-before-check [PR114408]

https://gcc.gnu.org/g:96f7a3694c3e4c72af6258cc9b38bce30e609bee commit r13-8758-g96f7a3694c3e4c72af6258cc9b38bce30e609bee Author: David Malcolm Date: Thu May 9 13:09:32 2024 -0400 analyzer: fix ICE and false positive with -Wanalyzer-deref-before-check [PR114408] Backported from co

[gcc r13-8748] testsuite, analyzer: add test case [PR108171]

https://gcc.gnu.org/g:44968a0e00f656e9bb3e504bb2fa1a8282002015 commit r13-8748-g44968a0e00f656e9bb3e504bb2fa1a8282002015 Author: David Malcolm Date: Thu May 9 13:09:28 2024 -0400 testsuite, analyzer: add test case [PR108171] The ICE in PR analyzer/108171 appears to be a dup of the

[gcc r13-8756] analyzer: fix -Wanalyzer-deref-before-check false positive seen in loop header macro [PR109251]

https://gcc.gnu.org/g:ed026106ce420c7d9dd4d89caac017b6f235e219 commit r13-8756-ged026106ce420c7d9dd4d89caac017b6f235e219 Author: David Malcolm Date: Thu May 9 13:09:31 2024 -0400 analyzer: fix -Wanalyzer-deref-before-check false positive seen in loop header macro [PR109251] Backp

[gcc r13-8751] analyzer: fix deref-before-check false positives due to inlining [PR112790]

https://gcc.gnu.org/g:994477c41049d45b60a4d6db7f624fe5c89860fe commit r13-8751-g994477c41049d45b60a4d6db7f624fe5c89860fe Author: David Malcolm Date: Thu May 9 13:09:29 2024 -0400 analyzer: fix deref-before-check false positives due to inlining [PR112790] Backported from commit r14

[gcc r13-8757] analyzer: fix ICE due to type mismatch when replaying call summary [PR114473]

https://gcc.gnu.org/g:810d35a7e054bcbb5b66d2e5924428e445f5fba9 commit r13-8757-g810d35a7e054bcbb5b66d2e5924428e445f5fba9 Author: David Malcolm Date: Thu May 9 13:09:31 2024 -0400 analyzer: fix ICE due to type mismatch when replaying call summary [PR114473] gcc/analyzer/ChangeLog:

[gcc r13-8754] analyzer: fix skipping of debug stmts [PR113253]

https://gcc.gnu.org/g:2c688f6afce4cbb414f5baab1199cd525f309fca commit r13-8754-g2c688f6afce4cbb414f5baab1199cd525f309fca Author: David Malcolm Date: Thu May 9 13:09:30 2024 -0400 analyzer: fix skipping of debug stmts [PR113253] PR analyzer/113253 reports a case where the analyzer

[gcc r13-8760] Fix ICE in -fdiagnostics-generate-patch [PR112684]

https://gcc.gnu.org/g:2a6f99aef7c8522471967b171180d9ba4136da90 commit r13-8760-g2a6f99aef7c8522471967b171180d9ba4136da90 Author: David Malcolm Date: Thu May 9 13:09:32 2024 -0400 Fix ICE in -fdiagnostics-generate-patch [PR112684] Backported from r14-8255-ge254d1224df306.

[gcc r13-8761] diagnostics: fix corrupt json/SARIF on stderr [PR114348]

https://gcc.gnu.org/g:b7a2697733d19a093cbdd0e200ffce069a4bc812 commit r13-8761-gb7a2697733d19a093cbdd0e200ffce069a4bc812 Author: David Malcolm Date: Thu May 9 13:09:33 2024 -0400 diagnostics: fix corrupt json/SARIF on stderr [PR114348] Various values of -fdiagnostics-format= reque

[gcc r15-526] analyzer: fix ICE seen with -fsanitize=undefined [PR114899]

https://gcc.gnu.org/g:1779e22150b917e28e959623c819ef943fab02df commit r15-526-g1779e22150b917e28e959623c819ef943fab02df Author: David Malcolm Date: Wed May 15 18:40:56 2024 -0400 analyzer: fix ICE seen with -fsanitize=undefined [PR114899] gcc/analyzer/ChangeLog: PR ana

[gcc r15-532] diagnostics: handle SGR codes in line_label::m_display_width

https://gcc.gnu.org/g:a7be993806a90a58397e9d5bc9b54160ac9f35db commit r15-532-ga7be993806a90a58397e9d5bc9b54160ac9f35db Author: David Malcolm Date: Wed May 15 21:22:51 2024 -0400 diagnostics: handle SGR codes in line_label::m_display_width gcc/ChangeLog: * diagnostic-s

[gcc r15-534] diagnostics: add warning emoji to events with VERB_danger

https://gcc.gnu.org/g:0b7ebe5427a4af0956e0aed5e7432b98559ca7b5 commit r15-534-g0b7ebe5427a4af0956e0aed5e7432b98559ca7b5 Author: David Malcolm Date: Wed May 15 21:22:51 2024 -0400 diagnostics: add warning emoji to events with VERB_danger Tweak the printing of -fdiagnostics-path-for

[gcc r15-533] diagnostics: simplify output of purely intraprocedural execution paths

https://gcc.gnu.org/g:3cd267446755ab6b2c59936a718d34c8bc474ca5 commit r15-533-g3cd267446755ab6b2c59936a718d34c8bc474ca5 Author: David Malcolm Date: Wed May 15 21:22:51 2024 -0400 diagnostics: simplify output of purely intraprocedural execution paths Diagnostic path printing was ad

[gcc r15-535] diagnostics: use unicode art for interprocedural depth

https://gcc.gnu.org/g:e656656e711949ef42a7e284f7cf81ca56f37374 commit r15-535-ge656656e711949ef42a7e284f7cf81ca56f37374 Author: David Malcolm Date: Wed May 15 21:22:52 2024 -0400 diagnostics: use unicode art for interprocedural depth gcc/testsuite/ChangeLog: * gcc.dg/a

[gcc r15-636] diagnostics, analyzer: add CFG edge visualization to path-printing

https://gcc.gnu.org/g:770657d02c986c8724214dba51f21bb3c299ebae commit r15-636-g770657d02c986c8724214dba51f21bb3c299ebae Author: David Malcolm Date: Fri May 17 14:51:47 2024 -0400 diagnostics, analyzer: add CFG edge visualization to path-printing This patch adds some ability for li

[gcc r15-640] Regenerate common.opt.urls

https://gcc.gnu.org/g:4e3bb431bbf2802bcf8e5d983dd1450f719d6ac7 commit r15-640-g4e3bb431bbf2802bcf8e5d983dd1450f719d6ac7 Author: David Malcolm Date: Fri May 17 17:56:56 2024 -0400 Regenerate common.opt.urls I forgot to do this for r15-636-g770657d02c986c. gcc/ChangeLog:

[gcc r15-3196] json.h: fix typo in comment

https://gcc.gnu.org/g:b835710328847a8b1bc0c1258dd4a6d059988f79 commit r15-3196-gb835710328847a8b1bc0c1258dd4a6d059988f79 Author: David Malcolm Date: Mon Aug 26 12:24:21 2024 -0400 json.h: fix typo in comment gcc/ChangeLog: * json.h: Fix typo in comment about missing IN

[gcc r15-3197] pretty-print: fixes to selftests

https://gcc.gnu.org/g:276cc4324b9e8d97fb1018d7b78cc0ed7e77f902 commit r15-3197-g276cc4324b9e8d97fb1018d7b78cc0ed7e77f902 Author: David Malcolm Date: Mon Aug 26 12:24:21 2024 -0400 pretty-print: fixes to selftests Add selftest coverage for %{ and %} in pretty-print.cc No f

[gcc r15-3199] testsuite: add event IDs to multithreaded event plugin test

https://gcc.gnu.org/g:6a1c359e28442cb86ed40e0d432814b5807e7640 commit r15-3199-g6a1c359e28442cb86ed40e0d432814b5807e7640 Author: David Malcolm Date: Mon Aug 26 12:24:22 2024 -0400 testsuite: add event IDs to multithreaded event plugin test Add test coverage of "%@" in event messag

[gcc r15-3200] diagnostics: consolidate on_{begin, end}_diagnostic into on_report_diagnostic

https://gcc.gnu.org/g:ac707d30ce449f30c6018829d443956fdd653f4c commit r15-3200-gac707d30ce449f30c6018829d443956fdd653f4c Author: David Malcolm Date: Mon Aug 26 12:24:22 2024 -0400 diagnostics: consolidate on_{begin,end}_diagnostic into on_report_diagnostic Previously diagnostic_co

[gcc r15-3201] diagnostics: move output formats from diagnostic.{c, h} to their own files

https://gcc.gnu.org/g:92c5265d22afaac146b2a7ecbc3dac9fc3382877 commit r15-3201-g92c5265d22afaac146b2a7ecbc3dac9fc3382877 Author: David Malcolm Date: Mon Aug 26 12:24:22 2024 -0400 diagnostics: move output formats from diagnostic.{c,h} to their own files In particular, move the cla

[gcc r15-3198] testsuite: generalize support for Python tests for SARIF output

https://gcc.gnu.org/g:aa3b950291119a2b107e3a82bb4ad35a2baa2105 commit r15-3198-gaa3b950291119a2b107e3a82bb4ad35a2baa2105 Author: David Malcolm Date: Mon Aug 26 12:24:21 2024 -0400 testsuite: generalize support for Python tests for SARIF output In r15-2354-g4d1f71d49e396c I added t

[gcc r15-3309] Use std::unique_ptr for optinfo_item

https://gcc.gnu.org/g:464a3d2fe53362281eba123c3099346f625edd58 commit r15-3309-g464a3d2fe53362281eba123c3099346f625edd58 Author: David Malcolm Date: Thu Aug 29 18:48:16 2024 -0400 Use std::unique_ptr for optinfo_item As preliminary work towards an overhaul of how optinfo_items

[gcc r15-3310] pretty-print: move class chunk_info into its own header

https://gcc.gnu.org/g:68a0ca66972a0607b3e90ae51521da9b12ad63ca commit r15-3310-g68a0ca66972a0607b3e90ae51521da9b12ad63ca Author: David Malcolm Date: Thu Aug 29 18:48:20 2024 -0400 pretty-print: move class chunk_info into its own header No functional change intended. gcc/c

[gcc r15-3312] SARIF output: implement embedded URLs in messages (§3.11.6; PR other/116419)

https://gcc.gnu.org/g:aff7f677120ec394adcedd0dd5cc3afa3b5be102 commit r15-3312-gaff7f677120ec394adcedd0dd5cc3afa3b5be102 Author: David Malcolm Date: Thu Aug 29 18:48:32 2024 -0400 SARIF output: implement embedded URLs in messages (§3.11.6; PR other/116419) GCC diagnostic messages

[gcc r15-3311] pretty-print: reimplement pp_format with a new struct pp_token

https://gcc.gnu.org/g:e31b61769965674c7005277f2d9a5db2f6c30f3a commit r15-3311-ge31b61769965674c7005277f2d9a5db2f6c30f3a Author: David Malcolm Date: Thu Aug 29 18:48:27 2024 -0400 pretty-print: reimplement pp_format with a new struct pp_token The following patch rewrites the inter

[gcc r15-3430] pretty-print: add selftest of pp_format's stack

https://gcc.gnu.org/g:d0891f3aa75d31744de728905f2f454e9d07ce54 commit r15-3430-gd0891f3aa75d31744de728905f2f454e9d07ce54 Author: David Malcolm Date: Tue Sep 3 15:11:01 2024 -0400 pretty-print: add selftest of pp_format's stack gcc/ChangeLog: * pretty-print-format-impl.

[gcc r15-3429] pretty-print: naming cleanups

https://gcc.gnu.org/g:34f01475611b422668a70744c79273c7019625f2 commit r15-3429-g34f01475611b422668a70744c79273c7019625f2 Author: David Malcolm Date: Tue Sep 3 15:10:56 2024 -0400 pretty-print: naming cleanups This patch is a followup to r15-3311-ge31b6176996567 making some cle

[gcc r15-3431] pretty-print: split up pretty_printer::format into subroutines

https://gcc.gnu.org/g:07e74798b93c256bea3a91895d3517223a58da61 commit r15-3431-g07e74798b93c256bea3a91895d3517223a58da61 Author: David Malcolm Date: Tue Sep 3 15:11:06 2024 -0400 pretty-print: split up pretty_printer::format into subroutines The body of pretty_printer::format is a

[gcc r15-3551] analyzer: fix "unused variable 'summary_cast_reg'" warning

https://gcc.gnu.org/g:6e35b0e8572a71d0e6f407cc356592a0b97fc298 commit r15-3551-g6e35b0e8572a71d0e6f407cc356592a0b97fc298 Author: David Malcolm Date: Mon Sep 9 15:30:42 2024 -0400 analyzer: fix "unused variable 'summary_cast_reg'" warning I missed this in r15-1108-g70f26314b62e2d.

[gcc r15-3553] SARIF output: fix schema URL [§3.13.3, PR116603]

https://gcc.gnu.org/g:38dc2c64710aa0e6a03c0c1201477e3e75b1a0b0 commit r15-3553-g38dc2c64710aa0e6a03c0c1201477e3e75b1a0b0 Author: David Malcolm Date: Mon Sep 9 19:38:11 2024 -0400 SARIF output: fix schema URL [§3.13.3, PR116603] We were using https://raw.githubusercontent.co

[gcc r15-3555] diagnostics: replace option_hooks with a diagnostic_option_manager class

https://gcc.gnu.org/g:a97448e92eb76a69b4183183d14a791f9b76cc8d commit r15-3555-ga97448e92eb76a69b4183183d14a791f9b76cc8d Author: David Malcolm Date: Mon Sep 9 19:38:12 2024 -0400 diagnostics: replace option_hooks with a diagnostic_option_manager class Introduce a diagnostic_option

[gcc r15-3554] diagnostics: rename dc.printer to m_printer [PR116613]

https://gcc.gnu.org/g:19363bf5564ffbe992265a1e69a0d99a0d29f016 commit r15-3554-g19363bf5564ffbe992265a1e69a0d99a0d29f016 Author: David Malcolm Date: Mon Sep 9 19:38:12 2024 -0400 diagnostics: rename dc.printer to m_printer [PR116613] Rename diagnostic_context's "printer" field to

[gcc r15-3556] diagnostics: introduce struct diagnostic_option_id

https://gcc.gnu.org/g:89991f31c5ded21179b12a9f4063c2b8fabc2e3b commit r15-3556-g89991f31c5ded21179b12a9f4063c2b8fabc2e3b Author: David Malcolm Date: Mon Sep 9 19:38:13 2024 -0400 diagnostics: introduce struct diagnostic_option_id Use a new struct diagnostic_option_id rather than j

[gcc r15-1633] testsuite: use check-jsonschema for validating .sarif files [PR109360]

https://gcc.gnu.org/g:17967907102099806dc80c71ee7665ffb22ffa23 commit r15-1633-g17967907102099806dc80c71ee7665ffb22ffa23 Author: David Malcolm Date: Tue Jun 25 20:26:21 2024 -0400 testsuite: use check-jsonschema for validating .sarif files [PR109360] As reported here: https:

[gcc r15-1634] diagnostics: eliminate various implicit uses of global_dc

https://gcc.gnu.org/g:d681c5211e613c64d149e734b15cdcf7d542342e commit r15-1634-gd681c5211e613c64d149e734b15cdcf7d542342e Author: David Malcolm Date: Tue Jun 25 20:26:30 2024 -0400 diagnostics: eliminate various implicit uses of global_dc This patch eliminates all implicit uses of

[gcc r15-1635] diagnostics: introduce diagnostic-global-context.cc

https://gcc.gnu.org/g:3800a78a767f463bed6948c640eee4250781e62e commit r15-1635-g3800a78a767f463bed6948c640eee4250781e62e Author: David Malcolm Date: Tue Jun 25 20:26:35 2024 -0400 diagnostics: introduce diagnostic-global-context.cc This moves all of the uses of global_dc within di

[gcc r15-1845] analyzer: handle at -O0 [PR115724]

https://gcc.gnu.org/g:a6fdb1a2a2906103afd70fa68cf7c45e896b8fbb commit r15-1845-ga6fdb1a2a2906103afd70fa68cf7c45e896b8fbb Author: David Malcolm Date: Thu Jul 4 14:44:51 2024 -0400 analyzer: handle at -O0 [PR115724] At -O0, glibc's: __extern_always_inline void error (i

gcc-cvs@gcc.gnu.org

https://gcc.gnu.org/g:f8c130cdf531653e5c041d247729851419bc7bde commit r15-1846-gf8c130cdf531653e5c041d247729851419bc7bde Author: David Malcolm Date: Thu Jul 4 14:44:51 2024 -0400 analyzer: convert sm_context * to sm_context & These are never nullptr and never change, so use a refe

[gcc r15-1900] c-format.cc: add ctors to format_check_results and format_check_context

https://gcc.gnu.org/g:113b5ce0610207717f651a3f8a3f1123d93f97af commit r15-1900-g113b5ce0610207717f651a3f8a3f1123d93f97af Author: David Malcolm Date: Mon Jul 8 18:55:28 2024 -0400 c-format.cc: add ctors to format_check_results and format_check_context This is a minor cleanup I spot

[gcc r15-1913] diagnostics: use refs rather than pointers for diagnostic_{path, context}

https://gcc.gnu.org/g:2d6e6a77e840b7b93d1f18708aa08ced8b46282e commit r15-1913-g2d6e6a77e840b7b93d1f18708aa08ced8b46282e Author: David Malcolm Date: Tue Jul 9 11:22:32 2024 -0400 diagnostics: use refs rather than pointers for diagnostic_{path,context} Use const & rather than const

[gcc r15-2015] diagnostics: add highlight-a vs highlight-b in colorization and pp_markup

https://gcc.gnu.org/g:7d73c01ce6d1ab28157a7dadcd3be14f96a7c8f3 commit r15-2015-g7d73c01ce6d1ab28157a7dadcd3be14f96a7c8f3 Author: David Malcolm Date: Sat Jul 13 10:34:51 2024 -0400 diagnostics: add highlight-a vs highlight-b in colorization and pp_markup Since r6-4582-g8a64515099e6

[gcc r15-2279] json: add array::append_string

https://gcc.gnu.org/g:3f14878fbfcd69b316e2be195c3377a750ad6031 commit r15-2279-g3f14878fbfcd69b316e2be195c3377a750ad6031 Author: David Malcolm Date: Wed Jul 24 18:07:51 2024 -0400 json: add array::append_string No functional change intended. gcc/analyzer/ChangeLog:

[gcc r15-2278] json: add dump overload for easier debugging

https://gcc.gnu.org/g:6baa26c3d6ceec1aba5f143dbfef00e24aa795bb commit r15-2278-g6baa26c3d6ceec1aba5f143dbfef00e24aa795bb Author: David Malcolm Date: Wed Jul 24 18:07:51 2024 -0400 json: add dump overload for easier debugging This has saved me a lot of typing in the debugger.

[gcc r15-2280] analyzer: reduce use of naked "new" for json dumps

https://gcc.gnu.org/g:78d1906c982ad49a0742a7bc1624762159ca165c commit r15-2280-g78d1906c982ad49a0742a7bc1624762159ca165c Author: David Malcolm Date: Wed Jul 24 18:07:52 2024 -0400 analyzer: reduce use of naked "new" for json dumps No functional change intended. gcc/analyz

[gcc r15-2281] gcov: reduce use of naked "new" for json output

https://gcc.gnu.org/g:da0def223e82a4a9400915b2957e96f9f060f5af commit r15-2281-gda0def223e82a4a9400915b2957e96f9f060f5af Author: David Malcolm Date: Wed Jul 24 18:07:52 2024 -0400 gcov: reduce use of naked "new" for json output No functional change intended. gcc/ChangeLog

[gcc r15-2282] diagnostics: SARIF output: add sarif_object subclasses throughout

https://gcc.gnu.org/g:5342c63f4fb49c110c6252538cb954779c6ff156 commit r15-2282-g5342c63f4fb49c110c6252538cb954779c6ff156 Author: David Malcolm Date: Wed Jul 24 18:07:52 2024 -0400 diagnostics: SARIF output: add sarif_object subclasses throughout No functional change intended.

[gcc r15-2283] diagnostics: output formats: use references for non-null pointers

https://gcc.gnu.org/g:29522bff8f4940a6b4307da0021e257c98eeecea commit r15-2283-g29522bff8f4940a6b4307da0021e257c98eeecea Author: David Malcolm Date: Wed Jul 24 18:07:53 2024 -0400 diagnostics: output formats: use references for non-null pointers No functional change intended.

[gcc r15-2284] json: support std::unique_ptr in array::append and object::set

https://gcc.gnu.org/g:2486234b5ae0d71ca7bbdc6e216b4707cd5bef15 commit r15-2284-g2486234b5ae0d71ca7bbdc6e216b4707cd5bef15 Author: David Malcolm Date: Wed Jul 24 18:07:53 2024 -0400 json: support std::unique_ptr in array::append and object::set This patch uses templates to add overl

[gcc r15-2285] diagnostics: SARIF output: use std::unique_ptr throughout

https://gcc.gnu.org/g:ee2dad94acc88c2ea78a91b7eb8914e7c1bae829 commit r15-2285-gee2dad94acc88c2ea78a91b7eb8914e7c1bae829 Author: David Malcolm Date: Wed Jul 24 18:07:53 2024 -0400 diagnostics: SARIF output: use std::unique_ptr throughout No functional change intended. gcc

[gcc r15-2286] diagnostics: JSON output: use std::unique_ptr throughout

https://gcc.gnu.org/g:ae4f4f767efc156aac4b2e7a874648fdc60307f3 commit r15-2286-gae4f4f767efc156aac4b2e7a874648fdc60307f3 Author: David Malcolm Date: Wed Jul 24 18:07:54 2024 -0400 diagnostics: JSON output: use std::unique_ptr throughout No functional change intended. gcc/

[gcc r15-2287] diagnostics: SARIF output: potentially add escaped renderings of source (§3.3.4)

https://gcc.gnu.org/g:148066bd0560b5136692991dacba15c9f21caf96 commit r15-2287-g148066bd0560b5136692991dacba15c9f21caf96 Author: David Malcolm Date: Wed Jul 24 18:07:54 2024 -0400 diagnostics: SARIF output: potentially add escaped renderings of source (§3.3.4) This patch adds sup

[gcc r15-2288] diagnostics: SARIF output: add "workingDirectory" property (§3.20.19)

https://gcc.gnu.org/g:8c07814f46ca617ccc5f9fbf2b220dc41ae228c2 commit r15-2288-g8c07814f46ca617ccc5f9fbf2b220dc41ae228c2 Author: David Malcolm Date: Wed Jul 24 18:07:55 2024 -0400 diagnostics: SARIF output: add "workingDirectory" property (§3.20.19) gcc/ChangeLog: * di

[gcc r15-2289] diagnostics: SARIF output: add "arguments" property (§3.20.2)

https://gcc.gnu.org/g:29ee588129bf07d3adb62b6c2c189ba932c00ff4 commit r15-2289-g29ee588129bf07d3adb62b6c2c189ba932c00ff4 Author: David Malcolm Date: Wed Jul 24 18:07:55 2024 -0400 diagnostics: SARIF output: add "arguments" property (§3.20.2) gcc/ChangeLog: * diagnostic

[gcc r15-2290] diagnostics: SARIF output: add "{start,end}TimeUtc" properties (§§3.20.7-8)

https://gcc.gnu.org/g:b4693ce3a0565bb75d0d5698f2ce2ffc53d1ff84 commit r15-2290-gb4693ce3a0565bb75d0d5698f2ce2ffc53d1ff84 Author: David Malcolm Date: Wed Jul 24 18:07:55 2024 -0400 diagnostics: SARIF output: add "{start,end}TimeUtc" properties (§§3.20.7-8) gcc/ChangeLog:

[gcc r15-2291] diagnostics: SARIF output: add "annotations" property (§3.28.6)

https://gcc.gnu.org/g:d7a688fc960f78c62aacdc5acb8432873fed300e commit r15-2291-gd7a688fc960f78c62aacdc5acb8432873fed300e Author: David Malcolm Date: Wed Jul 24 18:07:56 2024 -0400 diagnostics: SARIF output: add "annotations" property (§3.28.6) This patch extends our SARIF output s

[gcc r15-2292] diagnostics: add selftests for SARIF output

https://gcc.gnu.org/g:68c7747dd29016d51e6f04e7fe1d8543423f093f commit r15-2292-g68c7747dd29016d51e6f04e7fe1d8543423f093f Author: David Malcolm Date: Wed Jul 24 18:07:56 2024 -0400 diagnostics: add selftests for SARIF output The existing DejaGnu-based tests for our SARIF output use

[gcc r15-2293] diagnostics: SARIF output: tweak output for UNKNOWN_LOCATION

https://gcc.gnu.org/g:142003df61b45ba8fcd17a68909a8ea0782a6679 commit r15-2293-g142003df61b45ba8fcd17a68909a8ea0782a6679 Author: David Malcolm Date: Wed Jul 24 18:07:57 2024 -0400 diagnostics: SARIF output: tweak output for UNKNOWN_LOCATION gcc/ChangeLog: * diagnostic-

[gcc r14-9526] analyzer: support null operands in remove_ssa_names

https://gcc.gnu.org/g:3c2827d75ea8fbf7b84bd69e8d10dc239e5daffe commit r14-9526-g3c2827d75ea8fbf7b84bd69e8d10dc239e5daffe Author: David Malcolm Date: Mon Mar 18 18:44:32 2024 -0400 analyzer: support null operands in remove_ssa_names gcc/analyzer/ChangeLog: * access-diag

[gcc r14-9527] analyzer: fix ICEs due to sloppy types in bounds-checking [PR110902, PR110928, PR111305, PR111441]

https://gcc.gnu.org/g:1579394c9ecf3d1f678daa54b835c7fc3b76fb6d commit r14-9527-g1579394c9ecf3d1f678daa54b835c7fc3b76fb6d Author: David Malcolm Date: Mon Mar 18 18:44:34 2024 -0400 analyzer: fix ICEs due to sloppy types in bounds-checking [PR110902,PR110928,PR111305,PR111441] Vari

[gcc r14-9544] analyzer: fixes to __atomic_{exchange, load, store} [PR114286]

https://gcc.gnu.org/g:c7a774edbf802d79b95871ede5b80f6e9adf8e88 commit r14-9544-gc7a774edbf802d79b95871ede5b80f6e9adf8e88 Author: David Malcolm Date: Tue Mar 19 09:06:45 2024 -0400 analyzer: fixes to __atomic_{exchange,load,store} [PR114286] In r14-1497-gef768035ae8090 I added some

[gcc r14-9554] diagnostics: fix corrupt json/SARIF on stderr [PR114348]

https://gcc.gnu.org/g:0bf99b1b7eda2f4c34b9f56b895980ea1c261765 commit r14-9554-g0bf99b1b7eda2f4c34b9f56b895980ea1c261765 Author: David Malcolm Date: Tue Mar 19 13:57:35 2024 -0400 diagnostics: fix corrupt json/SARIF on stderr [PR114348] Various values of -fdiagnostics-format= requ

[gcc r14-9555] analyzer: fix ICE due to corrupt MEM_REFs [PR113505]

https://gcc.gnu.org/g:c87f1f3d660f4103c91c72a4d3e1d19ff2858671 commit r14-9555-gc87f1f3d660f4103c91c72a4d3e1d19ff2858671 Author: Jakub Jelinek Date: Tue Mar 19 16:06:13 2024 -0400 analyzer: fix ICE due to corrupt MEM_REFs [PR113505] gcc/analyzer/ChangeLog PR analyzer/1

[gcc r14-9586] analyzer: fix -Wanalyzer-deref-before-check false positive seen in loop header macro [PR109251]

https://gcc.gnu.org/g:9093f275e0a3430e4517e782e7f5419d403113f7 commit r14-9586-g9093f275e0a3430e4517e782e7f5419d403113f7 Author: David Malcolm Date: Wed Mar 20 18:33:11 2024 -0400 analyzer: fix -Wanalyzer-deref-before-check false positive seen in loop header macro [PR109251] gcc/

[gcc r14-9600] analyzer: fix ignored constraints involving casts [PR113619]

https://gcc.gnu.org/g:7a5a4a4467b2e18ff4fe24f565e120280d3e6ba7 commit r14-9600-g7a5a4a4467b2e18ff4fe24f565e120280d3e6ba7 Author: David Malcolm Date: Thu Mar 21 17:48:38 2024 -0400 analyzer: fix ignored constraints involving casts [PR113619] gcc/analyzer/ChangeLog: PR a

[gcc r14-9624] analyzer: add SARIF property bags to taint diagnostics

https://gcc.gnu.org/g:d475a4571ef310a727a1023856b070f195910140 commit r14-9624-gd475a4571ef310a727a1023856b070f195910140 Author: David Malcolm Date: Fri Mar 22 10:57:20 2024 -0400 analyzer: add SARIF property bags to taint diagnostics Another followup to r14-6057-g12b67d1e13b3cf t

[gcc r14-9625] analyzer: look through casts in taint sanitization [PR112974, PR112975]

https://gcc.gnu.org/g:c6cf5789135236c5639075c8f235e7dd461b6ff6 commit r14-9625-gc6cf5789135236c5639075c8f235e7dd461b6ff6 Author: David Malcolm Date: Fri Mar 22 10:57:25 2024 -0400 analyzer: look through casts in taint sanitization [PR112974,PR112975] PR analyzer/112974 and PR anal

[gcc r14-9646] analyzer: fix ICE and false positive with -Wanalyzer-deref-before-check [PR114408]

https://gcc.gnu.org/g:80a0cb37456c49dbc25cca7cd554f78bc504373e commit r14-9646-g80a0cb37456c49dbc25cca7cd554f78bc504373e Author: David Malcolm Date: Sat Mar 23 09:52:38 2024 -0400 analyzer: fix ICE and false positive with -Wanalyzer-deref-before-check [PR114408] gcc/analyzer/Chan

[gcc r14-9697] analyzer: fix ICE due to type mismatch when replaying call summary [PR114473]

https://gcc.gnu.org/g:fdd59818e2abf6043f4d45aeb157e95956c71088 commit r14-9697-gfdd59818e2abf6043f4d45aeb157e95956c71088 Author: David Malcolm Date: Wed Mar 27 18:26:51 2024 -0400 analyzer: fix ICE due to type mismatch when replaying call summary [PR114473] gcc/analyzer/ChangeLog

[gcc r14-9762] analyzer: prevent ICEs with null types

https://gcc.gnu.org/g:e945d322fcbc68f91388b1d1297bdf6a6c6fcbaa commit r14-9762-ge945d322fcbc68f91388b1d1297bdf6a6c6fcbaa Author: David Malcolm Date: Tue Apr 2 17:42:16 2024 -0400 analyzer: prevent ICEs with null types Fixes some ICEs seen analyzing the Linux kernel. gcc/a

[gcc r14-9817] analyzer: respect GCC_COLORS in out-of-bounds diagrams [PR114588]

https://gcc.gnu.org/g:4b02dd48f531ea88587edd2b75b6e5243b4389e8 commit r14-9817-g4b02dd48f531ea88587edd2b75b6e5243b4389e8 Author: David Malcolm Date: Fri Apr 5 14:49:53 2024 -0400 analyzer: respect GCC_COLORS in out-of-bounds diagrams [PR114588] gcc/analyzer/ChangeLog:

[gcc r14-9896] analyzer, testuite: comment fixes

https://gcc.gnu.org/g:082374f6570a311b0ef95cdf712dbc6eb1e7cd17 commit r14-9896-g082374f6570a311b0ef95cdf712dbc6eb1e7cd17 Author: David Malcolm Date: Wed Apr 10 16:43:27 2024 -0400 analyzer, testuite: comment fixes gcc/testsuite/ChangeLog: * c-c++-common/analyzer/memset

[gcc r14-9897] analyzer: fixes to internal docs

https://gcc.gnu.org/g:7f6599a201be2a3f7d1d799087e4ba283ec0bee8 commit r14-9897-g7f6599a201be2a3f7d1d799087e4ba283ec0bee8 Author: David Malcolm Date: Wed Apr 10 16:43:28 2024 -0400 analyzer: fixes to internal docs gcc/ChangeLog: * doc/analyzer.texi: Various tweaks.

[gcc r14-9895] testsuite: add some missing -fanalyzer to plugin tests

https://gcc.gnu.org/g:d09d70cdb2a4bc45825fc887047ef4a20de590c6 commit r14-9895-gd09d70cdb2a4bc45825fc887047ef4a20de590c6 Author: David Malcolm Date: Wed Apr 10 16:43:27 2024 -0400 testsuite: add some missing -fanalyzer to plugin tests gcc/testsuite/ChangeLog: * gcc.dg/

[gcc r14-9902] analyzer: fix ICE on negative values for size_t [PR114472]

https://gcc.gnu.org/g:4a94551d7eaaf7a75c5195fc0bf4af94185a04c7 commit r14-9902-g4a94551d7eaaf7a75c5195fc0bf4af94185a04c7 Author: David Malcolm Date: Wed Apr 10 16:43:30 2024 -0400 analyzer: fix ICE on negative values for size_t [PR114472] I made several attempts to fix this proper

[gcc r14-9898] analyzer: show size in SARIF property bag for -Wanalyzer-tainted-allocation-size

https://gcc.gnu.org/g:115d5c6b009456e7e817dc5f1aeaea8d38929c93 commit r14-9898-g115d5c6b009456e7e817dc5f1aeaea8d38929c93 Author: David Malcolm Date: Wed Apr 10 16:43:28 2024 -0400 analyzer: show size in SARIF property bag for -Wanalyzer-tainted-allocation-size gcc/analyzer/Change

[gcc r14-9899] analyzer: add SARIF property bags to -Wanalyzer-overlapping-buffers

https://gcc.gnu.org/g:7a49d5dc0ef345fb2cb19a242272c973ead220e7 commit r14-9899-g7a49d5dc0ef345fb2cb19a242272c973ead220e7 Author: David Malcolm Date: Wed Apr 10 16:43:28 2024 -0400 analyzer: add SARIF property bags to -Wanalyzer-overlapping-buffers gcc/analyzer/ChangeLog:

[gcc r14-9900] analyzer: add SARIF property bag to -Wanalyzer-infinite-recursion

https://gcc.gnu.org/g:960e07d73a5295adf059053907bcb395115606d2 commit r14-9900-g960e07d73a5295adf059053907bcb395115606d2 Author: David Malcolm Date: Wed Apr 10 16:43:29 2024 -0400 analyzer: add SARIF property bag to -Wanalyzer-infinite-recursion gcc/analyzer/ChangeLog:

[gcc r14-9901] analyzer: add SARIF property bag to -Wanalyzer-infinite-loop

https://gcc.gnu.org/g:107b0e63be023c11017aa53625a6557950df4d99 commit r14-9901-g107b0e63be023c11017aa53625a6557950df4d99 Author: David Malcolm Date: Wed Apr 10 16:43:29 2024 -0400 analyzer: add SARIF property bag to -Wanalyzer-infinite-loop gcc/analyzer/ChangeLog: * in

[gcc r15-2354] diagnostics: SARIF output: capture #include information (PR 107941; §3.34)

https://gcc.gnu.org/g:4d1f71d49e396cb879d43dc96dc591079af66bbe commit r15-2354-g4d1f71d49e396cb879d43dc96dc591079af66bbe Author: David Malcolm Date: Fri Jul 26 20:37:31 2024 -0400 diagnostics: SARIF output: capture #include information (PR 107941; §3.34) This patch extends our SAR

[gcc r15-2463] diagnostics: SARIF output: tweak ASCII art in comment

https://gcc.gnu.org/g:f829e627f40c95855df1c1b6a2903e360f37715b commit r15-2463-gf829e627f40c95855df1c1b6a2903e360f37715b Author: David Malcolm Date: Wed Jul 31 20:38:40 2024 -0400 diagnostics: SARIF output: tweak ASCII art in comment gcc/ChangeLog: * diagnostic-format-

[gcc r15-2464] diagnostics: SARIF output: eliminate some uses of "line_table" global

https://gcc.gnu.org/g:c990667996ff79cc5be6c898621811eeed4ad0a4 commit r15-2464-gc990667996ff79cc5be6c898621811eeed4ad0a4 Author: David Malcolm Date: Wed Jul 31 20:38:40 2024 -0400 diagnostics: SARIF output: eliminate some uses of "line_table" global No functional change intended.

[gcc r15-2465] diagnostics: SARIF output: capture unlabelled secondary locations

https://gcc.gnu.org/g:a874b8301d9aa0421522d5aa11736f1510edb13a commit r15-2465-ga874b8301d9aa0421522d5aa11736f1510edb13a Author: David Malcolm Date: Wed Jul 31 20:38:41 2024 -0400 diagnostics: SARIF output: capture unlabelled secondary locations This patch extends * the work d

[gcc r15-2466] testsuite: drop unused import within sarif.py

https://gcc.gnu.org/g:5cb7adeaf5420c7a4e07f70ac09ee087b2e60654 commit r15-2466-g5cb7adeaf5420c7a4e07f70ac09ee087b2e60654 Author: David Malcolm Date: Wed Jul 31 20:38:41 2024 -0400 testsuite: drop unused import within sarif.py No functional change intended. gcc/testsuite/C

[gcc r15-2467] diagnostics: handle logical locations with NULL name

https://gcc.gnu.org/g:55982d1682921fdaf595c28f84f63d600558d150 commit r15-2467-g55982d1682921fdaf595c28f84f63d600558d150 Author: David Malcolm Date: Wed Jul 31 20:38:41 2024 -0400 diagnostics: handle logical locations with NULL name gcc/ChangeLog: * diagnostic-path.cc

[gcc r15-2468] testsuite: split out parts of jit.dg/jit.exp into a new lib/valgrind.exp

https://gcc.gnu.org/g:64fbaf36a3834c394422cdf86985c7cc45179925 commit r15-2468-g64fbaf36a3834c394422cdf86985c7cc45179925 Author: David Malcolm Date: Wed Jul 31 20:38:41 2024 -0400 testsuite: split out parts of jit.dg/jit.exp into a new lib/valgrind.exp I want to reuse some of the

[gcc r15-2769] diagnostics: SARIF output: fix "executionSuccessful" §3.20.14 [PR116177]

https://gcc.gnu.org/g:77f36e8016e11c051aa8264f3c43ab2c27aece55 commit r15-2769-g77f36e8016e11c051aa8264f3c43ab2c27aece55 Author: David Malcolm Date: Tue Aug 6 18:24:45 2024 -0400 diagnostics: SARIF output: fix "executionSuccessful" §3.20.14 [PR116177] Previously the invocation's "

  1   2   3   >