------- Comment #6 from zackw at panix dot com 2006-12-02 06:00 ------- Subject: Re: __attribute__((nonull(...))) and silent optimizations
Well, it's just like 'may be used uninitialized' false positives, isn't it? The warning shouldn't issue from the VRP pass, we should have some kind of data-flow-dependent warning pass that operates really, really early (though still on language-independent IL) so that we can have nice predictable rules about what it will and will not catch... Anyway that's how I'd do it. Which I am not volunteering to do, mind. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30043
