There was an out-by-one error, the upper bound was being set to
count whereas it should be count - 1.
This was causing drd/tests/atomic_var to fail because the g_dummy
array seemed to overlap the following s_y variable.
This seems only to have been caused by clang, not GCC, which
presumably supplies lower and upper bound rather than lower
bound and count.
boundE.Te.Bound.knownL = True;
boundE.Te.Bound.knownU = True;
boundE.Te.Bound.boundL = lower;
- boundE.Te.Bound.boundU = lower + count;
+ boundE.Te.Bound.boundU = lower + count - 1;
} else {
/* FIXME: handle more cases */
goto_bad_DIE;