Humpf,
>I understand the general issue, but I'm not sure we can't use 'type' >here: we don't even consider emitting the unused-but-set warning when >TREE_USED (decl) is false and in this case I don't call non_reference >at the outset. I meant *only* in this case I call non_reference, you see my point. Rewording: as the one line comment says, I only call non_reference at the outset when I know that either we'll end up producing the normal unused-variable warning or nothing at all. Paolo