Skip to content
Snippets Groups Projects
Normal view Permalink
warnings.log 272 B
Newer Older
Andre Maroneze's avatar
partially sync with frama-c master  
Andre Maroneze committed
1 
[eva:garbled-mix:summary] warning: Garbled mix generated during analysis:
Andre Maroneze's avatar
Initial commit
Andre Maroneze committed
2 3 4 5 
{{ garbled mix of &{y}
  (origin: Arithmetic {pointer_arith_algebraic_properties_1_global.c:6}) }}
{{ garbled mix of &{x}
  (origin: Arithmetic {pointer_arith_algebraic_properties_1_global.c:6}) }}