为何Delphi编译器认为未初始化的局部布尔变量已完成初始化？

文档参考：

USE_BEFORE_DEF W1036
W1036 Variable '%s' might not have been initialized (Delphi)
当变量在所有到达使用点的代码路径中都未被赋值时，会触发此警告。

我在一个空窗体中编写了如下代码：

{$WARN USE_BEFORE_DEF ERROR}
procedure TForm1.FormMouseMove(Sender: TObject; Shift: TShiftState; X, Y: Integer);
var
  lHandled: Boolean;
begin
  // 使用此代码块无任何警告或错误！
  if False then
    OnMouseWheelUp(Self, [], Point(0,0), lHandled);

  // 使用此代码块会触发预期的E1036错误！
  //if False then
  //  lHandled := True;

  if lHandled then
    Memo1.Lines.Add('Handled = true') // 随机进入其中一个分支
  else
    Memo1.Lines.Add('Handled = false'); // 随机进入其中一个分支
end;

显然，lHandled并未被赋值（因为没有else分支）。但即便启用了{$WARN USE_BEFORE_DEF ERROR}，代码编译时却未出现任何警告或错误。为何编译器无法识别该变量可能未初始化？这是Bug还是已知“特性”？

这是Delphi编译器的已知行为，而非Bug。核心原因在于编译器的数据流分析逻辑：

• 当lHandled作为参数传递给OnMouseWheelUp时，哪怕if False的分支永远不会执行，编译器仅会基于语法结构判断：变量被用作参数传递，存在被赋值的可能性，因此会标记它为“可能已初始化”，不会触发W1036/E1036。
• 编译器不会深入检查条件分支是否恒假，也不会验证目标方法是否真的会给该参数赋值——它的分析停留在代码的表层结构上。

对比注释掉的代码块：直接在分支里对变量赋值时，编译器能明确判断所有代码路径中变量都未被赋值（因为if False分支永远不执行），所以触发预期错误。

要解决这个问题，最可靠的方式是显式初始化变量：

var
  lHandled: Boolean;
begin
  lHandled := False; // 显式初始化变量
  // ... 后续代码
end;

内容的提问来源于stack exchange，提问作者Kromster