rjmccall added a comment. I think the diagnostic should come during instantiation when you find an evaluated use of a host function within a device function. CHANGES SINCE LAST ACTION https://reviews.llvm.org/D56411/new/ https://reviews.llvm.org/D56411