On Tue, Sep 18, 2012 at 10:58 AM, Arnaud Charlet <char...@adacore.com> wrote: > >> and at that point you have lost your extra location >> information. > > Actually no, see the c-family/c-common.c patch, copied here, which > ensures that folding does preserve such information:
Thanks. I think I would like some clarity on when the extra location information is available. For better or for worse the C frontend does sometimes call directly into fold-const, without going through c_fully_fold. E.g., I see calls to fold_convert and fold_build2_loc. What happens then? Ian