check_wine.c

   1 /*
   2  * sparse/check_wine.c
   3  *
   4  * Copyright (C) 2009 Dan Carpenter.
   5  *
   6  * Licensed under the Open Software License version 1.1
   7  *
   8  */
   9
  10 #include "smatch.h"
  11
  12 void check_wine(int id)
  13 {
  14         /* Really I should figure out how to get the no return
  15            attribute from sparse, but this is a quick hack. */
  16
  17         if (option_project != PROJ_WINE)
  18                 return;
  19         add_function_hook("fatal", &__match_nullify_path_hook, NULL);
  20         add_function_hook("fatal_error", &__match_nullify_path_hook, NULL);
  21         add_function_hook("__assert_fail", &__match_nullify_path_hook, NULL);
  22         add_function_hook("__assert_perror_fail", &__match_nullify_path_hook, NULL);
  23         add_function_hook("raise_status", &__match_nullify_path_hook, NULL);
  24         add_function_hook("RaiseException", &__match_nullify_path_hook, NULL);
  25         add_function_hook("RpcRaiseException", &__match_nullify_path_hook, NULL);
  26         add_function_hook("RtlRaiseException", &__match_nullify_path_hook, NULL);
  27         add_function_hook("pp_internal_error", &__match_nullify_path_hook, NULL);
  28         add_function_hook("ExitThread", &__match_nullify_path_hook, NULL);
  29         add_function_hook("ExitProcess", &__match_nullify_path_hook, NULL);
  30         add_function_hook("exit", &__match_nullify_path_hook, NULL);
  31
  32 }