Restore named_sub map entries ordering when reading from a goto binary.#7534

Merged

tautschnig merged 4 commits intodiffblue:developfrom

remi-delmas-3000:read-irep-ensure-named-sub-ordering

Feb 15, 2023

Commits on Feb 14, 2023

Include `<algorithm>` where needed when building with `NAMED_SUB_IS_FORWARD_LIST == 0`
Remi Delmas
committed
Add `emplace` method to `forward_list_as_mapt` and simplify where possible
Remi Delmas
committed
Simplify use the `size` method instead of `distance`
Remi Delmas
committed
Rename `remove` to `erase` to allow simplifications
Remi Delmas
committed