36 lines
1.2 KiB
Text
36 lines
1.2 KiB
Text
$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,
|