Fix Klocwork#671: Infinite loop.

Kevin Moloney · Kevin Moloney · commit 79008fa1132c · 2015-10-29T14:53:36.000Z
* Added comment to verify requirement for infinite loop.

Signed-off-by: Kevin Moloney &lt;kevin.moloney@emutex.com&gt;
diff --git a/system/libarc32_arduino101/framework/src/cfw/service_manager.c b/system/libarc32_arduino101/framework/src/cfw/service_manager.c
@@ -452,7 +452,7 @@ void _cfw_loop(void * queue)
 {
     struct cfw_message * message;
     T_QUEUE_MESSAGE m;
-    while (1) {
+    while (1) { /* This infinite loop is intentional and requested by design */
         queue_get_message(queue, &m, OS_WAIT_FOREVER, NULL );
         message = (struct cfw_message *) m;
         if (message != NULL ) {

Original file line number	Diff line number	Diff line change
`@@ -452,7 +452,7 @@ void _cfw_loop(void * queue)`
`452`	`452`	`{`
`453`	`453`	`struct cfw_message * message;`
`454`	`454`	`T_QUEUE_MESSAGE m;`
`455`		`- while (1) {`
	`455`	`+ while (1) { /* This infinite loop is intentional and requested by design */`
`456`	`456`	`queue_get_message(queue, &m, OS_WAIT_FOREVER, NULL );`
`457`	`457`	`message = (struct cfw_message *) m;`
`458`	`458`	`if (message != NULL ) {`