On 29.07.2025 00:15, Dmytro Prokopchuk1 wrote: > ECLAIR reports a non-compliant cast due to the presence > of the 'noreturn' attribute in the callee function.
Which callee function? Which cast? Please be concrete. You don't need to enumerate all case, but one specific example wants pointing at. > The issue occurs when casting a function pointer with > the 'noreturn' attribute (void noreturn (*)(void *)) > to a general function pointer type (void (*)(void *)). And again - why "casting"? As per ... > Configure ECLAIR to treat 'noreturn' attributes as safe > in this conversion. > > Signed-off-by: Dmytro Prokopchuk <dmytro_prokopch...@epam.com> > --- > Previous discussion thread: > https://patchew.org/Xen/181a03d5c7625d42c06cf9fa0cf48a9bc6825361.1753647875.git.dmytro._5fprokopch...@epam.com/ ... there was no cast involved, iirc. We specifically rejected your attempt to add a cast there. It's a conversion the compiler does, aiui. Jan
