当Dialyzer遇到一个未初始化必填字段的记录文字时，它认为控制流在具有记录文字的行处停止。
示例：

-module(sample).
-export([foo/0]).
-record(boo, {a :: number()}).
foo() ->
    erlang:display(#boo{}).

错误数：

13> dialyzer:run([{files, ["/Users/mheiber/sample.erl"]}, {from, src_code}]).
[{warn_return_no_exit,
     {"/Users/mheiber/sample.erl",11},
     {no_return,[only_normal,foo,0]}},
 {warn_matching,
     {"/Users/mheiber/sample.erl",12},
     {record_constr,
         ["#boo{a::'undefined'}","a::number()"]}}]

Erlang的运行时语义与Dialyzer的建模方式 * 不 * 匹配：Erts（不管是好是坏！）沿着，愉快地将原子“undefined”分配给任何未初始化的字段。

**澄清：**我在这里的意思是，在可行的情况下，静态检查最好反映Erlang在运行时的工作方式。

所以这是透析器故障吗？
Dialyzer处理这些错误初始化的记录的方式是有害的，因为它会触发一连串虚假警告-当Dialyzer认为函数foo的一行不可访问时，任何只能从foo访问的函数也被认为是死的。