ack/tests/plat/bugs/bug-164-faddrn_c.c

#include <stdio.h>
#include "test.h"

int doit(void)
{
  char buf[128];
  int i;
  i++;
}

int main(int argc, char *argv[])
{
    doit();
    finished();
    return 0;
}