David Evans <[EMAIL PROTECTED]> writes:
> The workaround I use is to define a dummy function that just marks a
> parameter as defined:
>
> extern void assertSet (/*@special@*/ /*@sef@*/ /*@unused@*/ void *p_x)
>/*@sets p_x, *p_x@*/ ;
> # define assertSet(x) ;
>
> and then call assertSet(resul
The workaround I use is to define a dummy function that just marks a
parameter as defined:
extern void assertSet (/*@special@*/ /*@sef@*/ /*@unused@*/ void *p_x)
/*@sets p_x, *p_x@*/ ;
# define assertSet(x) ;
and then call assertSet(result) after the loop in case 3.
--- Dave
On Fri, 24 May
I have a function something like this:
char *foo(...)
{
char *result;
switch (...) {
case 1:
result = strdup(...);
break;
case 2:
result = strdup(...);
break;
case 3:
result = malloc(...);
