bugGNU libavl - Bugs: bug #59124, tavl_insert()->tavl_probe()...


bug #59124: tavl_insert()->tavl_probe() segfaults when optimizing with gcc with -O2, -O3

Submitted by:  None
Submitted on:  Thu 17 Sep 2020 04:42:56 PM UTC  
Category:  None Severity:  3 - Normal
Item Group:  None Status:  None
Privacy:  Public Assigned to:  None
Open/Closed:  Open

Add a New Comment (Rich Markup)

You are not logged in

Please log in, so followups can be emailed to you.


Mon 03 May 2021 04:59:59 PM UTC, comment #2: 

I think this is the same as #26377

Matt Armstrong <matta>
Thu 17 Sep 2020 04:59:06 PM UTC, comment #1: 

Forgot to tell:

pi@raspberrypi:~/projects/gcc-bug $ gcc -v
Using built-in specs.
Target: arm-linux-gnueabihf
Configured with: ../src/configure -v --with-pkgversion='Raspbian 8.3.0-6+rpi1' --with-bugurl=file:///usr/share/doc/gcc-8/README.Bugs --enable-languages=c,ada,c++,go,d,fortran,objc,obj-c++ --prefix=/usr --with-gcc-major-version-only --program-suffix=-8 --program-prefix=arm-linux-gnueabihf- --enable-shared --enable-linker-build-id --libexecdir=/usr/lib --without-included-gettext --enable-threads=posix --libdir=/usr/lib --enable-nls --enable-bootstrap --enable-clocale=gnu --enable-libstdcxx-debug --enable-libstdcxx-time=yes --with-default-libstdcxx-abi=new --enable-gnu-unique-object --disable-libitm --disable-libquadmath --disable-libquadmath-support --enable-plugin --with-system-zlib --with-target-system-zlib --enable-objc-gc=auto --enable-multiarch --disable-sjlj-exceptions --with-arch=armv6 --with-fpu=vfp --with-float=hard --disable-werror --enable-checking=release --build=arm-linux-gnueabihf --host=arm-linux-gnueabihf --target=arm-linux-gnueabihf
Thread model: posix
gcc version 8.3.0 (Raspbian 8.3.0-6+rpi1)
pi@raspberrypi:~/projects/gcc-bug $ uname -a
Linux raspberrypi 5.4.51-v7+ #1333 SMP Mon Aug 10 16:45:19 BST 2020 armv7l GNU/Linux

Thu 17 Sep 2020 04:42:56 PM UTC, original submission:  

When adding option -fno-strict-aliasing segfault goes away.

from the gcc manpage
"The -fstrict-aliasing option is enabled at levels -O2, -O3, -Os"



(Note: upload size limit is set to 16384 kB, after insertion of the required escape characters.)

Attach Files:

Attached Files
file #49803:  main.c added by None (1KiB - text/x-csrc - libavl-2.0.3)
file #49804:  Makefile added by None (308B - application/octet-stream - libavl-2.0.3)


Depends on the following items: None found

Items that depend on this one: None found


Carbon-Copy List
  • -email is unavailable- added by matta (Posted a comment)

    Do you think this task is very important?
    If so, you can add your encouragement to it.
    This task has 0 encouragements so far.

    Only logged-in users can vote.




    Follow 2 latest changes.

    Date Changed by Updated Field Previous Value => Replaced by
    2020-09-17 None Attached File- => Added main.c, #49803
        Attached File- => Added Makefile, #49804

    Back to the top

    Powered by Savane 3.7