Merge branch 'remove-basop-files-from-ignorelist' into 'basop-ci-branch'

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)