db: delete unused no_side_effects table (for now)
authorDan Carpenter <dan.carpenter@oracle.com>
Mon, 11 Feb 2013 14:17:33 +0000 (11 17:17 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Thu, 14 Feb 2013 12:03:13 +0000 (14 15:03 +0300)
This isn't used yet, just delete it.

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
smatch_scripts/db/fill_db_no_side_effects.pl [deleted file]
smatch_scripts/db/no_side_effects.schema [deleted file]

diff --git a/smatch_scripts/db/fill_db_no_side_effects.pl b/smatch_scripts/db/fill_db_no_side_effects.pl
deleted file mode 100755 (executable)
index 213ab23..0000000
+++ /dev/null
@@ -1,41 +0,0 @@
-#!/usr/bin/perl -w
-
-use strict;
-use DBI;
-
-my $warns = shift;
-
-if (!defined($warns)) {
-    print "usage:  $0 <warns.txt>\n";
-    exit(1);
-}
-
-my $db = DBI->connect("dbi:SQLite:smatch_db.sqlite", "", "", {AutoCommit => 0});
-$db->do("PRAGMA synchronous = OFF");
-$db->do("PRAGMA cache_size = 800000");
-$db->do("PRAGMA journal_mode = OFF");
-
-$db->do("delete from no_side_effects;");
-
-my ($file_and_line, $file, $func, $gs, $static, $dummy);
-
-open(WARNS, "<$warns");
-while (<WARNS>) {
-    # info: no_side_effects
-    if (!($_ =~ /info: no_side_effects /)) {
-        next;
-    }
-
-    ($file_and_line, $func, $dummy, $dummy, $gs) = split(/ /, $_);
-    ($file, $dummy) = split(/:/, $file_and_line);
-    $func =~ s/\(\)//;
-
-    $static = 0;
-    if ($gs =~ /static/) {
-        $static = 1;
-    }
-
-    $db->do("insert into no_side_effects values ('$file', '$func', $static)");
-}
-$db->commit();
-$db->disconnect();
diff --git a/smatch_scripts/db/no_side_effects.schema b/smatch_scripts/db/no_side_effects.schema
deleted file mode 100644 (file)
index 1b59af5..0000000
+++ /dev/null
@@ -1,4 +0,0 @@
-CREATE TABLE no_side_effects (file varchar(128), function varchar(64), static integer);
-
-CREATE INDEX no_effects_idx on no_side_effects (file, function);
-