diff options
| author | Magnus Lång <[email protected]> | 2017-03-28 14:01:04 +0200 |
|---|---|---|
| committer | Magnus Lång <[email protected]> | 2017-03-28 14:01:04 +0200 |
| commit | af3f9ca6fa5b207e7619590723f80002d82a013a (patch) | |
| tree | 11b54bd72a18ad9e53e5c1d146cdb6ec1aa62cca /lib/hipe/icode | |
| parent | 48b5cc3c35e1d94807e9587c222a41c3cd513f64 (diff) | |
| download | otp-af3f9ca6fa5b207e7619590723f80002d82a013a.tar.gz otp-af3f9ca6fa5b207e7619590723f80002d82a013a.tar.bz2 otp-af3f9ca6fa5b207e7619590723f80002d82a013a.zip | |
hipe_icode_range: Add comment about side-effects
Diffstat (limited to 'lib/hipe/icode')
| -rw-r--r-- | lib/hipe/icode/hipe_icode_range.erl | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/hipe/icode/hipe_icode_range.erl b/lib/hipe/icode/hipe_icode_range.erl index d1ffb105f4..287b1c80fe 100644 --- a/lib/hipe/icode/hipe_icode_range.erl +++ b/lib/hipe/icode/hipe_icode_range.erl @@ -395,6 +395,9 @@ analyse_call(Call, LookupFun) -> Args = hipe_icode:args(Call), Fun = hipe_icode:call_fun(Call), Type = hipe_icode:call_type(Call), + %% This call has side-effects (it might call LookupFun which sends messages to + %% hipe_icode_coordinator to update the argument ranges of Fun), and must thus + %% not be moved into the case statement. DstRanges = analyse_call_or_enter_fun(Fun, Args, Type, LookupFun), case hipe_icode:call_dstlist(Call) of [] -> |