Bug 787222 - Can't convert from 16 bit to 16 bit floating point.
This comes from a bug in GCC itself. Comparing with GCC's revision dates (bug introduced in revision 250312 in 18th of July 2017), this bug apparently affects only GCC 7.2. Let's just add a configure warning so that builders are made aware of the issue when they use this compiler. See also: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82108
Showing with 11 additions and 1 deletion