dvyukov added a comment. I've submitted: http://llvm.org/viewvc/llvm-project?view=revision&revision=273862 It should make these annotations more efficient for some cases (serial queues and concurrent queues with only concurrent tasks). http://reviews.llvm.org/D21604