1246798 - [sixgill] Handle throw and nothrow expressions

Status: RESOLVED FIXED

(Core :: JavaScript: GC, defect)

Description

[Steve Fink [:sfink] [:s:]]

At least with gcc 4.9.3, sixgill can't even survive the configure process because it compiles headers that include __nothrow and inline header code with throw statements.

Comment 1

[Steve Fink [:sfink] [:s:]]

Attachment: "Handle" throw()

This is a cheap hack to make the analysis do something vaguely sane rather than bomb out. It ignores __nothrow and treats throw as a (void) statement. It's enough to keep the analysis from throwing out a ton of functions, including several from gcc header files.

This is mostly helpful in my attempt to reduce the number of functions that are discarded during analysis, since I have discovered some important ones are getting missed. (Nothing that would produce false negatives for rooting analysis, AFAIK.)

It might be slightly better to treat it as a 'return', so that the analysis knows that anything after it is unreachable, but it simply doesn't matter for my purposes.

Comment 2

[Steve Fink [:sfink] [:s:]]

http://hg.mozilla.org/users/sfink_mozilla.com/sixgill/rev/2bd36dc9ea8c