diff --git a/src/internal.h b/src/internal.h
index 2e73210d0e55aee042c3933973097abe2fb9bdb1..896df22d74aef90159e9d62356b154dd4b21dd5b 100644
--- a/src/internal.h
+++ b/src/internal.h
@@ -9,6 +9,14 @@
 # include <limits.h>
 # include <verify.h>
 
+# if STATIC_ANALYSIS
+#  undef NDEBUG /* Don't let a prior NDEBUG definition cause trouble.  */
+#  include <assert.h>
+#  define sa_assert(expr) assert (expr)
+# else
+#  define sa_assert(expr) /* empty */
+# endif
+
 # ifdef HAVE_SYS_SYSLIMITS_H
 #  include <sys/syslimits.h>
 # endif