On Mon, Jun 23, 2014 at 02:11:42PM +0200, Bart Van Assche wrote:
> Hello Dan,
>
> If I analyze the latest Linux kernel code smatch reports the following error message:
>
> $ cd ~/software/linux-kernel && make C=2 CHECK="smatch -p=kernel"
> [ ... ]
> CHECK arch/x86/kernel/machine_kexec_64.c
> SQL error #2: table function_ptr has 4 columns but 3 values were supplied
> SQL: 'insert into function_ptr values ('arch/x86/kernel/machine_kexec_64.c', 'alloc_pgt_page', '(struct x86_mapping_info)->alloc_pgt_page');'
> [ ... ]
>
> Is this a known issue ?
No. Fixed. Sorry for the delay, I was on vacation.
I will update my QC checks to create an actual db.
regards,
dan carpenter
--
To unsubscribe from this list: send the line "unsubscribe smatch" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
