kernel.unreachable.ignore: add scoped_guard()

[smatch.git] / smatch_data / db / function_ptr.schema

CREATE TABLE function_ptr (
        file big int,
        function varchar(64),
        ptr varchar(256),
        searchable integer,

        CONSTRAINT function_ptr_constraint UNIQUE (file, function, ptr)
);