diff options
author | David Kalnischkies <david@kalnischkies.de> | 2017-12-13 21:51:52 +0100 |
---|---|---|
committer | David Kalnischkies <david@kalnischkies.de> | 2017-12-13 23:53:48 +0100 |
commit | 0b5e329a8ba2461ccb7017d3adfc972f9dccd830 (patch) | |
tree | 61fe422eeca8c5bd5cb2de6060f11e71343d4602 /doc/sources.list.5.xml | |
parent | 1adcf56bec7d2127d83aa423916639740fe8e586 (diff) |
deal with floats without old-style cast
We have no speed problem with handling floats/doubles in our progress
handling, but that shouldn't prevent us from cleaning up the handling
slightly to avoid unclean casting to ints.
Reported-By: gcc -Wdouble-promotion -Wold-style-cast
Diffstat (limited to 'doc/sources.list.5.xml')
0 files changed, 0 insertions, 0 deletions