Source code
Revision control
Copy as Markdown
Other Tools
//error: argument typename `int' of message `foo' has a NoTaint attribute, but the message lacks the Tainted attribute
[ChildProc=any]
sync protocol PNoTaintWithoutTainted {
child:
async foo([NoTaint=passback] int id);
};