https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116452
--- Comment #2 from Wentao Zhang <wentaoz5 at illinois dot edu> --- Thanks for your prompt response! I was actually thinking: should we let line coverage also report "-125" instead of "#####" so that people know the profile is invalid?
