Commit 79c7cdec authored by Jan Kiene's avatar Jan Kiene
Browse files

add print_stacktrace=1 to UBSAN_OPTIONS

parent aab93594

.gitlab-ci.yml

+1 −1
Original line number Diff line number Diff line
@@ -751,7 +751,7 @@ stages: 
    - set -euxo pipefail

    - make_args="CLANG=$CLANG_NUM"

    - if [[ $CLANG_NUM == 3 ]]; then

    -   export UBSAN_OPTIONS="suppressions=scripts/ubsan_basop.supp,report_error_type=1"

    -   export UBSAN_OPTIONS="suppressions=scripts/ubsan_basop.supp,report_error_type=1,print_stacktrace=1"

    -   python3 scripts/basop_create_ignorelist_for_ubsan.py

    -   make_args="$make_args IGNORELIST=1"

    - fi