|
@@ -141,15 +141,15 @@ def main():
|
|
|
print(" Raw data: " + func);
|
|
|
|
|
|
# Replace unusual stuff...
|
|
|
- func = func.replace("SDL_PRINTF_VARARG_FUNC(1)", "");
|
|
|
- func = func.replace("SDL_PRINTF_VARARG_FUNC(2)", "");
|
|
|
- func = func.replace("SDL_PRINTF_VARARG_FUNC(3)", "");
|
|
|
- func = func.replace("SDL_WPRINTF_VARARG_FUNC(3)", "");
|
|
|
- func = func.replace("SDL_SCANF_VARARG_FUNC(2)", "");
|
|
|
- func = func.replace("__attribute__((analyzer_noreturn))", "");
|
|
|
- func = func.replace("SDL_MALLOC", "");
|
|
|
- func = func.replace("SDL_ALLOC_SIZE2(1, 2)", "");
|
|
|
- func = func.replace("SDL_ALLOC_SIZE(2)", "");
|
|
|
+ func = func.replace(" SDL_PRINTF_VARARG_FUNC(1)", "");
|
|
|
+ func = func.replace(" SDL_PRINTF_VARARG_FUNC(2)", "");
|
|
|
+ func = func.replace(" SDL_PRINTF_VARARG_FUNC(3)", "");
|
|
|
+ func = func.replace(" SDL_WPRINTF_VARARG_FUNC(3)", "");
|
|
|
+ func = func.replace(" SDL_SCANF_VARARG_FUNC(2)", "");
|
|
|
+ func = func.replace(" __attribute__((analyzer_noreturn))", "");
|
|
|
+ func = func.replace(" SDL_MALLOC", "");
|
|
|
+ func = func.replace(" SDL_ALLOC_SIZE2(1, 2)", "");
|
|
|
+ func = func.replace(" SDL_ALLOC_SIZE(2)", "");
|
|
|
func = re.sub(" SDL_ACQUIRE\(.*\)", "", func);
|
|
|
func = re.sub(" SDL_ACQUIRE_SHARED\(.*\)", "", func);
|
|
|
func = re.sub(" SDL_TRY_ACQUIRE\(.*\)", "", func);
|