Messages in this thread | | | Subject | Re: Definition of BUG on x86 | From | Petr Tesarik <> | Date | Thu, 19 Feb 2009 13:19:31 +0100 |
| |
Ingo Molnar píše v Čt 19. 02. 2009 v 13:10 +0100: > * Petr Tesarik <ptesarik@suse.cz> wrote: > > > So, the only method I could invent was using gas macros. It > > works but is quite ugly, because it relies on the actual > > assembler instruction which is generated by the compiler. Now, > > AFAIK gcc has always translated "for(;;)" into a jump to self, > > and that with any conceivable compiler options, but I don't > > know anything about Intel cc. > > > +static inline __noreturn void discarded_jmp(void) > > +{ > > + asm volatile(".macro jmp target\n" > > + "\t.purgem jmp\n" > > + ".endm\n"); > > + for (;;) ; > > +} > > hm, that's very fragile. > > Why not just: > > static inline __noreturn void x86_u2d(void) > { > asm volatile("u2d\n"); > } > > If GCC emits a bogus warning about _that_, then it's a bug in > the compiler that should be fixed.
I wouldn't call it a bug. The compiler has no idea about what the inline assembly actualy does. So it cannot recognize that the ud2 instruction does not return (which BTW might not even be the case, depending on the implementation of the Invalid Opcode exception).
So, yes, it would be very nice if we had a way of telling the compiler that a particular asm() statement is in fact a jump somewhere else. I don't care about the syntax, I could even imagine something like:
asm("some code" : : : "ip"); /* clobbers the instruction pointer */
Alternatively, if we could turn that particular warning off, I'd go for it, but having a build spit warnings like:
/usr/src/linux-2.6/arch/x86/include/asm/bug.h:10: warning: 'noreturn' function does return
for each file that includes <asm/bug.h> in some way is _TOO_ annoying, sorry.
Petr Tesarik
-- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
| |