diff --git a/scripts/basop_create_ignorelist_for_ubsan.py b/scripts/basop_create_ignorelist_for_ubsan.py index e6dfdfa0752daf92b00577538931afe44636352b..d13c0d5f5b7054ed73e37fa1aa8339153bc77590 100644 --- a/scripts/basop_create_ignorelist_for_ubsan.py +++ b/scripts/basop_create_ignorelist_for_ubsan.py @@ -1,9 +1,14 @@ import pathlib -all_c_files = pathlib.Path(".").glob("lib_*/*.[ch]") -ivas_c_files = pathlib.Path(".").glob("lib_*/ivas*.[ch]") -non_ivas_c_files = sorted(set(all_c_files) - set(ivas_c_files)) +here = pathlib.Path(".") + +all_files = here.glob("lib_*/*.[ch]") +ivas_files = here.glob("lib_*/ivas*.[ch]") +non_ivas_files = sorted(set(all_files) - set(ivas_files)) +basop_files = here.glob("lib_*/basop*.[ch]") + +ignorefiles = sorted(set(non_ivas_files) - set(basop_files)) with open("ubsan_ignorelist.txt", "w") as f: - for cfile in non_ivas_c_files: + for cfile in ignorefiles: print(f"src:{cfile}", file=f)