From 7db06f86efea90df387501735dea39681a82d4ae Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B6rn=20Gustavsson?= <bjorn@erlang.org>
Date: Thu, 19 Feb 2015 16:55:18 +0100
Subject: sys_core_fold: Fix non-tail-recursive list comprehensions

649d6e73 simplified opt_simple_let_2/6 a little bit too much,
so that some list comprehensions in effect context were not
properly tail-recursive.
---
 lib/compiler/test/lc_SUITE.erl | 11 +++++++++++
 1 file changed, 11 insertions(+)

(limited to 'lib/compiler/test/lc_SUITE.erl')

diff --git a/lib/compiler/test/lc_SUITE.erl b/lib/compiler/test/lc_SUITE.erl
index 6c5b34498b..62bada1407 100644
--- a/lib/compiler/test/lc_SUITE.erl
+++ b/lib/compiler/test/lc_SUITE.erl
@@ -208,6 +208,17 @@ effect(Config) when is_list(Config) ->
 			      #{<<1:500>>:=V1,<<2:301>>:=V2} <- L],
 			  ok
 		  end, id([#{},x,#{<<1:500>>=>42,<<2:301>>=>{a,b,c}}])),
+
+    %% Will trigger the time-trap timeout if not tail-recursive.
+    case ?MODULE of
+	lc_SUITE ->
+	    _ = [{'EXIT',{badarg,_}} =
+		     (catch binary_to_atom(<<C/utf8>>, utf8)) ||
+		    C <- lists:seq(16#10000, 16#FFFFF)];
+	_ ->
+	    ok
+    end,
+
     ok.
 
 do_effect(Lc, L) ->
-- 
cgit v1.2.3