Re: [trans-mem] _ITM_abortTransaction not considered as noreturn function

[Patrick Marlier <patrick dot marlier at unine dot ch>]

On 02/15/2011 05:33 PM, Richard Henderson wrote:
> On 02/15/2011 12:35 AM, Patrick Marlier wrote:
> > When I was looking at this problem of tail call optimization, I have
> > found that _ITM_abortTransaction was not considered as a 'noreturn'
> > function. Do you have any reason not doing this? If not, I propose to
> > add ECF_NORETURN in calls.c:special_function_p().
>
> DEF_TM_BUILTIN (BUILT_IN_TM_ABORT, "_ITM_abortTransaction",
>                  BT_FN_INT, ATTR_TM_NORETURN_NOTHROW_LIST)
>
> It's already marked noreturn.  The big switch in special_function_p is
> only there to add ECF_TM_OPS, for which we do not have an attribute.

Thanks for the explanation. Now I get it.

Patrick.