Thanks very much, David, that does the trick! We will make do with the special case and leave the general case as an exercise for the reader... -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20190829/1ada8808/attachment.html>