diff options
| author | Pascal Rigaux <pixel@mandriva.com> | 2003-12-16 21:02:51 +0000 |
|---|---|---|
| committer | Pascal Rigaux <pixel@mandriva.com> | 2003-12-16 21:02:51 +0000 |
| commit | 16f522028d0ac4621e2d1134ebdb208ff739f91d (patch) | |
| tree | edae00524e32b8271592b543b71dfa1a43babc91 /perl_checker.src/global_checks.ml | |
| parent | f88163a42acab45b90d0406808a59cbe646e3caa (diff) | |
| download | perl-MDK-Common-16f522028d0ac4621e2d1134ebdb208ff739f91d.tar perl-MDK-Common-16f522028d0ac4621e2d1134ebdb208ff739f91d.tar.gz perl-MDK-Common-16f522028d0ac4621e2d1134ebdb208ff739f91d.tar.bz2 perl-MDK-Common-16f522028d0ac4621e2d1134ebdb208ff739f91d.tar.xz perl-MDK-Common-16f522028d0ac4621e2d1134ebdb208ff739f91d.zip | |
- pop behaves just like shift
- check that the parameter to pop & shift is an array, and not more parameters are given
Diffstat (limited to 'perl_checker.src/global_checks.ml')
| -rw-r--r-- | perl_checker.src/global_checks.ml | 3 |
1 files changed, 2 insertions, 1 deletions
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) -> |