DebugInfo: Update test to cover linux (with a FIXME...) too
DebugInfo: Use DW_FORM_data4 for DW_AT_high_pc in inlined functions

Suggested by Adrian Prantl in code review for r203187.