Fwd: [problem] sparse llvm loop conditions

[Jeff Garzik <jgarzik@pobox.com>]

Here is a testcase that should get into the mailing list archives...

	Jeff




-------- Original Message --------
Subject: [problem] sparse llvm loop conditions
Date: Wed, 23 Nov 2011 08:56:25 +0200
From: Pekka Enberg <penberg@kernel.org>
To: Jeff Garzik <jeff@garzik.org>

Hi Jeff,

Have you seen this already?

[penberg@tux sparse]$ cat loop.c
struct list_node {
	struct list_node *next;
};

int foo(struct list_node *node)
{
	int ret = 0;
	while (node) {
		node = node->next;
		ret++;
	}
	return ret;
}
[penberg@tux sparse]$ ./sparse-llvm loop.c
loop.c:5:5: warning: symbol 'foo' was not declared. Should it be static?
sparse-llvm: Instructions.cpp:730: void llvm::BranchInst::AssertOK():
Assertion `getCondition()->getType()->isIntegerTy(1) && "May only
branch on boolean predicates!"' failed.
Aborted

                                 Pekka