X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/3443e76da39f23c998c9ead3119caadb410197ba..508533c52d02429894d89b95224577d8e3cf3c48:/src/transferChecks.c?ds=sidebyside

diff --git a/src/transferChecks.c b/src/transferChecks.c
index 85c6148..4efa027 100644
--- a/src/transferChecks.c
+++ b/src/transferChecks.c
@@ -1724,7 +1724,8 @@ transferChecks_return (exprNode fexp, uentry rval)
 	      DPRINTF (("el: %s / %s", sRef_unparse (el),
 			sRef_unparse (base)));
 	      
-	      if (sRef_isResult (base))
+	      if (sRef_isResult (base) 
+		  && !sRef_isDefinitelyNull (fref)) /* evans 2002-07-22: don't report allocation errors for null results */
 		{
 		  sRef sr = sRef_fixBase (el, fref);