Index: kernel/generic/src/ipc/irq.c
===================================================================
--- kernel/generic/src/ipc/irq.c	(revision 33adc6cee65f3348f47bb71ac5a3982b0572e68e)
+++ kernel/generic/src/ipc/irq.c	(revision 439d0363bd7115a2ec68b17c6fa9daa8b4922dd8)
@@ -418,5 +418,4 @@
 		case CMD_ACCEPT:
 			return IRQ_ACCEPT;
-			break;
 		case CMD_DECLINE:
 		default:
Index: kernel/generic/src/ipc/sysipc.c
===================================================================
--- kernel/generic/src/ipc/sysipc.c	(revision 33adc6cee65f3348f47bb71ac5a3982b0572e68e)
+++ kernel/generic/src/ipc/sysipc.c	(revision 439d0363bd7115a2ec68b17c6fa9daa8b4922dd8)
@@ -122,5 +122,4 @@
 	case IPC_M_DATA_READ:
 		return 1;
-		break;
 	default:
 		return 0;
Index: kernel/generic/src/lib/elf.c
===================================================================
--- kernel/generic/src/lib/elf.c	(revision 33adc6cee65f3348f47bb71ac5a3982b0572e68e)
+++ kernel/generic/src/lib/elf.c	(revision 439d0363bd7115a2ec68b17c6fa9daa8b4922dd8)
@@ -163,5 +163,4 @@
 	case PT_LOAD:
 		return load_segment(entry, elf, as);
-		break;
 	case PT_DYNAMIC:
 	case PT_INTERP:
@@ -182,5 +181,4 @@
 	default:
 		return EE_UNSUPPORTED;
-		break;
 	}
 	return EE_OK;