[cfe-dev] How to fix null-deref-ps.c on FreeBSD?

Ben Laurie benl at google.com
Tue Feb 17 07:08:09 PST 2009


This test fails on FreeBSD, and the following patch fixes it:

Index: test/Analysis/null-deref-ps.c
===================================================================
--- test/Analysis/null-deref-ps.c       (revision 64762)
+++ test/Analysis/null-deref-ps.c       (working copy)
@@ -129,6 +129,8 @@

 int* qux();

+void __assert(const char *, const char *, int, const char *)
__attribute__((__noreturn__));
+
 int f9(unsigned len) {
   assert (len != 0);
   int *p = 0;

the problem being, of course, that the analyzer has to understand that
a failed assert does not return...

But how would I go about fixing this properly?



More information about the cfe-dev mailing list