otp.git/lib/dialyzer/src, branch OTP_R14B

Remove warnings for clashes with new autoimported BIFs

2010-09-10T12:24:42+00:00

Various changes to dialyzer-related files for R14.

2010-06-08T14:47:40+00:00

Bumped version number and wrote RELEASE_NOTES.
Included all changes described in release notes.

Some spec-related changes to some files in lib/hipe/cerl.

Fix confusing dialyzer warnings for is_record/2 with illegal records

2010-06-07T09:02:31+00:00

In commit 1858cb81391d2bce29b4b7620574ca60128cebf7, erl_expand_records
started to optimize is_record/2 in guards by replacing it with
pattern matching (if possible).

Unfortunately, dialyzer will no longer see the code before the
optimization, so any warnings produced in code such as:

  case ExprNotProducingRecord#rec{} of
         X when is_record(X, rec, N) -> ...

will refer to the optimized code and not the source code,
which is confusing for the user.

Introduce the no_is_record_optimization option for turning off
the optimization and use it in dialyzer.

Reported-by: Kostis Sagonas

Minor fix in a print message

2010-06-03T12:34:27+00:00

Add handling of unknown types

2010-06-03T12:34:27+00:00

Support -export_type() in dialyzer and erl_types

2010-06-03T12:34:26+00:00

Fix small confusion/buglet in the handling of 'or'

2010-03-03T16:07:18+00:00

Merge branch 'ks/hipe' into ccase/r13b04_dev

2010-02-17T15:48:13+00:00

* ks/hipe:
  dialyzer: Fix system_limit exception in race analysis
  syntax_tools: Add types and specs for most exported functions
  syntax_tools: Support the --enable-native-libs configure option
  syntax_tools: Remove $Id$ annotations
  dialyzer: New version for the R13B04 release
  hipe: Miscellaneous additions
  typer: New version for the R13B04 release
  Fix a HiPE compiler bug evaluating an expression that throws system_limit

OTP-8460  ks/hipe

dialyzer: Fix system_limit exception in race analysis

2010-02-16T15:18:41+00:00

dialyzer_callgraph:
  Avoid creation of too many ets tables by the race analysis.
dialyzer_dataflow:
  The digraph returned by the race analysis should not be the
  translated one.

dialyzer: New version for the R13B04 release

2010-02-14T11:23:03+00:00