[Bug c/109744] New: bogus Warray-bounds on gcc 12.2, fixed in 13 branch

[Bug c/109744] New: bogus Warray-bounds on gcc 12.2, fixed in 13 branch

[david at ixit dot cz]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109744

            Bug ID: 109744
           Summary: bogus Warray-bounds on gcc 12.2, fixed in 13 branch
           Product: gcc
           Version: 12.2.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: david at ixit dot cz
  Target Milestone: ---
              Host: x86_64
            Target: x86_64

Created attachment 55006
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55006&action=edit
panvk_cmd_buffer.c.i.gz

Compiler: gcc version 12.2.0 (Debian 12.2.0-14) 
!!! Fixed in: gcc version 13.0.1 20230315 (experimental) [master
r13-6680-ga9ae16db8cb] (Debian 20230315-1) 
Commands:
meson setup builddir-snapshot -D libdir=lib -D buildtype=release -D
build-tests=false -D enable-glcpp-tests=false -D libunwind=enabled -D glx=dri
-D gbm=enabled -D egl=enabled -D platforms=x11,wayland -D dri3=enabled -D
gallium-extra-hud=true -D gallium-vdpau=disabled -D gallium-omx=disabled -D
gallium-va=disabled -D gallium-xa=disabled -D gallium-nine=false -D
gallium-opencl=disabled -D gallium-rusticl=false -D llvm=enabled -D
gallium-drivers=r300,i915,iris,swrast -D vulkan-drivers=panfrost -D
video-codecs=h264dec,h264enc,h265dec,h265enc -D spirv-to-dxil=false -D
osmesa=true -D intel-clc=disabled -D imagination-srv=false -Dc_args=-save-temps
-Dcpp_args=-save-temps
cd builddir-snapshot && meson compile

```
[756/1419] Compiling C object
src/panfrost/vulkan/libvulkan_panfrost.so.p/panvk_cmd_buffer.c.o
In file included from ../src/vulkan/runtime/vk_command_buffer.h:32,
                 from ../src/panfrost/vulkan/panvk_private.h:53,
                 from ../src/panfrost/vulkan/panvk_cmd_buffer.c:29:
In function ‘util_dynarray_init’,
    inlined from ‘panvk_CmdBeginRenderPass2’ at
../src/panfrost/vulkan/panvk_cmd_buffer.c:507:4:
../src/util/u_dynarray.h:58:4: warning: ‘memset’ offset [0, 15] is out of the
bounds [0, 0] [-Warray-bounds]
   58 |    memset(buf, 0, sizeof(*buf));
      |    ^~~~~~~~~~~~~~~~~~~~~~~~~~~~
```

Ref: https://gitlab.freedesktop.org/mesa/mesa/-/issues/8638

Feel free to close, if there is no intention to backport fix from 13 branch.

[Bug c/109744] mesa/panvk: bogus Warray-bounds on gcc 12.2, fixed in 13 branch

[sjames at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109744

Sam James <sjames at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |sjames at gcc dot gnu.org

--- Comment #1 from Sam James <sjames at gcc dot gnu.org> ---
Please include the flags needed to reproduce (i.e. the compiler
invocation/compile line) for these bugs.

[Bug tree-optimization/109744] mesa/panvk: bogus Warray-bounds on gcc 12.2, fixed in 13 branch

[david at ixit dot cz]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109744

--- Comment #2 from David Heidelberg (okias) <david at ixit dot cz> ---
cc -Isrc/panfrost/vulkan/libvulkan_panfrost.so.p -Isrc/panfrost/vulkan
-I../src/panfrost/vulkan -Iinclude -I../include -Isrc -I../src -Isrc/compiler
-I../src/compiler -I../src/gallium/include -Isrc/gallium/auxiliary
-I../src/gallium/auxiliary -Isrc/panfrost -I../src/panfrost
-I../src/panfrost/include -Isrc/panfrost/shared -I../src/panfrost/shared
-Isrc/panfrost/midgard -I../src/panfrost/midgard -Isrc/panfrost/compiler
-I../src/panfrost/compiler -Isrc/panfrost/lib -I../src/panfrost/lib
-Isrc/compiler/nir -I../src/compiler/nir -Isrc/panfrost/lib/genxml
-I../src/panfrost/lib/genxml -Isrc/vulkan/util -I../src/vulkan/util
-Isrc/vulkan/runtime -I../src/vulkan/runtime -Isrc/vulkan/wsi
-I../src/vulkan/wsi -Isrc/egl/wayland/wayland-drm -I/usr/include/libdrm
-I/usr/include/valgrind -I/usr/include/x86_64-linux-gnu
-fdiagnostics-color=always -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch
-std=c11 -O3 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS
-D__STDC_LIMIT_MACROS '-DPACKAGE_VERSION="23.2.0-devel"'
'-DPACKAGE_BUGREPORT="https://gitlab.freedesktop.org/mesa/mesa/-/issues"'
-DHAVE_OPENGL=1 -DHAVE_OPENGL_ES_1=1 -DHAVE_OPENGL_ES_2=1 -DHAVE_SWRAST
-DVIDEO_CODEC_VC1DEC=0 -DVIDEO_CODEC_H264DEC=1 -DVIDEO_CODEC_H264ENC=1
-DVIDEO_CODEC_H265DEC=1 -DVIDEO_CODEC_H265ENC=1 -DHAVE_X11_PLATFORM
-DHAVE_WAYLAND_PLATFORM -DHAVE_SURFACELESS_PLATFORM -DHAVE_DRM_PLATFORM
-DHAVE_XCB_PLATFORM -DENABLE_ST_OMX_BELLAGIO=0 -DENABLE_ST_OMX_TIZONIA=0
-DGLX_INDIRECT_RENDERING -DGLX_DIRECT_RENDERING -DGLX_USE_DRM -DALLOW_KCMP
-DENABLE_SHADER_CACHE -DHAVE___BUILTIN_BSWAP32 -DHAVE___BUILTIN_BSWAP64
-DHAVE___BUILTIN_CLZ -DHAVE___BUILTIN_CLZLL -DHAVE___BUILTIN_CTZ
-DHAVE___BUILTIN_EXPECT -DHAVE___BUILTIN_FFS -DHAVE___BUILTIN_FFSLL
-DHAVE___BUILTIN_POPCOUNT -DHAVE___BUILTIN_POPCOUNTLL
-DHAVE___BUILTIN_UNREACHABLE -DHAVE___BUILTIN_TYPES_COMPATIBLE_P
-DHAVE_FUNC_ATTRIBUTE_CONST -DHAVE_FUNC_ATTRIBUTE_FLATTEN
-DHAVE_FUNC_ATTRIBUTE_MALLOC -DHAVE_FUNC_ATTRIBUTE_PURE
-DHAVE_FUNC_ATTRIBUTE_UNUSED -DHAVE_FUNC_ATTRIBUTE_WARN_UNUSED_RESULT
-DHAVE_FUNC_ATTRIBUTE_WEAK -DHAVE_FUNC_ATTRIBUTE_FORMAT
-DHAVE_FUNC_ATTRIBUTE_PACKED -DHAVE_FUNC_ATTRIBUTE_RETURNS_NONNULL
-DHAVE_FUNC_ATTRIBUTE_ALIAS -DHAVE_FUNC_ATTRIBUTE_NORETURN
-DHAVE_FUNC_ATTRIBUTE_VISIBILITY -DHAVE_UINT128 -DHAVE_REALLOCARRAY
-DHAVE_FMEMOPEN -D_GNU_SOURCE -DUSE_SSE41 -DUSE_GCC_ATOMIC_BUILTINS
-DUSE_X86_64_ASM -DMAJOR_IN_SYSMACROS -DHAS_SCHED_H -DHAS_SCHED_GETAFFINITY
-DHAVE_LINUX_FUTEX_H -DHAVE_ENDIAN_H -DHAVE_DLFCN_H -DHAVE_SYS_SHM_H
-DHAVE_CET_H -DHAVE_SYS_INOTIFY_H -DHAVE_STRTOF -DHAVE_MKOSTEMP
-DHAVE_TIMESPEC_GET -DHAVE_MEMFD_CREATE -DHAVE_RANDOM_R -DHAVE_FLOCK
-DHAVE_STRTOK_R -DHAVE_GETRANDOM -DHAVE_POSIX_FALLOCATE -DHAVE_GNU_QSORT_R
-DHAVE_STRUCT_TIMESPEC -DHAVE_PROGRAM_INVOCATION_NAME -DHAVE_ISSIGNALING
-DHAVE_POSIX_MEMALIGN -DHAVE_DIRENT_D_TYPE -DHAVE_STRTOD_L -DHAVE_DLADDR
-DHAVE_DL_ITERATE_PHDR -DHAVE_ZLIB -DHAVE_ZSTD -DHAVE_COMPRESSION
-DHAVE_PTHREAD -DHAVE_PTHREAD_SETAFFINITY -DHAVE_LIBDRM -DHAVE_LIBUDEV
-DLLVM_AVAILABLE '-DMESA_LLVM_VERSION_STRING="14.0.6"' -DLLVM_IS_SHARED=1
-DDRAW_LLVM_AVAILABLE -DUSE_LIBELF -DHAVE_VALGRIND -DMESA_EXECMEM
-DHAVE_LIBUNWIND -DWL_HIDE_DEPRECATED -DHAVE_OPENMP -DHAVE_DRI -DHAVE_DRI2
-DHAVE_DRI3 -DHAVE_DRI3_MODIFIERS -DHAVE_DRISW_KMS -DHAVE_GALLIUM_EXTRA_HUD=1
-mtls-dialect=gnu2 -Werror=implicit-function-declaration
-Werror=missing-prototypes -Werror=return-type -Werror=empty-body
-Werror=incompatible-pointer-types -Werror=int-conversion
-Wimplicit-fallthrough -Wmisleading-indentation -Wno-missing-field-initializers
-Wno-format-truncation -Wno-nonnull-compare -fno-math-errno -fno-trapping-math
-fno-common -Wno-unused-function -Werror=format -Wformat-security
-ffunction-sections -fdata-sections -Wno-unused-variable
-Wno-unused-but-set-variable -save-temps -fPIC -DVK_USE_PLATFORM_XCB_KHR
-DVK_USE_PLATFORM_XLIB_KHR -DVK_USE_PLATFORM_WAYLAND_KHR
-DVK_USE_PLATFORM_DISPLAY_KHR -DVK_USE_PLATFORM_XLIB_XRANDR_EXT -pthread
-Wno-override-init -MD -MQ
src/panfrost/vulkan/libvulkan_panfrost.so.p/panvk_cmd_buffer.c.o -MF
src/panfrost/vulkan/libvulkan_panfrost.so.p/panvk_cmd_buffer.c.o.d -o
src/panfrost/vulkan/libvulkan_panfrost.so.p/panvk_cmd_buffer.c.o -c
../src/panfrost/vulkan/panvk_cmd_buffer.c

[Bug tree-optimization/109744] mesa/panvk: bogus Warray-bounds on gcc 12.2, fixed in 13 branch

[jamborm at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109744

Martin Jambor <jamborm at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|needs-bisection             |

--- Comment #3 from Martin Jambor <jamborm at gcc dot gnu.org> ---
The warning went away with commit r13-4389-gfd8dd6c0384969 (Richard Biener:
tree-optimization/107852 - missed optimization with PHIs).

[Bug tree-optimization/109744] mesa/panvk: bogus Warray-bounds on gcc 12.2, fixed in 13 branch

[pinskia at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109744

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
   Target Milestone|---                         |13.0
         Resolution|---                         |FIXED

--- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
There is not much to handle here really since the warning is heavily dependent
on optimizing including sometimes optimizing out unreachable code. In this case
it is now optimized better for GCC 13 getting rid of unreachable code which GCC
is warning about.