OSRA: x | bottom = x, not bottom
or-merging bottom with anything used to produce a bottom value, which is wrong. The non-bottom value should be produced instead.
Loading
Please register or sign in to comment
or-merging bottom with anything used to produce a bottom value, which is wrong. The non-bottom value should be produced instead.