root/usr/src/tools/smatch/src/validation/declaration-after-statement-default.c
static void func (int i)
{
        i;
        int j = i;
}
/*
 * check-name: declaration after statement (default)
 * check-command: sparse $file
 */