[Bug c/97687] -Wfatal-errors prints some notes but not others

2024-06-26 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97687 --- Comment #4 from David Malcolm --- In particular, consider e.g. the cases of SARIF and json output.

[Bug c/97687] -Wfatal-errors prints some notes but not others

2024-06-26 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97687 --- Comment #5 from David Malcolm --- Created attachment 58523 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=58523&action=edit WIP patch to try to print all notes for an error with -Wfatal-errors Am attaching an experimental patch for thi

[Bug c/97687] -Wfatal-errors prints some notes but not others

2024-06-26 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97687 David Malcolm changed: What|Removed |Added Keywords||patch --- Comment #6 from David Malcolm

[Bug c/97687] -Wfatal-errors prints some notes but not others

2024-06-26 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97687 --- Comment #7 from David Malcolm --- (In reply to David Malcolm from comment #5) > scope of the auto_diagnostic_context. ^^^ auto_diagnostic_group

[Bug analyzer/115680] ICE in on_ranges, at analyzer/constraint-manager.cc:3166

2024-06-27 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115680 David Malcolm changed: What|Removed |Added Ever confirmed|0 |1 Last reconfirmed|

[Bug analyzer/115724] analyzer does not recognise glibc (GNU) extension, non-returning error

2024-07-02 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115724 --- Comment #4 from David Malcolm --- The analyzer *does* try to handle error() and error_at_line() from GNU's non-standard ; see: https://gcc.gnu.org/git/?p=gcc.git;a=blob;f=gcc/analyzer/kf.cc;h=4213b89ac9fb4ff11994cf2c35f15a281be3b024;hb=HEAD#

[Bug analyzer/115724] analyzer does not recognise glibc (GNU) extension, non-returning error

2024-07-02 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115724 --- Comment #5 from David Malcolm --- glib'c bits/error.h has: /* If we know the function will never return make sure the compiler realizes that, too. */ __extern_always_inline void error (int __status, int __errnum, const char *__format, .

[Bug analyzer/115724] analyzer does not recognise glibc (GNU) extension, non-returning error

2024-07-02 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115724 --- Comment #6 from David Malcolm --- Posted to mailing lists: https://gcc.gnu.org/pipermail/gcc/2024-July/244257.html https://sourceware.org/pipermail/libc-alpha/2024-July/157942.html

[Bug analyzer/115724] analyzer does not recognise glibc (GNU) extension, non-returning error

2024-07-02 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115724 David Malcolm changed: What|Removed |Added Status|NEW |ASSIGNED --- Comment #7 from David Malc

[Bug analyzer/115735] Analyzer misses trivial syslog() call in signal handler for -Wanalyzer-unsafe-call-within-signal-handler

2024-07-02 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115735 --- Comment #3 from David Malcolm --- The analyzer's list of functions known to be signal unsafe was introduced in r10-5959-g4804c5fe965eef and has only gained "exit" since then, in r11-577-g2221fb6f668a7e. Is there a wider list of such functio

[Bug analyzer/115736] Analyzer is sensitive to printf argument (or puts does not warn) for -Wanalyzer-unsafe-call-within-signal-handler

2024-07-03 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115736 --- Comment #2 from David Malcolm --- Indeed. Is "puts" safe or unsafe to call from a signal handler?

[Bug analyzer/115735] Analyzer misses trivial syslog() call in signal handler for -Wanalyzer-unsafe-call-within-signal-handler

2024-07-03 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115735 --- Comment #8 from David Malcolm --- Not only are we not treating "syslog" as unsafe, we're also failing to handle sigaction as a way of setting a signal handler. I'm taking a look.

[Bug analyzer/115735] Analyzer misses trivial syslog() call in signal handler for -Wanalyzer-unsafe-call-within-signal-handler

2024-07-03 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115735 --- Comment #9 from David Malcolm --- (In reply to Sam James from comment #4) > Hi David, I started hacking up a list based on the man pages I had from > `man-pages` & removing the POSIX list of safe functions, but it's kind of > gross. It's not

[Bug analyzer/115735] Analyzer misses trivial syslog() call in signal handler for -Wanalyzer-unsafe-call-within-signal-handler

2024-07-03 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115735 --- Comment #11 from David Malcolm --- FWIW I just noticed that your reproducer is wrong (I think) whilst trying to implement sigaction: if you're going to use sa_sigaction for the function pointer (rather than sa_handler), you have to set the S

[Bug analyzer/115724] analyzer does not recognise glibc (GNU) extension, non-returning error

2024-07-04 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115724 --- Comment #9 from David Malcolm --- Fixed by the above patch for trunk for gcc 15. Handling of "error" was added in r11-7333-g5ee4ba031dd9fc to fix PR analyzer/99196 so keeping this open to track backporting to earlier branches.

[Bug analyzer/115784] -Wanalyzer-infinite-loop does not take into account noreturn attribute

2024-07-05 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115784 --- Comment #1 from David Malcolm --- Thanks for filing this bug report. The analyzer reports -Wanalyzer-infinite-loop on the example code you posted; trunk on Compiler Explorer: https://godbolt.org/z/WzPEc3hxh But it is indeed an infinite loo

[Bug analyzer/115784] -Wanalyzer-infinite-loop does not take into account noreturn attribute

2024-07-05 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115784 David Malcolm changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution|---

[Bug other/84889] Ideas on revamping how we format diagnostics

2024-07-16 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84889 --- Comment #25 from David Malcolm --- (In reply to David Malcolm from comment #0) [...snip...] > We might want to revisit our current colorization choices. Done, in https://gcc.gnu.org/pipermail/gcc-patches/2024-July/657201.html Screenshots

[Bug other/115970] New: RFE: add support for sending SARIF output to a pipe

2024-07-17 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
Priority: P3 Component: other Assignee: unassigned at gcc dot gnu.org Reporter: dmalcolm at gcc dot gnu.org Target Milestone: --- https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p3358r0.html#msvc describes a feature of Visual Studio 2022 version 17.8. which

[Bug other/115970] RFE: add support for sending SARIF output to a pipe

2024-07-17 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115970 --- Comment #2 from David Malcolm --- One difference here is that VS code is sending the diagnostics one at a time as JSON-RPC messages containing SARIF "result" objects as they occur, whereas currently we write all our SARIF output at once on e

[Bug analyzer/116006] New: RFE: detect usage of pointers to local variables that are out of scope

2024-07-19 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
: normal Priority: P3 Component: analyzer Assignee: dmalcolm at gcc dot gnu.org Reporter: dmalcolm at gcc dot gnu.org Target Milestone: --- Consider e.g.: struct A *extref = something; ... for (int i = 0; i < n; i++) { struct A intref = *ext

[Bug middle-end/107941] json diagnostics format does not include header stack info

2024-07-20 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107941 David Malcolm changed: What|Removed |Added Keywords||SARIF --- Comment #5 from David Malcolm

[Bug translation/79423] Translation of warnings breaks IDE parsing of output

2024-07-22 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79423 --- Comment #7 from David Malcolm --- We've had -fdiagnostics-format=json since GCC 9, and -fdiagnostics-format=sarif-{file,stderr} support since GCC 13, IIRC. Arguably an IDE should be using the latter instead.

[Bug middle-end/107941] json diagnostics format does not include header stack info

2024-07-26 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107941 David Malcolm changed: What|Removed |Added Status|NEW |RESOLVED Resolution|---

[Bug bootstrap/117109] [15 Regression] "make gcc.pot" fails with "emit_diagnostic used incompatibly" since r15-4081-g385a232229a5b4 (diagnostics: bulletproof opening of SARIF output)

2024-10-14 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117109 David Malcolm changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug other/116613] RFE: support outputting diagnostics in *multiple* formats

2024-10-14 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116613 --- Comment #22 from David Malcolm --- (In reply to David Malcolm from comment #18) [...snip...] > > I have work-in-progress patches that implement this as a new > -fdiagnostics-add-output= > option, but they're not yet ready to push upstream

[Bug c++/117152] [15 Regression] Segmentation fault in permerror(unsigned int, char const*, ...)

2024-10-15 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117152 --- Comment #4 from David Malcolm --- It's happening here: (gdb) bt #0 0x00f95395 in dump_function_name (pp=0x4d00c40 , t=, flags=148) at ../../src/gcc/cp/error.cc:2139 #1 0x00f94109 in dump_function_decl (pp=0x4d00c40 , t

[Bug other/116613] RFE: support outputting diagnostics in *multiple* formats

2024-10-14 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116613 --- Comment #23 from David Malcolm --- (In reply to David Malcolm from comment #21) [...snip...] > > FWIW SARIF has a distinction between a "result" and a "notification" where > the former refer to the software under test, and the latter to the

[Bug jit/117047] [15 regression] Segfault in libgccjit garbage collection when compiling GNU Emacs with Native Compilation

2024-10-09 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117047 David Malcolm changed: What|Removed |Added Summary|[15 regression] Segfault in |[15 regression] Segfault in

[Bug other/116613] RFE: support outputting diagnostics in *multiple* formats

2024-10-11 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116613 --- Comment #18 from David Malcolm --- (In reply to Kamil Dudka from comment #16) > (In reply to David Malcolm from comment #15) > > (In reply to Kamil Dudka from comment #14) [...snip...] > > > Does the above support all your use-cases? > >

[Bug analyzer/116977] Analyzer: track OpenACC "host" vs. "device" pointers

2024-10-04 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116977 --- Comment #3 from David Malcolm --- (In reply to Thomas Schwinge from comment #1) > David, re (a) and (c), do we teach directly the Analyzer about specific > functions (like 'acc_malloc', 'acc_free' if '-fopenacc' is enabled), or do > we add G

[Bug analyzer/116977] Analyzer: track OpenACC "host" vs. "device" pointers

2024-10-04 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116977 --- Comment #2 from David Malcolm --- Thanks for looking at this, and for filing the bug. There are two ways of tracking state in the analyzer: (a) using state machines, like in sm-malloc.cc, which let program_state instances track per-svalue

[Bug other/116978] New: ICE with -fdiagnostics-format=sarif-file when main_input_filename is null

2024-10-04 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
: SARIF Severity: normal Priority: P3 Component: other Assignee: unassigned at gcc dot gnu.org Reporter: dmalcolm at gcc dot gnu.org Target Milestone: --- Running cc1/cc1plus/etc directly like this ICEs: $ ./cc1 -fdiagnostics-format=sarif-file cc1

[Bug other/116970] -ftime-report -fdiagnostics-format=sarif-file causes ICE

2024-10-04 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116970 David Malcolm changed: What|Removed |Added Resolution|--- |DUPLICATE Status|UNCONFIRME

[Bug other/116978] ICE with -fdiagnostics-format=sarif-file when main_input_filename is null

2024-10-04 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116978 David Malcolm changed: What|Removed |Added CC||andi-gcc at firstfloor dot org --- Comm

[Bug other/116978] ICE with -fdiagnostics-format=sarif-file when main_input_filename is null

2024-10-04 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116978 --- Comment #4 from David Malcolm --- Note that if you're invoking cc1 or another compiler directly, rather than via the "gcc" or "xgcc" driver, add -dumpbase foo or similar before -fdiagnostics-format=sarif-file, so that it will write to foo.

[Bug other/116602] RFE: capture GCC backtraces in SARIF output for ICEs

2024-10-16 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116602 David Malcolm changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution|---

[Bug other/116978] ICE with -fdiagnostics-format=sarif-file when main_input_filename is null

2024-10-04 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116978 David Malcolm changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution|---

[Bug analyzer/117262] [15 regression] Analyzer doesn't handle RAW_DATA_CST properly

2024-10-22 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117262 --- Comment #4 from David Malcolm --- (In reply to Jakub Jelinek from comment #2) > Sure, it is trunk only, introduced in r15-4375. > Would be nice if it could be handled similarly to apply_ctor_val_to_range by > creating just a single record fo

[Bug analyzer/117262] [15 regression] Analyzer doesn't handle RAW_DATA_CST properly

2024-10-22 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117262 --- Comment #3 from David Malcolm --- I see: (gdb) pt ctor unit-size align:8 warn_if_not_align:0 symtab:0 alias-set -1 canonical-type 0x7fffea664348 precision:8 min max pointer_to_this > BLK

[Bug analyzer/117262] [15 regression] Analyzer doesn't handle RAW_DATA_CST properly

2024-10-22 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117262 David Malcolm changed: What|Removed |Added Status|UNCONFIRMED |ASSIGNED Ever confirmed|0

[Bug other/116613] RFE: support outputting diagnostics in *multiple* formats

2024-10-14 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116613 --- Comment #20 from David Malcolm --- Created attachment 59344 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=59344&action=edit Generated HTML documentation (In reply to Kamil Dudka from comment #19) > Thank you for working on this! I r

[Bug other/116613] RFE: support outputting diagnostics in *multiple* formats

2024-10-14 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116613 --- Comment #21 from David Malcolm --- (In reply to David Malcolm from comment #20) > (In reply to Kamil Dudka from comment #19) [...snip...] > > Is there a better way to tell gcc to write all diagnostic messages only to > > the specified SARIF

[Bug bootstrap/117109] [15 Regression] "make gcc.pot" fails with "emit_diagnostic used incompatibly" since r15-4081-g385a232229a5b4 (diagnostics: bulletproof opening of SARIF output)

2024-10-14 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
||2024-10-14 Status|UNCONFIRMED |ASSIGNED Assignee|unassigned at gcc dot gnu.org |dmalcolm at gcc dot gnu.org --- Comment #1 from David Malcolm --- Sorry about this; working on a fix.

[Bug other/116613] RFE: support outputting diagnostics in *multiple* formats

2024-10-24 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116613 --- Comment #31 from David Malcolm --- (In reply to Kamil Dudka from comment #27) > Sounds good, looking forward to try out a new COPR build! I've update the COPR to use the latest version of my patches: https://copr.fedorainfracloud.org/copr

[Bug other/116613] RFE: support outputting diagnostics in *multiple* formats

2024-10-29 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116613 David Malcolm changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution|---

[Bug middle-end/117442] [15 Regression] Cannot build libgfortran with enable-gather-detailed-mem-stats after r15-4760-g0b73e9382ab51c

2024-11-05 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
||2024-11-05 Assignee|unassigned at gcc dot gnu.org |dmalcolm at gcc dot gnu.org Ever confirmed|0 |1 --- Comment #1 from David Malcolm --- Seems to happen at exit if there's a buffered diagnostic in error_buffer, due to its g

[Bug fortran/117442] [15 Regression] Cannot build libgfortran with enable-gather-detailed-mem-stats after r15-4760-g0b73e9382ab51c

2024-11-05 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117442 David Malcolm changed: What|Removed |Added Resolution|--- |FIXED Status|ASSIGNED

[Bug bootstrap/117361] [15 Regression] GCC build fails with "gcc/opts-diagnostic.cc:599: test_output_arg_parsing: FAIL: ASSERT_STREQ (pt.get_diagnostic_text ()" when using some locales

2024-11-01 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117361 David Malcolm changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug analyzer/117373] [15 regression] -Wunused-parameter warning in analyzer/infinite-loop.cc

2024-11-01 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117373 David Malcolm changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution|---

[Bug other/116613] RFE: support outputting diagnostics in *multiple* formats

2024-10-23 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116613 Bug 116613 depends on bug 105916, which changed state. Bug 105916 Summary: gfortran -fdiagnostics-format=json/sarif* output contains buffered errors https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105916 What|Removed

[Bug fortran/105916] gfortran -fdiagnostics-format=json/sarif* output contains buffered errors

2024-10-23 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105916 David Malcolm changed: What|Removed |Added Resolution|--- |FIXED Status|NEW

[Bug jit/117275] New: test-functions.c.exe and test-tls.c.exe FAIL on ppc64le with an assertion failure

2024-10-23 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
Severity: normal Priority: P3 Component: jit Assignee: dmalcolm at gcc dot gnu.org Reporter: dmalcolm at gcc dot gnu.org Target Milestone: --- Seen on cfarm120: Within the jit testsuite, test-functions.c and test-tls.c are both failing this assertion on the

[Bug jit/117275] test-functions.c.exe and test-tls.c.exe FAIL on ppc64le with an assertion failure

2024-10-23 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117275 --- Comment #1 from David Malcolm --- The particular assertion was added in r14-5930-gf31a019d1161ec aka f31a019d1161ec78846473da743aedf49cca8c27, so the test failures presumably affect gcc 14 and trunk. There may be other dormant issues on old

[Bug jit/117275] test-functions.c.exe and test-tls.c.exe FAIL on ppc64le with an assertion failure

2024-10-23 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117275 David Malcolm changed: What|Removed |Added Status|UNCONFIRMED |ASSIGNED Ever confirmed|0

[Bug jit/117275] test-functions.c.exe and test-tls.c.exe FAIL on ppc64le with an assertion failure

2024-10-28 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117275 --- Comment #4 from David Malcolm --- Looks like this might have introduced some noise into "make selftest-valgrind": ==2462086== 160 (56 direct, 104 indirect) bytes in 1 blocks are definitely lost in loss record 248 of 352 ==2462086==at 0x

[Bug jit/117275] test-functions.c.exe and test-tls.c.exe FAIL on ppc64le with an assertion failure

2024-10-23 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117275 --- Comment #3 from David Malcolm --- Should be fixed on trunk for gcc 15 by the above patch. Keeping open to track backporting to the active release branches.

[Bug other/116613] RFE: support outputting diagnostics in *multiple* formats

2024-10-23 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116613 --- Comment #26 from David Malcolm --- (In reply to David Malcolm from comment #18) > (In reply to Kamil Dudka from comment #16) > > (In reply to David Malcolm from comment #15) > > > (In reply to Kamil Dudka from comment #14) > > [...snip...]

[Bug bootstrap/117503] [15 Regression] selftests fail if GCC_COLORS are defined

2024-11-12 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117503 David Malcolm changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug bootstrap/117503] [15 Regression] selftests fail if GCC_COLORS are defined

2024-11-12 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117503 David Malcolm changed: What|Removed |Added Status|NEW |ASSIGNED --- Comment #2 from David Malc

[Bug bootstrap/117361] [15 Regression] GCC build fails with "gcc/opts-diagnostic.cc:599: test_output_arg_parsing: FAIL: ASSERT_STREQ (pt.get_diagnostic_text ()" when using some locales

2024-10-31 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117361 David Malcolm changed: What|Removed |Added Status|NEW |ASSIGNED URL|

[Bug other/116253] RFE: support for nested diagnostics

2024-11-12 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116253 David Malcolm changed: What|Removed |Added URL||https://gcc.gnu.org/piperma

[Bug other/116253] RFE: support for nested diagnostics

2024-11-12 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116253 --- Comment #4 from David Malcolm --- Created attachment 59580 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=59580&action=edit Screenshot of textual output, showing colorization

[Bug c++/116771] New: Missing suggestion on mispelled class name

2024-09-18 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: dmalcolm at gcc dot gnu.org Target Milestone: --- I made this typo in C++: class layout_printer { void print_newline (); }; void layout_pirnter::print_newline () { } and noticed that we

[Bug libstdc++/116847] [15 regression] r15-3859-g63a598deb0c9fc causes many excess errors

2024-09-26 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116847 --- Comment #15 from David Malcolm --- Ouch, sorry about this. The -3 patch looks reasonable to me.

[Bug c++/116866] RFE: warn about suspected missing "throw" when discarding temporaries that inherit from std::exception

2024-09-27 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116866 --- Comment #4 from David Malcolm --- (In reply to Jonathan Wakely from comment #3) > If we add [[nodiscard]] to the constructors of the standard exception types > then we get a warning with no compiler changes needed: ...in Compiler Explorer a

[Bug c++/116866] New: RFE: warn about suspected missing "throw" when discarding temporaries that inherit from std::exception

2024-09-27 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
n: unknown Status: UNCONFIRMED Keywords: diagnostic Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: dmalcolm at gcc dot gnu.org Target Milestone: --- See https://gitlab.com/antto/pimp

[Bug c++/116866] RFE: warn about suspected missing "throw" when discarding temporaries that inherit from std::exception

2024-09-27 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116866 --- Comment #2 from David Malcolm --- A simple example: #include int divide(int num, int denom) { if (denom == 0) std::invalid_argument ("division by zero"); // forgot "throw" return num / denom; } which compiles with -Wall wit

[Bug c++/116866] RFE: warn about suspected missing "throw" when discarding temporaries that inherit from std::exception

2024-09-27 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116866 --- Comment #5 from David Malcolm --- (In reply to Jonathan Wakely from comment #3) > If we add [[nodiscard]] to the constructors of the standard exception types > then we get a warning with no compiler changes needed: Is it possible to do this

[Bug other/116792] New: RFE: should we be able to generate diagnostics in HTML format?

2024-09-20 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
Severity: normal Priority: P3 Component: other Assignee: unassigned at gcc dot gnu.org Reporter: dmalcolm at gcc dot gnu.org Target Milestone: --- Currently we can emit diagnostics as: * text to stderr * SARIF to stderr or to a file * "

[Bug other/116613] RFE: support outputting diagnostics in *multiple* formats

2024-10-01 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116613 --- Comment #13 from David Malcolm --- I'm experimenting with a new -fdiagnostics-add-output= with this rough grammar: : ":" key_value_pairs : "text" : "sarif"

[Bug other/116613] RFE: support outputting diagnostics in *multiple* formats

2024-10-02 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116613 --- Comment #15 from David Malcolm --- (In reply to Kamil Dudka from comment #14) > I think that the above described interface looks reasonable. A few > questions: Thanks for the feedback. > 1. Will `file=` work with absolute paths? Yes. Th

[Bug other/116301] RFE: provide support for future SARIF versions

2024-10-02 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116301 David Malcolm changed: What|Removed |Added Last reconfirmed||2024-10-03 Ever confirmed|0

[Bug other/116301] RFE: provide support for future SARIF versions

2024-10-02 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116301 --- Comment #3 from David Malcolm --- Also, perhaps sarif-output.exp could have a loop to run all tests per-sarif-version, rather than just for 2.1.0

[Bug other/116613] RFE: support outputting diagnostics in *multiple* formats

2024-10-25 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116613 --- Comment #33 from David Malcolm --- (In reply to Kamil Dudka from comment #32) > Thanks for the update! I confirm that the man page is readable now and that > the use of -fdiagnostics-set-output= eliminated the duplicated output > without th

[Bug c++/63388] cout of enum class value - segmentation fault

2024-11-06 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63388 David Malcolm changed: What|Removed |Added CC||dmalcolm at gcc dot gnu.org --- Comment

[Bug c/117629] Redefinition of bool type in C23 could have better diagnostic

2024-11-25 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117629 David Malcolm changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |dmalcolm at gcc dot gnu.org

[Bug target/56986] config/epiphany/epiphany.opt:108: "floatig"

2024-11-25 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
||dmalcolm at gcc dot gnu.org Status|NEW |RESOLVED --- Comment #2 from David Malcolm --- Looks like this was fixed by Jakub with r14-10091-g4338ac149e270e.

[Bug c/117629] Redefinition of bool type in C23 could have better diagnostic

2024-11-25 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117629 David Malcolm changed: What|Removed |Added CC||dmalcolm at gcc dot gnu.org

[Bug translation/90160] missing quote in diagnostic

2024-11-25 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90160 David Malcolm changed: What|Removed |Added CC||dmalcolm at gcc dot gnu.org

[Bug translation/90160] missing quote in diagnostic

2024-11-25 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90160 --- Comment #6 from David Malcolm --- (In reply to Roland Illig from comment #2) > From gcn.c: > > error ("unknown specifier %s in amdgpu_hsa_kernel attribute", str); (In reply to Roland Illig from comment #3) > From gcn.c, one more: > > e

[Bug translation/80760] Suggested clarification of an error message

2024-11-25 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80760 David Malcolm changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |dmalcolm at gcc dot gnu.org

[Bug other/117815] RFE: provide a way to capture SARIF for all gcc invocations in a build

2024-11-27 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
||2024-11-27 Assignee|unassigned at gcc dot gnu.org |dmalcolm at gcc dot gnu.org Status|UNCONFIRMED |ASSIGNED --- Comment #1 from David Malcolm --- Created attachment 59732 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=59732&

[Bug other/117815] New: RFE: provide a way to capture SARIF for all gcc invocations in a build

2024-11-27 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
: normal Priority: P3 Component: other Assignee: unassigned at gcc dot gnu.org Reporter: dmalcolm at gcc dot gnu.org Target Milestone: --- It seems useful to have a way to set an environment variable that makes gcc capture SARIF for all invocations. e.g. if

[Bug translation/104552] Mistakes in strings to be translated in GCC 12

2024-11-27 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104552 Bug 104552 depends on bug 104896, which changed state. Bug 104896 Summary: Messages use %<%s%> instead of the idiomatic %qs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104896 What|Removed |Added --

[Bug other/117815] RFE: provide a way to capture SARIF for all gcc invocations in a build

2024-11-27 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117815 --- Comment #3 from David Malcolm --- (In reply to David Malcolm from comment #1) > Created attachment 59732 [details] > Candidate patch > > Patch seems to work, but not yet bootstrapped, and doesn't have automated > test coverage. Successfull

[Bug c/104896] Messages use %<%s%> instead of the idiomatic %qs

2024-11-27 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104896 David Malcolm changed: What|Removed |Added CC||dmalcolm at gcc dot gnu.org

[Bug c++/87850] Add fix-it hint for "invalid conversion from 'X' to 'X*'"

2024-11-27 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87850 David Malcolm changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug c/82892] Spelling hints do not take into account missing compiler options (e.g. -fopenmp)

2024-11-27 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82892 David Malcolm changed: What|Removed |Added Resolution|--- |FIXED Status|ASSIGNED

[Bug other/116253] RFE: support for nested diagnostics

2024-11-17 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116253 --- Comment #7 from David Malcolm --- Created attachment 59611 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=59611&action=edit Screenshot of textual output with followup patches

[Bug other/116253] RFE: support for nested diagnostics

2024-11-17 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116253 --- Comment #6 from David Malcolm --- Followup patches: * [PATCH 1/2] c++: print z candidate count and number them * https://gcc.gnu.org/pipermail/gcc-patches/2024-November/669035.html * [PATCH 2/2] diagnostics: suppress "note: " prefix in ne

[Bug other/96032] RFE: add a way to use output from --fdiagnostics-format=json or sarif as input

2024-11-18 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96032 David Malcolm changed: What|Removed |Added Resolution|--- |FIXED Status|REOPENED

[Bug sarif-replay/96032] RFE: add a way to use output from --fdiagnostics-format=json or sarif as input

2024-11-18 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96032 David Malcolm changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |dmalcolm at gcc dot gnu.org

[Bug sarif-replay/96032] RFE: add a way to use output from --fdiagnostics-format=json or sarif as input

2024-11-19 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96032 --- Comment #10 from David Malcolm --- (In reply to Kamil Dudka from comment #8) > Where can one get the sarif-replay tool? It does not seem to be included in > gcc-latest. Sorry, I haven't updated the copr build; I'll look at doing that today.

[Bug bootstrap/117677] [15 Regression] Regression in fail, at selftest.cc:47

2024-11-20 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117677 David Malcolm changed: What|Removed |Added CC||dmalcolm at gcc dot gnu.org

[Bug analyzer/117662] Weird -fanalyzer behavior with code split across multiple files

2024-11-19 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117662 --- Comment #4 from David Malcolm --- Note that LTO with -fanalyzer isn't in good shape yet, sorry. It works on toy examples, and I have some basic test coverage in the testsuite, but there are likely to be algorithmic explosions when trying it

[Bug c++/106256] Custom diagnostics for unsatisfied standard concepts

2024-11-26 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
||dmalcolm at gcc dot gnu.org Status|UNCONFIRMED |ASSIGNED Last reconfirmed||2024-11-26 Summary|Custom diagnostics for |Custom diagnostics for |unsatisified standard |unsatisfied standard

[Bug c++/84918] Better handling of "std::cout >> 42;"

2024-11-26 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84918 --- Comment #8 from David Malcolm --- (In reply to David Malcolm from comment #0) [...] > > Checking on godbolt.org: > > #include > void test () > { > std::cout >> 42; > } > > we currently spew dozens of lines of diagnostics. For referen

[Bug c++/106285] Reduce visual noise and confusing grouping when printing overload candidate errors

2024-11-26 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106285 David Malcolm changed: What|Removed |Added Status|NEW |ASSIGNED --- Comment #3 from David Malc

[Bug c++/106256] Custom diagnostics for unsatisfied standard concepts

2024-11-26 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106256 --- Comment #2 from David Malcolm --- For reference, trunk with -std=c++20: https://godbolt.org/z/3q6b9dc6a (output as per comment #0). With my patches for PR other/116253, and with -fdiagnostics-set-output=text:experimental-nesting=yes -std

<    29   30   31   32   33   34   35   36   >