root/usr/src/tools/smatch/src/validation/crash-ep-active.c
int a(int b)
{
        return 0( && b;
}

/*
 * check-name: crash ep->active
 * check-command: test-linearize $file
 *
 * check-error-ignore
 * check-output-ignore
 */