Re: Smatch for Xen

I have an issue where the output is getting a bit jumbled when I build
with --info.

/home/dcarpenter/progs/src/xen/xen/xen/arch/x86/mm/shadow/multi.c:4777 sh_audit_fl1_table__guest_2() SQL_caller_info: insert into caller_info values ('/home/dcarpenter/progs/src/xen/xen/xen/arch/x86/mm/shadow/multi.c', 'sh_audit_fl1_table__guest_2', 'guest_index', %CALL_ID%, 1, 0, -1, '%call_marker%', /shadow/multi.c:3340 sh_page_fault__guest_4() SQL_caller_info: insert into caller_info values ('/home/dcarpenter/progs/src/xen/xen/xen/arch/x86/mm/shadow/multi.c', 'sh_page_fault__guest_4', 'sh_audit_gw', %CALL_ID%, 1, 1001, 0, '$->domain->arch.paging.shadow.has_fast_mmio_entries', '1');

It's mixing line 4777 with 3340.

regards,
dan carpenter