[Bug analyzer/111536] -fanalyzer false positive with NRVO return

2025-04-11 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111536 David Malcolm changed: What|Removed |Added Status|NEW |ASSIGNED Target Milestone|---

[Bug gcov-profile/119719] New: Suitability of gcov for very resource-constrained systems

2025-04-10 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
Priority: P3 Component: gcov-profile Assignee: unassigned at gcc dot gnu.org Reporter: dmalcolm at gcc dot gnu.org Target Milestone: --- Quoting Reddit user duane11583 about coverage testing on embedded systems: https://www.reddit.com/r/C_Programming/comments

[Bug analyzer/119715] New: -Wanalyzer-infinite-loop: specify loop invariant in message where possible

2025-04-10 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
: enhancement Priority: P3 Component: analyzer Assignee: dmalcolm at gcc dot gnu.org Reporter: dmalcolm at gcc dot gnu.org Target Milestone: --- Quoting: https://www.reddit.com/r/programming/comments/1jvxwpu/comment/mmevj5a/ "EDIT: And that 29-line wa

[Bug analyzer/119697] New: Support for exception subclass matching in analyzer

2025-04-09 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
Component: analyzer Assignee: dmalcolm at gcc dot gnu.org Reporter: dmalcolm at gcc dot gnu.org Blocks: 97111 Target Milestone: --- I have a patch in development for PR 97111 (adding exception-handling support to -fanalyzer), but so far it only does *exact* matches on

[Bug web/119227] Does the generated HTML for cobol get installed to the website?

2025-03-28 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119227 --- Comment #18 from David Malcolm --- For reference, some commits that I needed to do when getting the libgdiagnostics docs onto the website: commit g:e6e4cb34e30f25adfb57e998663a8a1796b8573c commit g:168f938b8f2aab5c0443b02404d004ed4298651

[Bug testsuite/116163] RFE: add a linting tool for DejaGnu tests

2025-03-27 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116163 David Malcolm changed: What|Removed |Added Status|WAITING |NEW --- Comment #19 from David Malcolm

[Bug testsuite/116163] RFE: add a linting tool for DejaGnu tests

2025-03-26 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116163 David Malcolm changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |dmalcolm at gcc dot gnu.org

[Bug c++/110363] RFE: New use-after-move warning

2025-03-26 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110363 David Malcolm changed: What|Removed |Added CC||dmalcolm at gcc dot gnu.org

[Bug c/119366] [15 Regression] ICE: "free(): invalid pointer" in diagnostic_context::finish() (diagnostic.cc:427) with -Wfatal-errors

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

[Bug c/119366] [15 Regression] ICE: "free(): invalid pointer" in diagnostic_context::finish() (diagnostic.cc:427) with -Wfatal-errors

2025-03-19 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119366 David Malcolm changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |dmalcolm at gcc dot gnu.org

[Bug web/119227] Does the generated HTML for cobol get installed to the website?

2025-03-14 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119227 --- Comment #6 from David Malcolm --- Thanks for the info Mark. Sorry if this comes across as blunt, but pushing changes and waiting for a cronjob to run (in production) seems very 1990s. Is there some automated way to bring up a test instance

[Bug analyzer/119278] [15 Regression] ICE on gnutls-3.8.9: in cmp_csts_same_type, at analyzer/svalue.cc:466 since r15-8016-g8015a72ae49640

2025-03-14 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119278 --- Comment #6 from David Malcolm --- Thanks Jakub, the attachment looks good to me. Sorry about the breakage.

[Bug libgdiagnostics/119271] New: libgdiagnostics docs are missing build/installation instructions

2025-03-13 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
Priority: P3 Component: libgdiagnostics Assignee: dmalcolm at gcc dot gnu.org Reporter: dmalcolm at gcc dot gnu.org Target Milestone: --- Quoting an email: > The part that should be included in the docs and is currently totally > missing: How do a user

[Bug cobol/119256] Capture source ranges for tokens in gcobol

2025-03-12 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119256 --- Comment #2 from David Malcolm --- BTW, should the source range be: hello.cob:2:8: error: syntax error, unexpected NAME, expecting FUNCTION or PROGRAM-ID 2 |porgram-id. hello. |^~ rather than: hello.cob:2:

[Bug cobol/119256] Capture source ranges for tokens in gcobol

2025-03-12 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119256 David Malcolm changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |dmalcolm at gcc dot gnu.org

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

2025-03-12 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 Resolution|--- |FIXED Status|ASSIGNED

[Bug cobol/119257] New: Version of GCC COBOL on Compiler Explorer

2025-03-12 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
: cobol Assignee: unassigned at gcc dot gnu.org Reporter: dmalcolm at gcc dot gnu.org Blocks: 119211 Target Milestone: --- Compiler Explorer (godbolt.org) currently offers just: "GCC (cobol+master)" plus various GnuCOBOL versions for language "COBO

[Bug cobol/119256] New: Capture source ranges for tokens in gcobol

2025-03-12 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
.html Status: UNCONFIRMED Keywords: diagnostic, patch Severity: enhancement Priority: P3 Component: cobol Assignee: unassigned at gcc dot gnu.org Reporter: dmalcolm at gcc dot gnu.org Target Milestone: --- I posted a patch for

[Bug cobol/119254] New: ICE on unterminated cobol string due to use of cbl_internal_error

2025-03-12 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
Priority: P3 Component: cobol Assignee: unassigned at gcc dot gnu.org Reporter: dmalcolm at gcc dot gnu.org Target Milestone: --- I tried this test.cob file: identification division. program-id. hello. procedure division

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

2025-03-12 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117262 --- Comment #9 from David Malcolm --- Thanks for the clarifications. I'm testing a fix now.

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

2025-03-11 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117262 --- Comment #7 from David Malcolm --- tree.def has: /* Used to represent the brace-enclosed initializers for a structure or an array. It contains a sequence of component values made out of a VEC of constructor_elt. For RECORD_TYPE, U

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

2025-03-11 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117262 --- Comment #6 from David Malcolm --- Looking at this again... (In reply to David Malcolm from comment #3) > I see: > > (gdb) pt ctor > type type public unsigned QI > size > unit-size > ali

[Bug web/119227] Does the generated HTML for cobol get installed to the website?

2025-03-11 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119227 --- Comment #1 from David Malcolm --- FWIW I tried https://gcc.gnu.org/onlinedocs/gcc/gcobol.html but it wasn't found.

[Bug web/119227] New: Does the generated HTML for cobol get installed to the website?

2025-03-11 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
Priority: P3 Component: web Assignee: unassigned at gcc dot gnu.org Reporter: dmalcolm at gcc dot gnu.org Target Milestone: --- In gcc/cobol/Make-lang.in I see: cobol.install-html: installdirs gcobol.html gcobol-io.html $(INSTALL_DATA) gcobol.html

[Bug cobol/119221] New: RFE: fix-it hints for cobol syntax errors

2025-03-11 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
: cobol Assignee: unassigned at gcc dot gnu.org Reporter: dmalcolm at gcc dot gnu.org Target Milestone: --- Looking at https://gcc.gnu.org/pipermail/gcc-patches/2025-March/677314.html after the patch to add source ranges, gcobol emits: $ ./gcobol -B. hello.cob -S hello.cob:2:8

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

2025-02-27 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117047 --- Comment #37 from David Malcolm --- Created attachment 60608 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=60608&action=edit Excerpt from jit-playback.s This is an excerpt from the .s file for _ZN3gcc3jit8playback7context11new_bitcas

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

2025-02-27 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117047 --- Comment #32 from David Malcolm --- Thanks for the script and the notes. I can now reproduce the crash on my main development box, with e.g. test-bitcast.c It seems to not be writing a vtable ptr to an object; the class's operator new alloc

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

2025-02-25 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117047 --- Comment #22 from David Malcolm --- Created attachment 60584 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=60584&action=edit Contents of /proc/cpuinfo on a machine that this crash *doesn't* happen on

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

2025-02-25 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
, ||dmalcolm at gcc dot gnu.org --- Comment #21 from David Malcolm --- If you can reproduce this, please set comp-ctxt-debug to >= 3: emacs ought to write out a log to libgccjit.log (each invocation will overwrite the previous log file there); please attach

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

2025-02-25 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117047 --- Comment #19 from David Malcolm --- (In reply to David Malcolm from comment #12) > Sam: what architectures/configurations do you see this on? Comment #0 was > presumably aarch64, but I don't think comment #3 specified anything beyond > it be

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

2025-02-25 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117047 --- Comment #20 from David Malcolm --- This looks like it might be x86_64-specific. If so, perhaps it's specific to a particular microarchitecture?

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

2025-02-25 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117047 --- Comment #18 from David Malcolm --- I spent a large chunk of yesterday attempting to reproduce this, but unfortunately I'm still not seeing it. Is anyone seeing this on a machine in the compiler farm, and if so which? Which specific version

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

2025-02-20 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117047 --- Comment #14 from David Malcolm --- FWIW I tried again building emacs (from git) with gcc trunk with --with-native-compilation=aot on x86_64 and, annoyingly, "make" completed successfully; I see lots of ./native-lisp/31.0.50-677d9325/*.eln

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

2025-02-20 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117047 --- Comment #12 from David Malcolm --- Sam: what architectures/configurations do you see this on? Comment #0 was presumably aarch64, but I don't think comment #3 specified anything beyond it being 64-bit.

[Bug other/118919] asan instrumented gcc: heap-use-after free in gcc/diagnostic-format-sarif.cc

2025-02-19 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118919 --- Comment #3 from David Malcolm --- Should be fixed on trunk for gcc 15 by the above patch. Keeping this bug open to track backporting to gcc 13 and 14 which presumably are also affected.

[Bug analyzer/118300] [12/13/14/15 Regression] False malloc leak warning from static analyzer with -fsanitize=address,undefined

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

[Bug other/118919] asan instrumented gcc: heap-use-after free in gcc/diagnostic-format-sarif.cc

2025-02-18 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118919 David Malcolm changed: What|Removed |Added Status|UNCONFIRMED |ASSIGNED Last reconfirmed|

[Bug sarif-replay/118930] New: sarif-replay doesn't output #include chains

2025-02-18 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
onent: sarif-replay Assignee: dmalcolm at gcc dot gnu.org Reporter: dmalcolm at gcc dot gnu.org Target Milestone: --- We're capturing #include chains in our sarif output as of r15-2354-g4d1f71d49e396c. However, sarif-replay doesn't print them; see e.g.: htt

[Bug sarif-replay/118929] New: sarif-replay doesn't support multithreaded paths

2025-02-18 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
y: P3 Component: sarif-replay Assignee: dmalcolm at gcc dot gnu.org Reporter: dmalcolm at gcc dot gnu.org Target Milestone: --- Trying it with: https://github.com/davidmalcolm/sarif-examples/blob/main/valid/2.1.0/gcc/3.36-diagnostic-test-paths-multithreaded.sarif $ sarif-replay

[Bug sarif-replay/118929] sarif-replay doesn't support multithreaded paths

2025-02-18 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118929 --- Comment #1 from David Malcolm --- For reference, GCC 15 prints the diagnostic textually like this when generating that sarif file (via a test plugin): diagnostic-test-paths-multithreaded-inline-events.c:17:3: warning: deadlock due to incons

[Bug sarif-replay/118926] sarif-replay doesn't output notifications

2025-02-18 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118926 --- Comment #1 from David Malcolm --- Example of such a .sarif file can be seen at https://github.com/davidmalcolm/sarif-examples/blob/main/valid/2.1.0/gcc/3.20.21-ice.sarif (and the other "ice" files)

[Bug sarif-replay/118926] New: sarif-replay doesn't output notifications

2025-02-18 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
ority: P3 Component: sarif-replay Assignee: dmalcolm at gcc dot gnu.org Reporter: dmalcolm at gcc dot gnu.org Target Milestone: --- sarif-replay with the output from the plugin.exp crash tests emits empty output. The files in question have e.g. this in the invoc

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

2025-02-15 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96032 --- Comment #11 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. Kamil: in the "official" Fedora builds of gcc for F42 onwards, sarif-re

[Bug sarif-replay/118881] sarif-replay doesn't yet handle "annotations" (§3.28.6)

2025-02-15 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118881 David Malcolm changed: What|Removed |Added Resolution|--- |FIXED Status|UNCONFIRMED

[Bug sarif-replay/118881] New: sarif-replay doesn't yet handle "annotations" (§3.28.6)

2025-02-14 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
everity: normal Priority: P3 Component: sarif-replay Assignee: dmalcolm at gcc dot gnu.org Reporter: dmalcolm at gcc dot gnu.org Target Milestone: --- We're capturing labelled ranges/secondary locations in our SARIF output via "annotations" (§3.2

[Bug analyzer/113923] Segfault in gcc/gcc/tree-diagnostic.cc:265

2025-02-14 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113923 --- Comment #10 from David Malcolm --- (In reply to Antoni from comment #9) > Created attachment 57810 [details] > Patch to fix the issue Looks reasonable. > I was unable to create a reproducer in C for the tests. > It seems the problem was ac

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

2025-02-13 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117047 --- Comment #8 from David Malcolm --- (In reply to Sam James from comment #4) Thanks. > (In reply to David Malcolm from comment #2) > > What does printing *wrapper in the debugger look like? > > > > Program received signal SIGSEGV, Segmentat

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

2025-02-11 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84918 --- Comment #9 from David Malcolm --- For reference, trunk with -fdiagnostics-set-output=text:experimental-nesting=yes : https://godbolt.org/z/8nv36zxqf

[Bug sarif-replay/118792] Off-by-one in underlined ranges in sarif-replay

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

[Bug preprocessor/118168] -Wmisleading-indentation causes 10x+ overhead or higher (visible on mypy-1.13.0)

2025-02-09 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118168 --- Comment #20 from David Malcolm --- Thanks!

[Bug sarif-replay/118792] New: Off-by-one in underlined ranges in sarif-replay

2025-02-07 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
Priority: P3 Component: sarif-replay Assignee: dmalcolm at gcc dot gnu.org Reporter: dmalcolm at gcc dot gnu.org Target Milestone: --- Compare diagnostics emitted directly: $ ./xgcc -B. -S ../../src/gcc/testsuite/gcc.dg/bad-dereference.c ../../src/gcc/testsuite/gcc.dg

[Bug sarif-replay/117988] Logical locations for sarif-replay errors

2025-02-03 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117988 David Malcolm changed: What|Removed |Added Ever confirmed|0 |1 Target Milestone|---

[Bug other/116176] SARIF output doesn't yet capture nesting of logical locations

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

[Bug analyzer/118707] Hang with -fanalyzer -fno-analyzer-state-merge

2025-01-30 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118707 --- Comment #1 from David Malcolm --- Note that -fno-analyzer-state-merge is intended as a debugging feature, to turn off -fanalyzer's state merging logic, to help troubleshoot bugs in -fanalyzer. Without state merging, analysis is likely to "e

[Bug preprocessor/118708] New: Comment with ASCII art in line-table.h still talks about 32-bit

2025-01-30 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
Priority: P3 Component: preprocessor Assignee: unassigned at gcc dot gnu.org Reporter: dmalcolm at gcc dot gnu.org Target Milestone: --- The big comment in libcpp/include/line-map.h still talks about 32 bit values and has 32 bit values, whereas location_t is

[Bug c/81233] -Wdiscarded-qualifiers and Wincompatible-pointer-types missing important detail

2025-01-30 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81233 --- Comment #7 from David Malcolm --- For reference, current output of the test case from comment #0 with trunk is https://godbolt.org/z/8hYY3eaoa : In function 'f': :5:8: error: assignment to 'int *' from incompatible pointer type 'char *' [-

[Bug analyzer/118702] New: -fanalyzer misses -Wanalyzer-use-of-uninitialized-value unless -fno-analyzer-state-merge is supplied

2025-01-30 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
Status: UNCONFIRMED Severity: normal Priority: P3 Component: analyzer Assignee: dmalcolm at gcc dot gnu.org Reporter: dmalcolm at gcc dot gnu.org Target Milestone: --- See https://gcc.gnu.org/pipermail/gcc/2025-January/245436.html Given

[Bug other/118675] Missing escaping of "{" and "}" within messages in SARIF output

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

[Bug sarif-replay/118686] Poor error message for ill-formed UTF-8 sequence

2025-01-28 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118686 --- Comment #1 from David Malcolm --- Of course, we shouldn't be generating malformed data, but that can be a separate bug.

[Bug sarif-replay/118686] New: Poor error message for ill-formed UTF-8 sequence

2025-01-28 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
Component: sarif-replay Assignee: dmalcolm at gcc dot gnu.org Reporter: dmalcolm at gcc dot gnu.org Target Milestone: --- Created attachment 60308 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=60308&action=edit Malformed generated .sarif that sarif-replay doesn't

[Bug other/118675] New: Missing escaping of "{" and "}" within messages in SARIF output

2025-01-27 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: --- Seen in analyzer integration tests: /home/david/coding-3/gcc-build/test/control/x86_64-pc-linux-gnu/integrat

[Bug sarif-replay/117670] installation of sarif-replay doesn't honor prefix and suffixes

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

[Bug jit/117886] [15 Regression] GIMPLE pass asan0 no longer works after r15-5528

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

[Bug jit/117886] [15 Regression] GIMPLE pass asan0 no longer works after r15-5528

2025-01-23 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117886 --- Comment #7 from David Malcolm --- Created attachment 60257 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=60257&action=edit Cleaned up reproducer I cleaned up the reproducer enough to compile, and was able to use this to reproduce the

[Bug jit/117886] [15 Regression] GIMPLE pass asan0 no longer works after r15-5528

2025-01-23 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117886 David Malcolm changed: What|Removed |Added Status|NEW |ASSIGNED

[Bug analyzer/115662] Feature request: support for linking SARIF files together

2025-01-22 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115662 --- Comment #1 from David Malcolm --- The top-level object in a .sarif file is a sarifLog, and this contains zero of more runs: https://docs.oasis-open.org/sarif/sarif/v2.1.0/errata01/os/sarif-v2.1.0-errata01-os-complete.html#_Toc141790732 So o

[Bug sarif-replay/117670] installation of sarif-replay doesn't honor prefix and suffixes

2025-01-21 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117670 David Malcolm changed: What|Removed |Added Last reconfirmed||2025-01-21 Status|UNCONFIRM

[Bug sarif-replay/117670] installation of sarif-replay doesn't honor prefix and suffixes

2025-01-21 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117670 --- Comment #1 from David Malcolm --- Created attachment 60231 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=60231&action=edit Candidate patch Does this patch fix it for you? (lightly tested at my end and seems to work)

[Bug analyzer/118500] no diagnostics with strsep(3) and [[gnu::malloc(free)]] attribute

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

[Bug analyzer/118498] not diagnostic a leak with analyzer and malloc attribute with free filled in

2025-01-20 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118498 David Malcolm changed: What|Removed |Added Resolution|--- |WORKSFORME Status|UNCONFIRM

[Bug c/118112] Unhelpful "too many arguments to function" error message (especially w/ C23)

2025-01-13 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118112 --- Comment #15 from David Malcolm --- Created attachment 60145 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=60145&action=edit Work-in-progress on C++

[Bug c/118112] Unhelpful "too many arguments to function" error message (especially w/ C23)

2025-01-13 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118112 --- Comment #14 from David Malcolm --- The above patch (r15-6838-ga236f70617213343f3075ee43e8d9f5882dca400) implements this for the C frontend for GCC 15. It seem like we'd need to add a new flag to support a special-casing things for the C23 c

[Bug c/116871] -Wincompatible-pointer-types for function pointers could highlight the mismatch better

2025-01-11 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116871 --- Comment #6 from David Malcolm --- Created attachment 60118 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=60118&action=edit Screenshot of textual output from *after* the patch

[Bug c/116871] -Wincompatible-pointer-types for function pointers could highlight the mismatch better

2025-01-11 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116871 --- Comment #5 from David Malcolm --- Created attachment 60117 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=60117&action=edit Screenshot of textual output from *before* the patch

[Bug c/116871] -Wincompatible-pointer-types for function pointers could highlight the mismatch better

2025-01-11 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
at gcc dot gnu.org Assignee|unassigned at gcc dot gnu.org |dmalcolm at gcc dot gnu.org --- Comment #4 from David Malcolm --- Patch posted that helps with part of this: https://gcc.gnu.org/pipermail/gcc-patches/2025-January/673348.html

[Bug tree-optimization/117997] [15 regression] libgo regressions on aarch64 after g:4d2b9202fe94c54e63fb07d48293a78da3d82532

2025-01-09 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117997 David Malcolm changed: What|Removed |Added CC||dmalcolm at gcc dot gnu.org

[Bug c/118375] Fixits for feature test macros (FTMs)

2025-01-09 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118375 --- Comment #2 from David Malcolm --- (In reply to Sam James from comment #0) > We get: > ``` > :1:1: error: expected identifier or '(' before '/' token > 1 | /#include > | ^ > :1:2: error: stray '#' in program > 1 | /#include >

[Bug other/118371] [meta-bug] tracker bug for UX issues affecting porting to GCC 15

2025-01-08 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118371 David Malcolm changed: What|Removed |Added CC||sjames at gcc dot gnu.org --- Comment #

[Bug c++/110930] Fix-it hints suggest wrong header for names in the global namespace

2025-01-08 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110930 David Malcolm changed: What|Removed |Added Blocks||118371 --- Comment #7 from David Malcol

[Bug other/118371] New: [meta-bug] tracker bug for UX issues affecting porting to GCC 15

2025-01-08 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: --- This is a tracker bug to cover improvements to GCC UX that relate to https://gcc.gnu.org/gcc-15

[Bug c++/110930] Fix-it hints suggest wrong header for names in the global namespace

2025-01-08 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110930 David Malcolm changed: What|Removed |Added CC||dmalcolm at gcc dot gnu.org

[Bug analyzer/118300] [12/13/14/15 Regression] False malloc leak warning from static analyzer with -fsanitize=address,undefined

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

[Bug analyzer/118300] [12/13/14/15 Regression] False malloc leak warning from static analyzer with -fsanitize=address,undefined

2025-01-06 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118300 --- Comment #3 from David Malcolm --- FWIW it seems to be just "-fsanitize=undefined" that's needed, not "address": https://gcc.godbolt.org/z/bbcoa4oWK Adding -fdump-ipa-analyzer=stderr shows: V

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

2025-01-02 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 Resolution|--- |FIXED Status|ASSIGNED

[Bug c/118112] Unhelpful "too many arguments to function" error message (especially w/ C23)

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

[Bug c/118112] Unhelpful "too many arguments to function" error message (especially w/ C23)

2024-12-18 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118112 --- Comment #6 from David Malcolm --- (In reply to Sam James from comment #1) [...] > I concur with your your bug. People aren't finding this easy to understand. (In reply to Sam James from comment #5) > Dupe of PR117865? Sam: do you have a ha

[Bug c/118112] New: Unhelpful "too many arguments to function" error message

2024-12-18 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
ty: normal Priority: P3 Component: c Assignee: unassigned at gcc dot gnu.org Reporter: dmalcolm at gcc dot gnu.org Target Milestone: --- Seen attempting to build 389-ds-base with gcc 15: https://bugzilla.redhat.com/show_bug.cgi?id=2333039 I see this failure: ld

[Bug c++/106631] Unhelpful diagnostic on variable template specialization with unknown name

2024-12-13 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106631 --- Comment #3 from David Malcolm --- Jonathan: it would need some special-casing in the parser, I think; FWIW the error is emitted here: (gdb) bt #0 error_at (richloc=0x4e6a9a0 , gmsgid=0x4e6a9a0 "") at ../../src/gcc/diagnostic-global-co

[Bug analyzer/118013] bogus "infinite loop" warning due to -fanalyzer not restricting range of iterator variable

2024-12-13 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118013 David Malcolm changed: What|Removed |Added Status|UNCONFIRMED |NEW Last reconfirmed|

[Bug sarif-replay/117944] sarif-replay doesn't provide URLs for warnings

2024-12-10 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117944 David Malcolm changed: What|Removed |Added Version|unknown |15.0 Status|UNCONFIRMED

[Bug sarif-replay/117988] New: Logical locations for sarif-replay errors

2024-12-10 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
: sarif-replay Assignee: dmalcolm at gcc dot gnu.org Reporter: dmalcolm at gcc dot gnu.org Target Milestone: --- It would be nice if when sarif-replay reported on invalid .sarif it gave a logical location as well as a physical location, perhaps, using JSON pointer, or a nested

[Bug plugins/117972] New: Problems with plugin/include/errors.h

2024-12-09 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
: plugins Assignee: unassigned at gcc dot gnu.org Reporter: dmalcolm at gcc dot gnu.org Target Milestone: --- The annobin plugin is failing when built against GCC 15: https://sourceware.org/bugzilla/show_bug.cgi?id=32429#c3 It looks like it's compiling against the "warnin

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

2024-12-08 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116253 --- Comment #11 from David Malcolm --- An example of the nested diagnostics on Compiler Explorer: Trunk with -std=c++20 -fconcepts-diagnostics-depth=2 Text output (via -fdiagnostics-set-output=text:experimental-nesting=yes), showing indentatio

[Bug sarif-replay/117944] New: sarif-replay doesn't provide URLs for warnings

2024-12-06 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
y: P3 Component: sarif-replay Assignee: dmalcolm at gcc dot gnu.org Reporter: dmalcolm at gcc dot gnu.org Target Milestone: --- See e.g.: $ LD_LIBRARY_PATH=. ./sarif-replay -fjson-comments ../../src/gcc/testsuite/sarif-replay.dg/2.1.0-valid/signal-1.c.sarif In function 'cus

[Bug sarif-replay/117943] New: sarif-replay can fail to quote source code

2024-12-06 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
: sarif-replay Assignee: dmalcolm at gcc dot gnu.org Reporter: dmalcolm at gcc dot gnu.org Target Milestone: --- See e.g. gcc/testsuite/sarif-replay.dg/2.1.0-valid/signal-1.c.sarif The source code is printed when run from the same path as when the .sarif was originally captured

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

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

[Bug translation/40883] [meta-bug] Translation breakage with trivial fixes

2024-12-04 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=40883 Bug 40883 depends on bug 90160, which changed state. Bug 90160 Summary: missing quote in diagnostic https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90160 What|Removed |Added

[Bug translation/90160] missing quote in diagnostic

2024-12-04 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 Resolution|--- |FIXED Status|WAITING

[Bug web/117883] Build libgdiagnostics documentation as HTML and put on gcc.gnu.org somewhere

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

[Bug web/117883] Build libgdiagnostics documentation as HTML and put on gcc.gnu.org somewhere

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

  1   2   3   4   5   6   7   8   9   10   >