786107 - IonMonkey: Assertion failure: [barrier verifier] Unmarked edge: method, at jsgc.cpp:5264

Status: VERIFIED FIXED

(Core :: JavaScript Engine, defect)

Description

[Christian Holler (:decoder)]

The following testcase asserts on ionmonkey revision 92b9b2840a79 (run with --ion -n -m --ion-eager):


function writeHeaderToLog( string ) {}
writeHeaderToLog(-0, this);
gczeal(4);
writeHeaderToLog(0,1,2,3,4,5,6,7,8,9,0,1,2,3,4,5,6,7,8,9,
           0,1,2,3,4,5,6,7,8,9,0,1,2,3,4,5,6,7,8,9,
           0,1,2,3,4,5,6,7,8,9,0,1,2,3,4,5,6,7,8,9,
           0,1,2,3,4,5,6,7,8,9,0,1,2,3,4,5,6,7,8,9,
           0,1,2,3,4,5,6,7,8,9,0,1,2,3,4,5,6,7,8,9,
           0,1,2,3,4,5,6,7,8,9,0,1,2,3,4,5,6,7,8,9,
           0,1,2,3,4,5,6,7,8,9,0,1,2,3,4,5,6,7,8,9);

Comment 1

[Christian Holler (:decoder)]

Without gczeal, this can also yield the following assertion:

Assertion failure: co->script == __null, at jsinfer.cpp:2261

Comment 3

[David Anderson [:dvander] - inactive, e-mail if emergency]

Attachment: fix

Comment 4

[Terrence Cole [:terrence]]

Comment on attachment 659379 [details] [diff] [review]
fix

Review of attachment 659379 [details] [diff] [review]:
-----------------------------------------------------------------

Looks correct.

Comment 5

[David Anderson [:dvander] - inactive, e-mail if emergency]

http://hg.mozilla.org/projects/ionmonkey/rev/18142c3076a1

Thanks for the quick review!

Comment 6

[Christian Holler (:decoder)]

JSBugMon: This bug has been automatically verified fixed.