1/* Test for verifying that unsupported annotations are reported properly. */
2
3#include <stdio.h>
4#include "../../helgrind/helgrind.h"
5
6int main(int argc, char** argv)
7{
8  ANNOTATE_PUBLISH_MEMORY_RANGE(argv[0], sizeof(argv[0]));
9  fprintf(stderr, "Done.\n");
10  return 0;
11}
12