diff options
| author | Sverker Eriksson <[email protected]> | 2018-01-16 21:33:53 +0100 |
|---|---|---|
| committer | Sverker Eriksson <[email protected]> | 2018-01-16 21:38:37 +0100 |
| commit | 165ab6aafd9b17ac402cca78bbeddc7a7c293dd5 (patch) | |
| tree | b20e238b1ba0c1b890c3fcd3dee4803f703c80e6 /lib/hipe | |
| parent | 553f4fdb6893289cd9c7f07bbb3e599c55cf3498 (diff) | |
| download | otp-165ab6aafd9b17ac402cca78bbeddc7a7c293dd5.tar.gz otp-165ab6aafd9b17ac402cca78bbeddc7a7c293dd5.tar.bz2 otp-165ab6aafd9b17ac402cca78bbeddc7a7c293dd5.zip | |
hipe: Make option 'verify_gcsafe' the default
Diffstat (limited to 'lib/hipe')
| -rw-r--r-- | lib/hipe/main/hipe_main.erl | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lib/hipe/main/hipe_main.erl b/lib/hipe/main/hipe_main.erl index 4b5eb4c63e..6e48f0cffd 100644 --- a/lib/hipe/main/hipe_main.erl +++ b/lib/hipe/main/hipe_main.erl @@ -410,9 +410,9 @@ icode_to_rtl(MFA, Icode, Options, Servers) -> hipe_llvm_liveness:analyze(RtlCfg4) end, pp(RtlCfg5, MFA, rtl, pp_rtl, Options, Servers), - case proplists:get_bool(verify_gcsafe, Options) of - false -> ok; - true -> + case proplists:get_bool(no_verify_gcsafe, Options) of + true -> ok; + false -> ok = hipe_rtl_verify_gcsafe:check(RtlCfg5) end, LinearRTL1 = hipe_rtl_cfg:linearize(RtlCfg5), |