Probably happens in meet_tcons when Z is casted to int, because an overflow or cast should have happened but it is not treated correctly by us.
Check after Overflow Analysis has been fixed:
Case: ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--net--xen-netback--xen-netback.ko-entry_point.cil.out.c
Probably happens in meet_tcons when Z is casted to int, because an overflow or cast should have happened but it is not treated correctly by us. Check after Overflow Analysis has been fixed: Case: ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--net--xen-netback--xen-netback.ko-entry_point.cil.out.c