<div dir="ltr"><div>UBSAN_OPTIONS=halt_on_error=1<br></div><div>Also you can consider to use: <a href="https://clang.llvm.org/docs/SanitizerSpecialCaseList.html" target="_blank" class="cremed">https://clang.llvm.org/docs/SanitizerSpecialCaseList.html</a><br></div><div><br></div><div><div><br></div></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, 4 Mar 2021 at 10:06, Laurenz Altenmüller via llvm-dev <<a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
  

    
  
  <div>
    <p>Hello,</p>
    <p>I have a question regarding the sanitizers. I would like to
      suppress one error in a third-party library, but still have the
      program exit 1 on any other failed check. It seems to me that
      -fno-sanitize-recover will exit the program regardless of the
      suppressions file's contents. With -fsanitize-recover on the other
      hand, the specified error is correctly suppressed and the other
      one still printed, but the program exits normally, which I don't
      want.</p>
    <p><br>
    </p>
    <pre>$ cat main.cpp
int main() {
  int k = 0x7fffffff;
  k++;      // signed-integer-overflow
  k <<= k;  // invalid-shift-exponent
  return 0;
}</pre>
    <pre>$ clang++ -fsanitize=undefined -fno-sanitize-recover main.cpp -o main</pre>
    <pre>$ cat supp.txt
signed-integer-overflow:main.cpp</pre>
    <pre>$ UBSAN_OPTIONS=report_error_type=1,suppressions=supp.txt ./main
main.cpp:3:4: runtime error: signed integer overflow: <a href="tel:(214)%20748-3647" value="+12147483647" target="_blank">2147483647</a> + 1 cannot be represented in type 'int'
SUMMARY: UndefinedBehaviorSanitizer: signed-integer-overflow main.cpp:3:4 in</pre>
    <pre>$ echo $?
1</pre>
    <pre>$ clang++ -fsanitize=undefined -fsanitize-recover main.cpp -o main</pre>
    <pre>$ UBSAN_OPTIONS=report_error_type=1,suppressions=supp.txt ./main
main.cpp:4:5: runtime error: shift exponent -<a href="tel:(214)%20748-3648" value="+12147483648" target="_blank">2147483648</a> is negative
SUMMARY: UndefinedBehaviorSanitizer: invalid-shift-exponent main.cpp:4:5 in</pre>
    <pre>$ echo $?
0</pre>
    <p><br>
    </p>
    <p>How can I achieve the desired behavior? Are Ubsan suppressions
      and -fno-sanitize-recover really mutually exclusive?<br>
    </p>
    <p>Cheers<br>
      Laurenz<br>
    </p>
  </div>

_______________________________________________<br>
LLVM Developers mailing list<br>
<a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a><br>
<a href="https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev" rel="noreferrer" target="_blank">https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev</a><br>
</blockquote></div>