[webkit-dev] [PATCH] JSCore with GDB

paroga at paroga.com paroga at paroga.com
Thu Dec 29 04:29:47 PST 2011


Hi,

On Thu, 29 Dec 2011 17:41:57 +0530, Sanjoy Das wrote:
> Small hiccup: to work with GDB I need the following declarations in a
> source file:
>
> void __attribute__((noinline)) __jit_debug_register_code() { };
>
> JITDescriptor __jit_debug_descriptor = { 1, 0, 0, 0 };
>
> This fails the style checker.  Does it make sense to add the file to
> _SKIPPED_FILES_WITH_WARNING?  Is there some better way to fix this?

_SKIPPED_FILES_WITH_WARNING is usually used for files imported from 
ohter repositories, which follow other style guidelines
If it's only a hand full of lines you can ignore it, if there is no 
"good" way to fix it. Do you need the "__" prefix, or what's the exact 
problem with the line?
For the noinline attribute exists the NEVER_INLINE macro in WebKit.

Maybe you can upload the patch to a bugzilla bug, and only post the 
bugid here so people can CC there, and we don't need to spam the list 
for such specific questions.

- Patrick


More information about the webkit-dev mailing list