Commit f5794e81 authored by Jan Kiene's avatar Jan Kiene
Browse files

Merge branch 'basop-ci/include-header-files-in-ubsan-ignorelist' into 'basop-ci-branch' 

[BASOP-CI] also add header files to USAN ignorelist

See merge request !2022
parents 85036fcb 03cb598a

scripts/basop_create_ignorelist_for_ubsan.py

+2 −2
Original line number Diff line number Diff line 
import pathlib



all_c_files = pathlib.Path(".").glob("lib_*/*.c")

ivas_c_files = pathlib.Path(".").glob("lib_*/ivas*.c")

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))



with open("ubsan_ignorelist.txt", "w") as f: