On 10/23/18 8:23 AM, Akim Demaille wrote:
Fighting warnings is a nightmare. Incredibly time consuming.
You have to pick your battles. I shut off warnings that are more trouble than they're worth. This particular warning, though, is worthwhile as the program can have undefined behavior.
