← Back to branch summary

~npalix/coccinelle/upstream

« back to all changes in this revision

Viewing changes to parsing_cocci/parse_cocci.ml

  • Committer: Yoann Padioleau
  • Date: 2007-07-24 11:41:11 UTC
  • Revision ID: git-v1:988f08eed0e8ab05b77fe6198fb0a4ba4e465273
add globals

svn path=/coccinelle/; revision=3023

Show diffs side-by-side

added added

removed removed

Lines of Context:
parsing_cocci/parse_cocci.ml
1104
1104
        Printf.printf "before plus parse\n";
1105
1105
        *)
1106
1106
        let plus_res =
1107
 
          if !Flag_parsing_cocci.sgrep_mode2
 
1107
          if !Flag.sgrep_mode2
1108
1108
          then (* not actually used for anything, except context_neg *)
1109
1109
            List.map
1110
1110
              (Iso_pattern.rebuild_mcode None).V0.rebuilder_top_level
1160
1160
               Function_prototypes.process rule_name minus plus in
1161
1161
             (* warning! context_neg side-effects its arguments! *)
1162
1162
             let (m,p) = List.split(Context_neg.context_neg minus plus) in
1163
 
             (if not !Flag_parsing_cocci.sgrep_mode2
 
1163
             (if not !Flag.sgrep_mode2
1164
1164
             then Insert_plus.insert_plus m p);
1165
1165
             Type_infer.type_infer minus;
1166
1166
             let (extra_meta,minus) =
1167
1167
               Iso_pattern.apply_isos chosen_isos minus rule_name in
1168
1168
             let minus =
1169
 
               if !Flag_parsing_cocci.sgrep_mode2
 
1169
               if !Flag.sgrep_mode2
1170
1170
               then minus
1171
1171
               else Single_statement.single_statement minus in
1172
1172
             let minus_ast =