[Bug analyzer/109789] analyzer-use-of-uninitialized-value false positive inside function when array passed to the function is pre-initialized

2023-05-12 Thread redi at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109789 --- Comment #8 from Jonathan Wakely --- (In reply to Jonathan Wakely from comment #7) > It also seems to depend on array-to-pointer decay from float[nframes] to > float* across the function boundary, because if the loop using the size_t > index

[Bug analyzer/109789] analyzer-use-of-uninitialized-value false positive inside function when array passed to the function is pre-initialized

2023-05-12 Thread redi at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109789 --- Comment #7 from Jonathan Wakely --- It also seems to depend on array-to-pointer decay from float[nframes] to float* across the function boundary, because if the loop using the size_t index is moved into the same function as the array

[Bug analyzer/109789] analyzer-use-of-uninitialized-value false positive inside function when array passed to the function is pre-initialized

2023-05-12 Thread redi at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109789 --- Comment #6 from Jonathan Wakely --- (In reply to Jonathan Wakely from comment #5) > float dsp_abs_max(float *buf, size_t size) { > for (size_t i = 0; i < size; i++) > if (fabsf(buf[i]) > 1e-20f) > dsp_abs_max_ret =

[Bug analyzer/109789] analyzer-use-of-uninitialized-value false positive inside function when array passed to the function is pre-initialized

2023-05-12 Thread redi at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109789 Jonathan Wakely changed: What|Removed |Added Last reconfirmed||2023-05-12 Ever confirmed|0

[Bug analyzer/109789] analyzer-use-of-uninitialized-value false positive

2023-05-11 Thread alex at zrythm dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109789 --- Comment #4 from alex at zrythm dot org --- I have simplified the test source file using cvise. This can now be reproduced with: ``` LANG=C gcc -fanalyzer -Werror=analyzer-use-of-uninitialized-value -c audio_exporter6.c.i ```

[Bug analyzer/109789] analyzer-use-of-uninitialized-value false positive

2023-05-11 Thread alex at zrythm dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109789 alex at zrythm dot org changed: What|Removed |Added Attachment #55028|0 |1 is obsolete|

[Bug analyzer/109789] analyzer-use-of-uninitialized-value false positive

2023-05-11 Thread alex at zrythm dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109789 alex at zrythm dot org changed: What|Removed |Added Attachment #55029|0 |1 is obsolete|