diff options
| author | Sverker Eriksson <[email protected]> | 2018-01-29 15:55:52 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2018-01-29 15:55:52 +0100 |
| commit | e584c594c167020b5db2b6c9813a6bd2a14d3589 (patch) | |
| tree | fd4a0f2a5070bedac43cc76e78e35ae8c31a8c32 /lib/hipe/main/hipe_main.erl | |
| parent | caec48ae5d76fff1b3aee5ae8fafb81c1d9fc931 (diff) | |
| parent | 165ab6aafd9b17ac402cca78bbeddc7a7c293dd5 (diff) | |
| download | otp-e584c594c167020b5db2b6c9813a6bd2a14d3589.tar.gz otp-e584c594c167020b5db2b6c9813a6bd2a14d3589.tar.bz2 otp-e584c594c167020b5db2b6c9813a6bd2a14d3589.zip | |
Merge PR-1685 from sverker/sverker/hipe-verify-gcsafe OTP-14900
Make hipe compile option verify_gcsafe the default
Diffstat (limited to 'lib/hipe/main/hipe_main.erl')
| -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), |