diff options
author | Sverker Eriksson <[email protected]> | 2016-05-31 15:00:02 +0200 |
---|---|---|
committer | Sverker Eriksson <[email protected]> | 2016-05-31 15:00:02 +0200 |
commit | 78b50b543395f9af748e2b00afb8c0266e708514 (patch) | |
tree | acf9bfb112d9c276c52d6ad7d460be1ff10d1b7e /lib/hipe/flow | |
parent | 17e95dd8dcb0149b771d4aafaeeebc715ee59d3d (diff) | |
parent | f2ef57d35c27e62f7df6de312ff613bd9afd3c1d (diff) | |
download | otp-78b50b543395f9af748e2b00afb8c0266e708514.tar.gz otp-78b50b543395f9af748e2b00afb8c0266e708514.tar.bz2 otp-78b50b543395f9af748e2b00afb8c0266e708514.zip |
Merge branch 'kostis/hipe-cleanup-19-rc1'
Diffstat (limited to 'lib/hipe/flow')
-rw-r--r-- | lib/hipe/flow/Makefile | 2 | ||||
-rw-r--r-- | lib/hipe/flow/cfg.hrl | 6 | ||||
-rw-r--r-- | lib/hipe/flow/hipe_dominators.erl | 2 |
3 files changed, 5 insertions, 5 deletions
diff --git a/lib/hipe/flow/Makefile b/lib/hipe/flow/Makefile index fe1675b7dd..d883eecf36 100644 --- a/lib/hipe/flow/Makefile +++ b/lib/hipe/flow/Makefile @@ -66,7 +66,7 @@ DOC_FILES= $(MODULES:%=$(DOCS)/%.html) include ../native.mk -ERL_COMPILE_FLAGS += +warn_exported_vars +warn_missing_spec # +warn_untyped_record +ERL_COMPILE_FLAGS += -Werror +warn_export_vars +warn_missing_spec +warn_untyped_record # ---------------------------------------------------- # Targets diff --git a/lib/hipe/flow/cfg.hrl b/lib/hipe/flow/cfg.hrl index 641ec102db..2575b9e38a 100644 --- a/lib/hipe/flow/cfg.hrl +++ b/lib/hipe/flow/cfg.hrl @@ -2,7 +2,7 @@ %% %% %CopyrightBegin% %% -%% Copyright Ericsson AB 2007-2015. All Rights Reserved. +%% Copyright Ericsson AB 2007-2016. All Rights Reserved. %% %% Licensed under the Apache License, Version 2.0 (the "License"); %% you may not use this file except in compliance with the License. @@ -38,8 +38,8 @@ is_closure :: boolean(), closure_arity = none :: 'none' | arity(), is_leaf :: boolean(), - params, % :: list() - info = []}). %% this field seems not needed; take out?? + params :: list(), %% XXX: refine + info = [] :: list()}). %% seems not needed; take out?? -type cfg_info() :: #cfg_info{}. %% diff --git a/lib/hipe/flow/hipe_dominators.erl b/lib/hipe/flow/hipe_dominators.erl index 1b147607c7..72c16b5688 100644 --- a/lib/hipe/flow/hipe_dominators.erl +++ b/lib/hipe/flow/hipe_dominators.erl @@ -59,7 +59,7 @@ -record(domTree, {root :: cfg_lbl(), size = 0 :: non_neg_integer(), nodes = gb_trees:empty() :: gb_trees:tree()}). --type domTree() :: #domTree{}. +-opaque domTree() :: #domTree{}. %%>----------------------------------------------------------------------< %% Procedure : domTree_create/1 |