diff --git a/scripts/basop_create_ignorelist_for_ubsan.py b/scripts/basop_create_ignorelist_for_ubsan.py index d13c0d5f5b7054ed73e37fa1aa8339153bc77590..d34efff36347955a2f2e2c9a453eea7427cd746d 100644 --- a/scripts/basop_create_ignorelist_for_ubsan.py +++ b/scripts/basop_create_ignorelist_for_ubsan.py @@ -9,6 +9,10 @@ basop_files = here.glob("lib_*/basop*.[ch]") ignorefiles = sorted(set(non_ivas_files) - set(basop_files)) +ignorefunctions = ["L_add_o", "L_add_co", "L_sub_o", "shl_o", "L_deposit_h"] + with open("ubsan_ignorelist.txt", "w") as f: for cfile in ignorefiles: print(f"src:{cfile}", file=f) + for fun in ignorefunctions: + print(f"fun:*{fun}*", file=f)