Hi,

On 12/04/2014 01:54 PM, Paolo Carlini wrote:
... oops, sent the wrong patch. See the below instead.

Paolo.
It occurs to me that a while ago I sent this patch: what do you think? Is the diagnostic good enough?

    https://gcc.gnu.org/ml/gcc-patches/2014-12/msg00376.html
    https://gcc.gnu.org/ml/gcc-patches/2014-12/msg00378.html

Thanks,
Paolo.

Reply via email to