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