flitelf: fix _gen_file_line_table for empty dwarfinfo

PRUNERS / FLiT

A project to quickly detect discrepancies in floating point computation across hardware, compilers, libraries and software.

Other

36 stars 6 forks source link

Closed mikebentley15 closed 5 years ago

mikebentley15 commented 5 years ago

Fixes #256

Description: I created a new branch in _gen_file_line_table() in flitelf.py that exits early if the dwarfinfo is empty.

Documentation: None. This was a bug against expected behavior.

Tests: I added a doctest to the function for an empty dwarfinfo object.