void marked an inline comment as done. void added inline comments.
================ Comment at: clang/lib/Analysis/UninitializedValues.cpp:856 + vals[VD] = MayUninitialized; } ---------------- nickdesaulniers wrote: > Can you walk me through the logic of this function? > > I would assume for changes to `asm goto`, the above early `return` would have > been removed? Otherwise we seem to be changing the logic of the non-`asm > goto` case? Sure. If the variable hasn't been initialized by the time it gets to the asm goto, then we mark it as "potentially uninitialized" so that it's caught on the indirect branch. Uses on the default/fallthrough path should resolve to "initialized". I'll add a comment. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D71314/new/ https://reviews.llvm.org/D71314 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits