Project

General

Profile

Bug #1684 ยป only_int.c

Pavel Shved, 08/24/2011 09:56 PM

 
void err()
{
ERROR: goto ERROR;
}

void mutex_lock(int *a)
{
if (*a == 1) err();
*a = 1;
}

void mutex_unlock(int *b)
{
if (*b != 1) err();
*b = 0;
}

int main()
{
int m;
m = 0;

mutex_lock(&m);
mutex_unlock(&m);

}

    (1-1/1)