diff options
Diffstat (limited to 'src/global_checks.ml')
| -rw-r--r-- | src/global_checks.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/global_checks.ml b/src/global_checks.ml index ceed828..af651b0 100644 --- a/src/global_checks.ml +++ b/src/global_checks.ml @@ -183,7 +183,7 @@ let is_global_var context ident = | _ -> false) | I_func -> (match ident with - | "-b" | "-c" | "-d" | "-e" | "-f" | "-l" | "-o" | "-r" | "-s" | "-w" | "-x" | "-z" | "-t" + | "-b" | "-c" | "-d" | "-e" | "-f" | "-l" | "-o" | "-p" | "-r" | "-S" | "-s" | "-w" | "-x" | "-z" | "-t" | "abs" | "alarm" | "atan2" | "bless" | "caller" | "chdir" | "chmod" | "chomp" | "chop" | "chown" | "chr" | "chroot" | "close" | "closedir" | "cos" | "crypt" | "defined" | "delete" | "die" |