-
Benoit Perrot authored
* src/inst/section.hh: Store the labels in a set. Use Labels to get the offset. * src/inst/label.hh (deref_ptr_less): Declare and define a label pointer comparator.
72081162
* src/inst/section.hh: Store the labels in a set. Use Labels to get the offset. * src/inst/label.hh (deref_ptr_less): Declare and define a label pointer comparator.