> There's a qualifier propagation issue left in the case the field is an array. > I have attached a patch that extends the tests/qualifier.c test case > to demonstrate the problem.
Can the desired functionality check be performed also with a bit less source code by using the conditional operator? - return (int *)&b->i; + return b->i ? (int *)&b->i : (int *)&b->j[0]; Will both test approaches be eventually needed? Regards, Markus _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
