重声明含outer参数的Modelica模型时提示找不到inner声明警告

这个警告属于OpenModelica 1.18版本的已知编译器缺陷，和代码的业务逻辑无关，触发根因如下：

1. 重声明操作的代码扫描分支缺失inner变量回溯逻辑：编译器处理replaceable组件的重声明操作时，和普通实例化走的是两套扫描逻辑，重声明分支不会主动向上回溯父级实例中的inner声明，导致子组件的outer constant Real a找不到匹配的上层定义，触发了自动生成inner声明的逻辑，进而弹出警告。
2. 作用域传递链路被重声明操作临时打断：M1继承自M0的inner parameter Real a作用域本可以覆盖所有子组件，但重声明操作会让编译器临时将新的子组件判定为独立的作用域实例，直到编译后期才会重新挂载到父级实例下，这个时间差导致了前期扫描阶段的判定错误。

• 优先升级OpenModelica到1.20及以上正式版本，该inner/outer重声明的作用域解析bug已经在后续版本中被修复，原代码无需修改即可正常运行无警告。
• 若必须使用1.18版本，可以将inner声明上移到package层级，让作用域覆盖包内所有模型，修改示例如下：

package tests
  // 将原M0中的inner定义移到package全局
  inner parameter Real a = 1;

  model M0
    // 移除原有的inner parameter Real a = 1; 语句
  end M0;
 
  // 其余所有代码保持不变
end tests;

• 若不想修改代码，也可以在编译仿真时添加参数-d=ignoreInnerOuterMissing临时屏蔽该类警告，只要代码逻辑中确实存在匹配的inner定义，编译器自动生成的临时声明不会影响最终的仿真结果正确性。

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