X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/699367e8595a535b492034b4114531fd4e1dc84e..aa62cff63b4f2ece14911c751ab1e3ff3999a16a:/teshsuite/mc/random-bug/random-bug.cpp

diff --git a/teshsuite/mc/random-bug/random-bug.cpp b/teshsuite/mc/random-bug/random-bug.cpp
index 01f9239bf1..733b084509 100644
--- a/teshsuite/mc/random-bug/random-bug.cpp
+++ b/teshsuite/mc/random-bug/random-bug.cpp
@@ -30,9 +30,11 @@ static void app()
     if (x == 3 && y == 4)
       abort();
   } else if (behavior == Behavior::SEGV) {
+#ifndef __clang_analyzer__
     int* A = 0;
     if (x == 3 && y == 4)
       *A = 1;
+#endif
   } else {
     DIE_IMPOSSIBLE;
   }