12724 update smatch to 0.6.1-rc1-il-5
@@ -1,1 +1,10 @@ -CREATE TABLE mtag_about (tag big int, file varchar(80), function varchar(80), line integer, left_name varchar(80), right_name varchar(80)); +CREATE TABLE mtag_about ( + tag big int, + file varchar(80), + function varchar(80), + line integer, + left_name varchar(80), + right_name varchar(80), + + CONSTRAINT mtag_about_row UNIQUE (tag, file, function, line, left_name, right_name) +);