Range sets cannot handle negative offsets in byte extracts #2524
Description
The test regression/cbmc/full_slice3 (#2525) currently crashes at https://github.com/diffblue/cbmc/blob/develop/src/analyses/goto_rw.cpp#L157
{{ message }}
The test regression/cbmc/full_slice3 (#2525) currently crashes at https://github.com/diffblue/cbmc/blob/develop/src/analyses/goto_rw.cpp#L157