readMutVar# is marked can_fail

readMutVar# can only fail if its argument is not a valid pointer. As far as I know, we never check whether a pointer is valid; we ensure it's valid by construction. So I think we should set can_fail = False.

Trac metadata

Trac field	Value
Version	8.1
Type	Bug
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	Compiler
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture

changed milestone to %8.4.1

changed weight to 5

added Tbug Trac import labels

Trac metadata

Trac field	Value
Differential revisions	- → D3340

mentioned in commit 2ac13c13

closed

Note that this change probably won't have any immediate effect, since these primops are both has_side_effects; it just tries to set the stage a bit for further ones.

Trac metadata

Trac field	Value
Resolution	Unresolved → ResolvedFixed

added Pnormal label