/*      $NetBSD: msg_158.c,v 1.6 2023/03/28 14:44:35 rillig Exp $       */
# 3 "msg_158.c"

// Test for message: '%s' may be used before set [158]

/* lint1-extra-flags: -X 351 */

void sink_int(int);

void
example(int arg)
{
       int twice_arg;

       /* expect+1: warning: 'twice_arg' may be used before set [158] */
       sink_int(twice_arg);
       twice_arg = 2 * arg;
       sink_int(twice_arg);
}

void
conditionally_used(int arg)
{
       int twice_arg;

       if (arg > 0)
               twice_arg = 2 * arg;
       if (arg > 0)
               sink_int(twice_arg);
}

void
conditionally_unused(int arg)
{
       int twice_arg;

       if (arg > 0)
               twice_arg = 2 * arg;

       /*
        * This situation is not detected by lint as it does not track the
        * possible code paths for all conditions.
        */
       if (arg < 0)
               sink_int(twice_arg);
}

You are viewing proxied material from ftp.icm.edu.pl. The copyright of proxied material belongs to its original authors. Any comments or complaints in relation to proxied material should be directed to the original authors of the content concerned. Please see the disclaimer for more details.