?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
db: Avoid dereferencing null pointer
[smatch.git] / smatch_data / wine.no_return_funcs
blobc795648df7fe4f38796a02c400c7a8a1402e2795
1 fatal
2 fatal_error
3 __assert_fail
4 __assert_perror_fail
5 raise_status
6 RaiseException
7 RpcRaiseException
8 RtlRaiseException
9 pp_internal_error
10 ExitThread
11 ExitProcess
12 exit
13 yy_fatal_error
14 error
15 error_loc
16 xyyerror
17 parser_error
18 WINECON_Fatal
Static analysis for C