On 05/03/2016 10:28 AM, Kyrill Tkachov wrote:
That makes sense. Thanks for digging further into this. I think this should be considered a non-issue.After experimenting a bit, I note that the warning goes away when I compile with -O2. In the cross compiler build I'm doing genrecog.c is compiler with -O1, which exhibits the warning. So I suppose DOM/VRP does catch, but only at the appropriate optimisation level.
Jeff