Bug #6629: Used CIL is outdated
Environment models for void functions should not return any values
Detected in build:
Published in build:
Frama-C (CIL) properly treats this as an error.
Updated by Evgeny Novikov about 1 year ago
- Status changed from Resolved to Open
- Subject changed from Environment model for usb_kill_urb should not return any values to Environment models for void functions should not return any values
This is also the case for usb_poison_urb and flush_delayed_work.