$NetBSD: patch-ac,v 1.2 2006/01/18 23:24:12 rillig Exp $

From the maintainers via private mail. It fixes the special handling of
malloc(), which had been confusing to me. Fixed in CVS.

Index: src/analyze.c
===================================================================
RCS file: /cvsroot/cqual/cqual/src/analyze.c,v
retrieving revision 1.373
diff -u -r1.373 analyze.c
--- src/analyze.c.orig	2003-12-12 16:06:30.000000000 +0100
+++ src/analyze.c	2006-01-16 14:57:37.428011800 +0100
@@ -2273,13 +2273,16 @@ static einfo analyze_expression(expressi
       fqt = points_to_qtype(f_info.qt);
       args = arg_qtypes(fqt);
 
-      magic_info = analyze_magic_function_call(fc, fqt, env, drinfolist);
-      if (magic_info.qt)
-        {
-          magic_info.eff = effect_union(f_info.eff, magic_info.eff);
-          result = magic_info;
-          break;
-        }
+      if (flag_flow_sensitive)
+	{
+	  magic_info = analyze_magic_function_call(fc, fqt, env, drinfolist);
+	  if (magic_info.qt)
+	    {
+	      magic_info.eff = effect_union(f_info.eff, magic_info.eff);
+	      result = magic_info;
+	      break;
+	    }
+	}
 
       if (exists_effect_qual) {
 	mkleq_qual(fc->loc, &effect_qgate,