blob: b196050c48f7d4de6cb78978f6d9a42c55f405fc (
plain)
1
2
3
4
5
6
7
|
//error: argument typename `int' of message `foo' has a NoTaint attribute, but the message lacks the Tainted attribute
[ChildProc=any]
intr protocol PNoTaintWithoutTainted {
child:
async foo([NoTaint=passback] int id);
};
|