1 files changed, 27 insertions, 0 deletions
diff --git a/check_inits_clears b/check_inits_clears
new file mode 100755
index 000000000..139563947
--- /dev/null
+++ b/check_inits_clears
@@ -0,0 +1,27 @@
+#!/usr/bin/env perl
+
+# Check that a cast is performed for the last argument of
+# mpfr_inits, mpfr_inits2 and mpfr_clears.
+
+use strict;
+use warnings;
+use File::Find;
+
+my $err = 0;
+find(\&wanted, '.');
+exit $err;
+
+sub wanted
+  {
+    /\.c$/ or return;
+    my $ctr = 0;
+    open FILE, '<', $_ or die;
+    while (<FILE>)
+      {
+        /^ +mpfr_(init|clear)s/ && ! /\) *(0|NULL)/ or next;
+        $ctr++ or print "Error found in $File::Find::name\n";
+        print;
+        $err = 1;
+      }
+    close FILE or die;
+  }