repexpose.c: (in function abst_aval)
repexpose.c:37:10: Function returns reference to parameter a: (&(a->val))
repexpose.c:37:10: Return value exposes rep of abst: (&(a->val))
repexpose.c: (in function abst_aval)
repexpose.c:37:10: Function returns reference to parameter a: (&(a->val))
repexpose.c:37:10: Return value exposes rep of abst: (&(a->val))