Paolo Carlini <pcarlini@suse.de> writes: | Hi, | | so, we agree that, after all, given the current code, Andreas original | analysis was correct and we should mark these helpers as 'noreturn'? Yes. The way Andreas analysis came to me was that he wanted to matke the _M_get() function noreturn. -- Gaby