新人提问：使用ghidra进行反编译时，变量的赋值语句缺失，但是反汇编里有相关语句

Firepunch

刚接触反编译工具，使用ghidra对简单的C程序可重定向文件反编译时，变量的赋值语句有时会缺失，但是反汇编里有相关语句。请问为什么会有这种情况？什么样的代码或工具设置，工具可以正常提供完整的赋值语句呢？
问题源代码示例：

反汇编和反编译结果：

我做过以下尝试
1. main函数局部变量先声明再赋值
2.  main函数局部变量声明时直接初始化
3. main函数局部变量赋值后互相进行数值运算并赋值操作
4. main函数局部变量赋值后，针对该变量值使用assert断言
5. 在GUI界面Edit导航栏tool option菜单里修改反编译器的分析设置
这些尝试都不能使ghidra在生成的反编译代码里包含变量的赋值


因为我最终的需求是检测反编译代码里的assert是否通过，所以如果缺失变量值的话有些时候会对验证结果造成很大影响。
另外我还想问一下，使用ghidra的反编译器时，好像只提供函数的C伪代码，如果想要获取全局变量的数据结构和初始化值有什么办法吗？
最后，因为我要处理批量的数据，最终要使用的是ghidra的headless模式（命令行操作），该模式能完成我上面的需求吗？无头模式和GUI模式在功能覆盖上是否存在差异呢？（比如是否存在部分GUI上的功能，在使用命令行时没有相应的API无法实现）

一股脑问了很多新手问题，希望朋友们不要介意，烦请不吝赐教，感谢大家