otp.git/lib/compiler/src, branch sverker-ets-patch-1

Merge branch 'maint-21' into maint

2018-09-12T12:41:05+00:00

* maint-21:
  Updated OTP version
  Update release notes
  Update version numbers
  erts: Fix "Prevent inconsistent node lists" fix
  Fix include-path regression caused by dd0a39c
  Restore default SIGTERM behaviour for port programs

Fix include-path regression caused by dd0a39c

2018-09-10T12:43:17+00:00

Include paths don't actually affect code generation in any way, but
it's reasonable for a build tool like rebar3 to recompile when the
include paths change. This commit restores the old behavior without
the +deterministic flag.

Merge branch 'hasse/dialyzer/improve_guards/OTP-15268/ERL-680' into maint

2018-08-31T06:08:46+00:00

* hasse/dialyzer/improve_guards/OTP-15268/ERL-680:
  dialyzer: Improve handling of complex guards

dialyzer: Improve handling of complex guards

2018-08-28T06:27:52+00:00

See also https://bugs.erlang.org/browse/ERL-680.

The right associative short circuit expressions 'andalso' and 'orelse'
are expanded by the Compiler (see v3_core) into 'case' expressions. If
parentheses are used to enforce left associativeness, variables are
introduced, and the time needed by Dialyzer increases exponentially.

Rather than trying to fix Dialyzer itself, v3_core now rewrites
repeated use of 'andalso' ('orelse') into right associative
expressions before creating the 'case' expressions.

beam_validator: Infer the type of the map argument for is_map_key/2

2018-08-22T08:35:43+00:00

Make sure that beam_validator considers a call to is_map_key/2
followed by an update of the same map without an is_map/1 test
safe. (This situation will probably not be encountered when
using the compiler in OTP 21, but better safe than sorry.)

Fix compiler crash when compiling double receives

2018-08-14T14:24:30+00:00

The compiler would crash when compiling a function with two
receive statements.

https://bugs.erlang.org/browse/ERL-703

Correct error behavior of is_map_key/2 in guards

2018-08-13T07:26:36+00:00

Consider the following functions:

    foo() -> bar(not_a_map).

    bar(M) when not is_map_key(a, M) -> ok;
    bar(_) -> error.

What will `foo/0` return? It depends. If the module is compiled
with the default compiler options, the return value will be
`ok`. If the module is compiled with the `inline` option,
the return value will be `error`.

The correct value is `error`, because the call to `is_map_key/2`
when the second argument is not a map should fail the entire
guard. That is the way other failing guards BIFs are handled.
For example:

    foo() -> bar(not_a_tuple).

    bar(T) when not element(1, T) -> ok;
    bar(_) -> error.

`foo/0` always returns `error` (whether the code is inlined
or not).

This bug can be fixed by changing the classification of `is_map_key/2`
in the `erl_internal` module. It is now classified as a type test,
which is incorrect because type tests should not fail. Reclassifying
it as a plain guard BIF corrects the bug.

This correction also fixes the internal consistency check
failure which was reported in:

https://bugs.erlang.org/browse/ERL-699

Merge branch 'john/compiler/fix-deterministic-include-paths/OTP-15204/ERL-679' into maint-21

2018-08-10T17:02:28+00:00

* john/compiler/fix-deterministic-include-paths/OTP-15204/ERL-679:
  Omit include path debug info for +deterministic builds

# Conflicts:
#	lib/compiler/test/compile_SUITE.erl

Merge pull request #1911 from bjorng/bjorn/compiler/binary-syntax/ERL-689/OTP-15219

2018-08-10T10:14:49+00:00

Fix bug in binary matching

Merge branch 'john/compiler/fix-deterministic-include-paths/OTP-15204/ERL-679' into maint

2018-08-09T15:12:10+00:00

* john/compiler/fix-deterministic-include-paths/OTP-15204/ERL-679:
  Omit include path debug info for +deterministic builds