diff options
| author | Hans Bolinder <[email protected]> | 2014-06-27 16:08:46 +0200 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2014-08-21 09:22:08 +0200 |
| commit | 6eac68854c414285b7a99f27196bbbfa7969b295 (patch) | |
| tree | 11300443a664f962db49adbc1123dd9d69a50e49 /lib/dialyzer/test/opaque_SUITE_data | |
| parent | daed987f7ebae3fc8f969b4f55f225837267411b (diff) | |
| download | otp-6eac68854c414285b7a99f27196bbbfa7969b295.tar.gz otp-6eac68854c414285b7a99f27196bbbfa7969b295.tar.bz2 otp-6eac68854c414285b7a99f27196bbbfa7969b295.zip | |
dialyzer, hipe: Fix a bug concerning is_record/2,3
Also fixed some cases where Dialyzer could crash due to reaching
system limits.
Diffstat (limited to 'lib/dialyzer/test/opaque_SUITE_data')
| -rw-r--r-- | lib/dialyzer/test/opaque_SUITE_data/src/opaque/opaque_bug5.erl | 10 |
1 files changed, 10 insertions, 0 deletions
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. |