[petsc-dev] PETSc blame digest (next) 2015-04-08

[Jed Brown]

Matthew Knepley <knepley at gmail.com> writes:

> On Wed, Apr 8, 2015 at 9:43 AM, Jed Brown <jed at jedbrown.org> wrote:
>
>> Matthew Knepley <knepley at gmail.com> writes:
>> > I think you need an if () to make the compiler quit whining.
>>
>> if what?  if (1)?  Seems pointless.
>>
>
> if (!link) SETERRQ();
>
> The compiler will not be able to reason about that and the cannot know that
> the return is not reached.

That is the exit condition of the preceding loop, so it would be a bug
in the compiler's reachability analysis if it did not do that analysis.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 818 bytes
Desc: not available
URL: <http://lists.mcs.anl.gov/pipermail/petsc-dev/attachments/20150408/ff0b1a44/attachment.sig>