Description Alastair D'Silva 2011-08-04 22:07:05 EDT

Build Identifier: I20110613-1736

"No return, in function returning non-void" is triggered in do/while loops.

Since the do loop always executes at least once, it is valid to return within it.

Reproducible: Always

Steps to Reproduce:
Create a C file with the following function

int test () {
	do {
		return 1;
	} while (0);
}