Re: Smatch for Xen

I see. I assume smatch does not print output in parallel, so that mix
results from one-line-scan compiling the same file multiple times, and
those calls compete wrt writing to that file.

As the output might be broken, could we agree on using the --file-output
option for now, and I see how I can fix the mixed output problem best?

Best,
Norbert

On 08/15/2018 11:03 AM, Dan Carpenter wrote:
> 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
> 
Amazon Development Center Germany GmbH
Berlin - Dresden - Aachen
main office: Krausenstr. 38, 10117 Berlin
Geschaeftsfuehrer: Dr. Ralf Herbrich, Christian Schlaeger
Ust-ID: DE289237879
Eingetragen am Amtsgericht Charlottenburg HRB 149173 B