mercury icon indicating copy to clipboard operation
mercury copied to clipboard

Published 20 hours ago • verified publisher icon mercury-hpc

clang type annotations

Open soumagne opened this issue 9 years ago • 1 comments

Reported by robl on 09/22/14 Mercury uses a lot of void pointers. It would be nice if we could annotate the interface to catch problems.

see http://hpc-ua.org/hpc-ua-12/files/proceedings/3.pdf and http://clang.llvm.org/docs/AttributeReference.html#type-safety-checking

soumagne avatar Jul 17 '15 21:07 soumagne

Comment by robl on 09/23/14 To see an example of how one provides these annotations, see this MPICH commit:

http://git.mpich.org/mpich.git/commit/5650aec3

soumagne avatar Jul 17 '15 21:07 soumagne