gamesh411 wrote: > _On the "after this PR" diagram, there are two areas with "mixed" output: > those produce "initialised here" for globals and "declared without an initial > value" for non-globals._
This is intentional because I wanted to take into account that global variables are zero-initialised even in cases where automatic-lifetime variables would not be. >_Please investigate whether SI.Value.isUndef() can be true in this situation:_ It indeed can be, but the effects of this are hard to see, because the `core.uninitialized.Assign` cuts short exploration paths where these notes would surface. I have added a test case in which this checker is disabled and only `core.uninitialized.Branch` is active. In that case, the "garbage value" note appears. https://github.com/llvm/llvm-project/pull/198345 _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
