Re: [dev] [st] Division by zero

From: Paul Menzel <pmenzel_AT_molgen.mpg.de>
Date: Mon, 18 Jul 2016 17:14:33 +0200

Dear Markus,


On 07/18/16 15:22, Markus Teich wrote:
> Paul Menzel wrote:
>> If I am not mistaken, this is really a corner case. The user has to set
>> `actionfps` to zero in `config.def.h`.
>>
>> ```
>> config.def.h:static unsigned int actionfps = 30;
>> ```

[…]

> maybe you can make your compiler happy by making the variable const? It should
> then be able to see that the value can not be zero if you don't assign zero to
> it in the first place.

Thank you for that idea. Unfortunately that didn’t help with clang 3.8.1
either. My current guess is, that clang/scan-build have a bug in that
regard. Hopefully, I find time to report it to them, although there are
several open reports already [1][2].


Thanks,

Paul


[1] https://llvm.org/bugs/show_bug.cgi?id=13673
[2] https://llvm.org/bugs/show_bug.cgi?id=9288
Received on Mon Jul 18 2016 - 17:14:33 CEST

This archive was generated by hypermail 2.3.0 : Mon Jul 18 2016 - 17:24:11 CEST