[Octave-bug-tracker] [bug #56862] [octave forge] (interval) UB in crlibm found by cppcheck

[anonymous]

Follow-up Comment #1, bug #56862 (project octave):

As you have noticed, the upstream of libcrm is no longer maintained.  Thus,
the library has been bundled into the interval package.

Eventually, libcrm will be replaced by its successor MetaLibm-Lugdunum [2] in
the future, once that reaches a stable release.

In the meantime the errors should probably be fixed in the interval
repository.  [uninitvar] and [arrayIndexThenCheck] seem to be easy to fix and
there are not too many of them.

The warnings about “Shifting a negative value” require more knowledge
about what is actually going on in the code.

[2] https://github.com/kalray/metalibm

    _______________________________________________________

Reply to this item at:

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

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