Skip to content
Snippets Groups Projects
Normal view Permalink
warnings.log 154 B
Newer Older
Andre Maroneze's avatar
synchronize with frama-c master  
Andre Maroneze committed
1 
pointer_copy_user_ctrlflow_bytewise_abbrev.c:10:[kernel:CERT:MSC:37] warning: Body of function control_flow_copy falls-through. Adding a return statement