aboutsummaryrefslogtreecommitdiffstats
path: root/lib/compiler/test
diff options
context:
space:
mode:
authorBjörn Gustavsson <[email protected]>2015-04-23 16:14:58 +0200
committerBjörn Gustavsson <[email protected]>2015-04-29 12:23:42 +0200
commitd44be2bdc194e7c0afbf6fbd1de998aff097f030 (patch)
treead616ec8a90b24bb060b9bf69a9f5343a532e57e /lib/compiler/test
parent808e43007754cb68dbe947ec6752698167b1c470 (diff)
downloadotp-d44be2bdc194e7c0afbf6fbd1de998aff097f030.tar.gz
otp-d44be2bdc194e7c0afbf6fbd1de998aff097f030.tar.bz2
otp-d44be2bdc194e7c0afbf6fbd1de998aff097f030.zip
sys_core_fold: Suppress warnings better
86fbd6d76d strengthened type optimization in lets. As a result of the stronger optimizations, special care had to be taken to suppress false warnings. It turns out that false warnings can still slip through. Slapping on a 'compiler_generated' annotation at the top-level of a complex term such as #c_tuple{} may not suppress all warnings. We will need to go deeper into the term to eliminate all warnings.
Diffstat (limited to 'lib/compiler/test')
-rw-r--r--lib/compiler/test/warnings_SUITE.erl6
1 files changed, 6 insertions, 0 deletions
diff --git a/lib/compiler/test/warnings_SUITE.erl b/lib/compiler/test/warnings_SUITE.erl
index e996a55db6..f6ba75577d 100644
--- a/lib/compiler/test/warnings_SUITE.erl
+++ b/lib/compiler/test/warnings_SUITE.erl
@@ -733,6 +733,12 @@ no_warnings(Config) when is_list(Config) ->
false -> Var;
true -> []
end.
+
+ c() ->
+ R0 = {r,\"abc\",undefined,os:timestamp()}, %No warning.
+ case R0 of
+ {r,V1,_V2,V3} -> {r,V1,\"def\",V3}
+ end.
">>,
[],
[]}],