1
Vote

Ghost parameters in function of the form "foo(void)"

description

The following code produces

error VC0008: No overload for method '__Globals__.foo' takes '1' arguments.


void foo(void _(ghost int a))
;
void test()
{
_(ghost int a = 10;)
foo(_(ghost a));
}

comments

Sign in to add a comment or to set email notifications