From: Dan Carpenter <dan.carpenter@oracle.com>
Date: Mon, 11 Feb 2013 14:17:33 +0000 (+0300)
Subject: db: delete unused no_side_effects table (for now)
X-Git-Tag: 1.59~354
X-Git-Url: https://repo.or.cz/w/smatch.git/commitdiff_plain/031e805e5c6c3d4ac9d282dcf979f7edbf8cb37c

db: delete unused no_side_effects table (for now)

This isn't used yet, just delete it.

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
---

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
index 213ab238..00000000
--- a/smatch_scripts/db/fill_db_no_side_effects.pl
+++ /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
index 1b59af52..00000000
--- a/smatch_scripts/db/no_side_effects.schema
+++ /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);
-