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