diff --git a/scripts/basop_create_ignorelist_for_ubsan.py b/scripts/basop_create_ignorelist_for_ubsan.py new file mode 100644 index 0000000000000000000000000000000000000000..7369fc6c9f59730027337a26d6d1bf64e4945040 --- /dev/null +++ b/scripts/basop_create_ignorelist_for_ubsan.py @@ -0,0 +1,9 @@ +import pathlib + +all_c_files = pathlib.Path(".").glob("lib_*/*.c") +ivas_c_files = pathlib.Path(".").glob("lib_*/ivas*.c") +non_ivas_c_files = sorted(set(all_c_files) - set(ivas_c_files)) + +with open("ubsan_ignorelist.txt", "w") as f: + for cfile in non_ivas_c_files: + print(f"src:{cfile}", file=f)