/* Test for verifying that unsupported annotations are reported properly. */ | |
#include <stdio.h> | |
#include "../../helgrind/helgrind.h" | |
int main(int argc, char** argv) | |
{ | |
ANNOTATE_PUBLISH_MEMORY_RANGE(argv[0], sizeof(argv[0])); | |
fprintf(stderr, "Done.\n"); | |
return 0; | |
} |