Skip to content
Snippets Groups Projects
Normal view Permalink
warnings.log 402 B
Newer Older
David Bühler's avatar
Enables all garbled-mix messages, which have been improved.  
David Bühler committed
1 2 3 4 5 
pointer_arith_algebraic_properties_1_global.c:6:[eva:garbled-mix:write] warning: Assigning imprecise value to p because of arithmetic operation on addresses.
stack: main
[eva:garbled-mix:summary] warning: Origins of garbled mix generated during analysis:
  pointer_arith_algebraic_properties_1_global.c:6: arithmetic operation on addresses
    (read 3 times, propagated 1 times) garbled mix of &{y; x}