
<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">$ ./configure --COPTFLAGS=“-fsanitize=address -fsanitize=undefined -fno-sanitize-recover=all -fsanitize=float-divide-by-zero -fsanitize=float-cast-overflow -fno-sanitize=null -fno-sanitize=alignment” <font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class="">--CXXOPTFLAGS=“-fsanitize=address -fsanitize=undefined -fno-sanitize-recover=all -fsanitize=float-divide-by-zero -fsanitize=float-cast-overflow -fno-sanitize=null -fno-sanitize=alignment"</span></font><div class=""><br class=""></div><div class="">Should do what you want. Note that as of the latest release PETSc is not exactly -fsanitize=undefined clean. We have integrated -fsanitize=address into CI but have yet to do the same for the other checkers.</div><div class=""><br class=""><div class="">

<meta charset="UTF-8" class=""><div>Best regards,<br class=""><br class="">Jacob Faibussowitsch<br class="">(Jacob Fai - booss - oh - vitch)</div>

</div>

<div><br class=""><blockquote type="cite" class=""><div class="">On Mar 15, 2022, at 11:09, Isaías Gallana <<a href="mailto:gallanaisaias@gmail.com" class="">gallanaisaias@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div dir="ltr" class=""><div class=""><div style="box-sizing: border-box; margin: 0px; color: rgb(36, 36, 36); font-family: "Segoe UI", system-ui, "Apple Color Emoji", "Segoe UI Emoji", sans-serif; font-size: 14px;" class="">Hi everyone.<br style="box-sizing:border-box" class=""></div><div style="box-sizing: border-box; margin: 0px; color: rgb(36, 36, 36); font-family: "Segoe UI", system-ui, "Apple Color Emoji", "Segoe UI Emoji", sans-serif; font-size: 14px;" class=""><br style="box-sizing:border-box" class=""></div><div style="box-sizing: border-box; margin: 0px; color: rgb(36, 36, 36); font-family: "Segoe UI", system-ui, "Apple Color Emoji", "Segoe UI Emoji", sans-serif; font-size: 14px;" class="">I would like to compile petsc with a few of the Google Sanitizers, in particular ASAN.<br style="box-sizing:border-box" class="">I am using petsc-3.16.4, but I guess that is not relevant.</div><div style="box-sizing: border-box; margin: 0px; color: rgb(36, 36, 36); font-family: "Segoe UI", system-ui, "Apple Color Emoji", "Segoe UI Emoji", sans-serif; font-size: 14px;" class=""><br style="box-sizing:border-box" class=""></div><div style="box-sizing: border-box; margin: 0px; color: rgb(36, 36, 36); font-family: "Segoe UI", system-ui, "Apple Color Emoji", "Segoe UI Emoji", sans-serif; font-size: 14px;" class="">I have used for other projects</div><div style="box-sizing: border-box; margin: 0px; color: rgb(36, 36, 36); font-family: "Segoe UI", system-ui, "Apple Color Emoji", "Segoe UI Emoji", sans-serif; font-size: 14px;" class=""><br style="box-sizing:border-box" class=""></div><div style="box-sizing: border-box; margin: 0px; color: rgb(36, 36, 36); font-family: "Segoe UI", system-ui, "Apple Color Emoji", "Segoe UI Emoji", sans-serif; font-size: 14px;" class="">-fsanitize=address -fsanitize=undefined -fno-sanitize-recover=all -fsanitize=float-divide-by-zero -fsanitize=float-cast-overflow -fno-sanitize=null -fno-sanitize=alignment</div><div style="box-sizing: border-box; margin: 0px; color: rgb(36, 36, 36); font-family: "Segoe UI", system-ui, "Apple Color Emoji", "Segoe UI Emoji", sans-serif; font-size: 14px;" class=""><br style="box-sizing:border-box" class=""></div><div style="box-sizing: border-box; margin: 0px; color: rgb(36, 36, 36); font-family: "Segoe UI", system-ui, "Apple Color Emoji", "Segoe UI Emoji", sans-serif; font-size: 14px;" class="">as shown in <a aria-label="Vínculo https://developers.redhat.com/blog/2021/05/05/memory-error-checking-in-c-and-c-comparing-sanitizers-and-valgrind#tldr." title="https://developers.redhat.com/blog/2021/05/05/memory-error-checking-in-c-and-c-comparing-sanitizers-and-valgrind#tldr." href="https://developers.redhat.com/blog/2021/05/05/memory-error-checking-in-c-and-c-comparing-sanitizers-and-valgrind#tldr." rel="noopener noreferrer" target="_blank" tabindex="-1" style="box-sizing:border-box;background-color:transparent;outline-style:none;color:rgb(91,95,199);text-decoration-line:none" class="">https://developers.redhat.com/blog/2021/05/05/memory-error-checking-in-c-and-c-comparing-sanitizers-and-valgrind#tldr.</a></div><div style="box-sizing: border-box; margin: 0px; color: rgb(36, 36, 36); font-family: "Segoe UI", system-ui, "Apple Color Emoji", "Segoe UI Emoji", sans-serif; font-size: 14px;" class=""><br style="box-sizing:border-box" class=""></div><div style="box-sizing: border-box; margin: 0px; color: rgb(36, 36, 36); font-family: "Segoe UI", system-ui, "Apple Color Emoji", "Segoe UI Emoji", sans-serif; font-size: 14px;" class="">I could not find the proper way to do that, and I do not even know if that is possible.</div><div style="box-sizing: border-box; margin: 0px; color: rgb(36, 36, 36); font-family: "Segoe UI", system-ui, "Apple Color Emoji", "Segoe UI Emoji", sans-serif; font-size: 14px;" class=""><br style="box-sizing:border-box" class=""></div><div style="box-sizing: border-box; margin: 0px; color: rgb(36, 36, 36); font-family: "Segoe UI", system-ui, "Apple Color Emoji", "Segoe UI Emoji", sans-serif; font-size: 14px;" class="">Does anyone know about this?<br style="box-sizing:border-box" class="">What is the proper configure line?</div><div style="box-sizing: border-box; margin: 0px; color: rgb(36, 36, 36); font-family: "Segoe UI", system-ui, "Apple Color Emoji", "Segoe UI Emoji", sans-serif; font-size: 14px;" class=""><br style="box-sizing:border-box" class=""></div><div style="box-sizing: border-box; margin: 0px; color: rgb(36, 36, 36); font-family: "Segoe UI", system-ui, "Apple Color Emoji", "Segoe UI Emoji", sans-serif; font-size: 14px;" class="">Thanks a lot</div></div><div class=""><br class=""></div><div class=""><br class=""></div><br clear="all" class=""><div class=""><br class=""></div>-- <br class=""><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature">Isaías</div></div>

</div></blockquote></div><br class=""></div></body></html>