#include "check_debug.h"

int aaa;
int x, y, z;

void func (void)
{
        aaa = 0;
        if (y)
                aaa = 1;
        if (x)
                aaa = 2;

        if (x) {
                __smatch_value("aaa");
                if (y)
                        __smatch_value("aaa");
                else
                        __smatch_value("aaa");
        }
        if (!x) {               
                __smatch_value("aaa");
                if (y)          
                        __smatch_value("aaa");
                else
                        __smatch_value("aaa");
        }
        if (y) {
                __smatch_value("aaa");
                if (x)
                        __smatch_value("aaa");
                else
                        __smatch_value("aaa");
        }
        if (!y) {
                __smatch_value("aaa");
                if (x)          
                        __smatch_value("aaa");
                else
                        __smatch_value("aaa");
        }
        if (x && y)
                __smatch_value("aaa");
        if (x || y)
                __smatch_value("aaa");
        else
                __smatch_value("aaa");
        if (!x && !y)
                __smatch_value("aaa");
}
/*
 * check-name: Compound Conditions #2
 * check-command: smatch -I.. sm_compound_conditions2.c
 *
 * check-output-start
sm_compound_conditions2.c:15 func() aaa = 2
sm_compound_conditions2.c:17 func() aaa = 2
sm_compound_conditions2.c:19 func() aaa = 2
sm_compound_conditions2.c:22 func() aaa = 0-1
sm_compound_conditions2.c:24 func() aaa = 1
sm_compound_conditions2.c:26 func() aaa = 0
sm_compound_conditions2.c:29 func() aaa = 1-2
sm_compound_conditions2.c:31 func() aaa = 2
sm_compound_conditions2.c:33 func() aaa = 1
sm_compound_conditions2.c:36 func() aaa = 0,2
sm_compound_conditions2.c:38 func() aaa = 2
sm_compound_conditions2.c:40 func() aaa = 0
sm_compound_conditions2.c:43 func() aaa = 2
sm_compound_conditions2.c:45 func() aaa = 1-2
sm_compound_conditions2.c:47 func() aaa = 0
sm_compound_conditions2.c:49 func() aaa = 0
 * check-output-end
 */