From 16f522028d0ac4621e2d1134ebdb208ff739f91d Mon Sep 17 00:00:00 2001 From: Pascal Rigaux Date: Tue, 16 Dec 2003 21:02:51 +0000 Subject: - pop behaves just like shift - check that the parameter to pop & shift is an array, and not more parameters are given --- perl_checker.src/global_checks.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'perl_checker.src/global_checks.ml') diff --git a/perl_checker.src/global_checks.ml b/perl_checker.src/global_checks.ml index 0c45783..7dc50a9 100644 --- a/perl_checker.src/global_checks.ml +++ b/perl_checker.src/global_checks.ml @@ -281,7 +281,8 @@ let check_variables vars t = | Call(Deref(I_func, Ident(None, "require", _)), [Ident _]) -> Some vars - | Call(Deref(I_func, Ident(None, "shift", pos)) as var, []) -> + | Call(Deref(I_func, Ident(None, "shift", pos)) as var, []) + | Call(Deref(I_func, Ident(None, "pop", pos)) as var, []) -> check vars (Call(var, [ Deref(I_array, Ident(None, (if vars.is_toplevel then "ARGV" else "_"), pos)) ])) | Call(Deref(context, (Ident(_, _, pos) as var)), para) -> -- cgit v1.2.1