https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86411
--- Comment #2 from Marco Castelluccio <mcastelluccio at mozilla dot com> --- Line 14 and line 16 should be "#####" (not covered), instead they are "-" (not coverable, a line not containing any code).
