pjs/xpcom/tests/static-checker/o13.cpp

typedef int PRBool;
typedef int PRUint32;
typedef int PRInt32;

typedef PRUint32 nsresult;
typedef short PRUnichar;

nsresult baz(int *p);

void bar(int *p __attribute__((user("NS_outparam")))) {
  if (baz(p) != 0) {
    *p = 0;
  }
}