166f196dd7e23627a6e0e54dc90c89800a4878be2bart/* Test for verifying that unsupported annotations are reported properly. */ 266f196dd7e23627a6e0e54dc90c89800a4878be2bart 366f196dd7e23627a6e0e54dc90c89800a4878be2bart#include <stdio.h> 466f196dd7e23627a6e0e54dc90c89800a4878be2bart#include "../../helgrind/helgrind.h" 566f196dd7e23627a6e0e54dc90c89800a4878be2bart 666f196dd7e23627a6e0e54dc90c89800a4878be2bartint main(int argc, char** argv) 766f196dd7e23627a6e0e54dc90c89800a4878be2bart{ 866f196dd7e23627a6e0e54dc90c89800a4878be2bart ANNOTATE_PUBLISH_MEMORY_RANGE(argv[0], sizeof(argv[0])); 966f196dd7e23627a6e0e54dc90c89800a4878be2bart fprintf(stderr, "Done.\n"); 1066f196dd7e23627a6e0e54dc90c89800a4878be2bart return 0; 1166f196dd7e23627a6e0e54dc90c89800a4878be2bart} 12