Reproducer sources.
splintbug.tar.gz (application/octet-stream), 72.22 KB, created by Jan Kratochvil on 2012-06-12 09:48:40 UTC
(hide)
 
Creator: Jan Kratochvil
Created: 2012-06-12 09:48:40 UTC
Size: 72.22 KB

Attachment is not viewable in your browser because its MIME type (application/octet-stream) is not one that your browser is able to display.

Download the attachment.

Actions: View
Attachments on bug 831141: 591156