From 6eac68854c414285b7a99f27196bbbfa7969b295 Mon Sep 17 00:00:00 2001 From: Hans Bolinder Date: Fri, 27 Jun 2014 16:08:46 +0200 Subject: dialyzer, hipe: Fix a bug concerning is_record/2,3 Also fixed some cases where Dialyzer could crash due to reaching system limits. --- lib/dialyzer/test/opaque_SUITE_data/src/opaque/opaque_bug5.erl | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 lib/dialyzer/test/opaque_SUITE_data/src/opaque/opaque_bug5.erl (limited to 'lib/dialyzer/test/opaque_SUITE_data/src/opaque/opaque_bug5.erl') diff --git a/lib/dialyzer/test/opaque_SUITE_data/src/opaque/opaque_bug5.erl b/lib/dialyzer/test/opaque_SUITE_data/src/opaque/opaque_bug5.erl new file mode 100644 index 0000000000..28d739de8e --- /dev/null +++ b/lib/dialyzer/test/opaque_SUITE_data/src/opaque/opaque_bug5.erl @@ -0,0 +1,10 @@ +%% Second arg of is_record call wasn't checked properly + +-module(opaque_bug5). + +-export([b/0]). + +b() -> + is_record(id({a}), id(a)). + +id(I) -> I. -- cgit v1.2.3