Silence ARI warning about floatformat_to_double
authorTom Tromey <tromey@adacore.com>
Thu, 5 Dec 2019 15:11:31 +0000 (08:11 -0700)
committerTom Tromey <tromey@adacore.com>
Fri, 13 Dec 2019 22:15:31 +0000 (15:15 -0700)
commitc6cbf900d42cf8f2ebbcf33d799c52c54b9aa9f0
tree0fcf10ac1e19ed637c644a63b76765763d5e63c2
parent036003a671233c43e35b3004f91e4cbd61255cf3
Silence ARI warning about floatformat_to_double

This silences ARI at the one spot that is permitted to call
floatformat_to_double, and also removes the corresponding "fix" call
from gdb_ari.sh -- it was incorrect, and now is not needed.

gdb/ChangeLog
2019-12-13  Tom Tromey  <tromey@adacore.com>

* contrib/ari/gdb_ari.sh: Remove "fix" call for
floatformat_to_double.
* target-float.c (host_float_ops<T>::from_target): Add ARI
comment.

Change-Id: I778a17a04da417c113194004dd7de3b1df381266
gdb/ChangeLog
gdb/contrib/ari/gdb_ari.sh
gdb/target-float.c