[Octave-bug-tracker] [bug #63416] Messages from building with -fsanitize=undefined

[Arun Giridhar]

URL:
  <https://savannah.gnu.org/bugs/?63416>

                 Summary: Messages from building with -fsanitize=undefined
                 Project: GNU Octave
               Submitter: arungiridhar
               Submitted: Fri 25 Nov 2022 05:29:27 AM EST
                Category: None
                Severity: 3 - Normal
                Priority: 5 - Normal
              Item Group: None
                  Status: None
             Assigned to: None
         Originator Name: 
        Originator Email: 
             Open/Closed: Open
                 Release: stable
         Discussion Lock: Any
        Operating System: GNU/Linux
           Fixed Release: None
         Planned Release: None


    _______________________________________________________

Follow-up Comments:


-------------------------------------------------------
Date: Fri 25 Nov 2022 05:29:27 AM EST By: Arun Giridhar <arungiridhar>
This happens on both fa254b08f949 (stable) and on ce5b4a00b022 (default).

Build flags:

CC="gcc" CXX="g++" F77="gfortran" CFLAGS="-pipe -march=native -O0 -ggdb3
-fsanitize=undefined" CXXFLAGS="$CFLAGS" FFLAGS="$CFLAGS" ../configure
--enable-64 --enable-openmp --disable-java --disable-docs
--disable-lib-visibility-flags


(The "--disable-lib-visibility-flags" was necessary with
"-fsanitize=undefined" otherwise it gave linker errors about undefined
symbols.)

Then "make check" proceeds normally and returns 0 except for three messages.

The first message about absolute values is definitely a false positive,
because a standalone C++ test with std::abs also had the same behavior:

  integer.tst
....................................................../liboctave/util/oct-inttypes.h:69:26:
runtime error: negation of -9223372036854775808 cannot be represented in type
'long int'; cast to an unsigned type to negate this value to itself
 pass   77/77  


The other two messages are these:

../libinterp/corefcn/interpreter.h:169:68: runtime error: member call on
address 0x7ff3e00058d8 which does not point to an object of type
'tree_evaluator'
0x7ff3e00058d8: note: object is of type 'octave::tree_walker'
        1. 00 00 00  c8 96 b4 31 f4 7f 00 00  80 4a 00 e0 f3 7f 00 00  00 00 00 
00 00
00 00 00  00 00 00 00
              ^~~~~~~~~~~~~~~~~~~~~~~
              vptr for 'octave::tree_walker'

../libinterp/parse-tree/pt-eval.h:187:44: runtime error: member access within
address 0x7ff3e00058d8 which does not point to an object of type
'tree_evaluator'
0x7ff3e00058d8: note: object is of type 'octave::tree_walker'
        1. 00 00 00  c8 96 b4 31 f4 7f 00 00  80 4a 00 e0 f3 7f 00 00  00 00 00 
00 00
00 00 00  00 00 00 00
              ^~~~~~~~~~~~~~~~~~~~~~~
              vptr for 'octave::tree_walker'


Are they false positves too?

The result of "make check" was:

  PASS                            17615
  FAIL                                0
  XFAIL (reported bug)               46
  SKIP (missing feature)             45
  SKIP (run-time condition)          26









    _______________________________________________________

Reply to this item at:

  <https://savannah.gnu.org/bugs/?63416>

_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/