In message < vyzvhlkykg9.fsf@issan.cs.uni-dortmund.de >you write: > It looks pretty bogus to me to have a function that returns a value but > does not return. ATTRIBUTE_NORETURN does not make sense on a non-void > function and is most likely misplaced here. For a non-cc0 machine sets_cc0_p unconditionally aborts. For a cc0 machine it returns a value. jeff