PROLINT is fucking shit

so suppose I have

arbitrary_struct* foo = NULL;
int continuing = 1;

if (NULL == ( foo = dicks_everywhere() ) )
{
  continuing = 0;
}

if (continuing && NULL != foo->loldongs )
{
  perform_dickbutt();
}
PROLINT argues that foo might be NULL in the second if YET IT OBVIOUSLY CAN'T because continuing equals zero and the right hand term of && isn't evaluated at all.

fucking hell

>>6
The point is, you can have an arbitrary amount of sanity checks in the beginning of the function and use the continuing variable to keep track of the status. The two other, and worse, methods are to have a shitload of nested ifs or goto errors.