[CIL users] returning result of void function

[Smets, Jan (Jan)]

test.c:8: Error: Return statement with a value in function returning void
Error in doStatement (Errormsg.Error)
Error: Cabs2cil had some errors

I think CIL should not warn in this example. 

Thanks.
- Jan


void test1()
{
    return;
}

void test()
{
    return test1();
}

int main()
{
    test();
    return 0;
}
------------------------------------------------------------------------------
Live Security Virtual Conference
Exclusive live event will cover all the ways today's security and 
threat landscape has changed and how IT managers can respond. Discussions 
will include endpoint security, mobile security and the latest in malware 
threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users