jolesiak added a comment. In https://reviews.llvm.org/D49580#1179924, @djasper wrote: > Ok, so IIUC, understanding that @end effective ends a section much like "}" would address the currently observed problems? I think so. https://reviews.llvm.org/D49580