File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -205,7 +205,11 @@ jobs:
205205 - name : Set sanitizer options
206206 if : ${{ !inputs.build_only && env.SANITIZERS_ENABLED == 'true' }}
207207 run : |
208- echo "ASAN_OPTIONS=halt_on_error=0:use_sigaltstack=0:print_stacktrace=1:detect_container_overflow=0:detect_stack_use_after_return=0:suppressions=${GITHUB_WORKSPACE}/sanitizers/suppressions/asan.supp" >> ${GITHUB_ENV}
208+ ASAN_OPTS="halt_on_error=0:use_sigaltstack=0:print_stacktrace=1:detect_container_overflow=0:detect_stack_use_after_return=0:suppressions=${GITHUB_WORKSPACE}/sanitizers/suppressions/asan.supp"
209+ if [[ "${{ inputs.config_name }}" == *gcc* ]]; then
210+ ASAN_OPTS="${ASAN_OPTS}:alloc_dealloc_mismatch=0"
211+ fi
212+ echo "ASAN_OPTIONS=${ASAN_OPTS}" >> ${GITHUB_ENV}
209213 echo "TSAN_OPTIONS=second_deadlock_stack=1:halt_on_error=0:suppressions=${GITHUB_WORKSPACE}/sanitizers/suppressions/tsan.supp" >> ${GITHUB_ENV}
210214 echo "UBSAN_OPTIONS=suppressions=${GITHUB_WORKSPACE}/sanitizers/suppressions/ubsan.supp" >> ${GITHUB_ENV}
211215 echo "LSAN_OPTIONS=suppressions=${GITHUB_WORKSPACE}/sanitizers/suppressions/lsan.supp" >> ${GITHUB_ENV}
You can’t perform that action at this time.
0 commit comments