yes, but the original code really was not correct. The attached patch fixes it by adding an explicit sec_idx field to the Dwarf_CU struct that is set whenever a struct Dwarf_CU is created, so that we never have to guess.This patch combined with the overflow fix makes all testcases PASS.
Looks good to me. Ulf