<div dir="ltr"><div><p 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">Hi everyone.<br style="box-sizing:border-box"></p><p 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"><br style="box-sizing:border-box"></p><p 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">I would like to compile petsc with a few of the Google Sanitizers, in particular ASAN.<br style="box-sizing:border-box">I am using petsc-3.16.4, but I guess that is not relevant.</p><p 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"><br style="box-sizing:border-box"></p><p 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">I have used for other projects</p><p 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"><br style="box-sizing:border-box"></p><p 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">-fsanitize=address -fsanitize=undefined -fno-sanitize-recover=all -fsanitize=float-divide-by-zero -fsanitize=float-cast-overflow -fno-sanitize=null -fno-sanitize=alignment</p><p 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"><br style="box-sizing:border-box"></p><p 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">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">https://developers.redhat.com/blog/2021/05/05/memory-error-checking-in-c-and-c-comparing-sanitizers-and-valgrind#tldr.</a></p><p 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"><br style="box-sizing:border-box"></p><p 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">I could not find the proper way to do that, and I do not even know if that is possible.</p><p 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"><br style="box-sizing:border-box"></p><p 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">Does anyone know about this?<br style="box-sizing:border-box">What is the proper configure line?</p><p 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"><br style="box-sizing:border-box"></p><p 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">Thanks a lot</p></div><div><br></div><div><br></div><br clear="all"><div><br></div>-- <br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature">Isaías</div></div>