[bpt/coccinelle.git] / tests / bugloop.c

/* this doesn't work, because on the paths where we don't find refrigerator,
we expect to reach Exit without first going through current->flags & PF_FREEZE,
but of course any path that goes around the loop does precisely that */

static int stir_transmit_thread(void *arg)
{

	while (x)
	{
		/* if suspending, then power off and wait */
		if (unlikely(current->flags & PF_FREEZE)) {
			refrigerator(PF_FREEZE);

		}
	}
}
Commit	Line	Data
34e49164 C	1	/* this doesn't work, because on the paths where we don't find refrigerator,
	2	we expect to reach Exit without first going through current->flags & PF_FREEZE,
	3	but of course any path that goes around the loop does precisely that */
	4
	5	static int stir_transmit_thread(void *arg)
	6	{
	7
	8	while (x)
	9	{
	10	/* if suspending, then power off and wait */
	11	if (unlikely(current->flags & PF_FREEZE)) {
	12	refrigerator(PF_FREEZE);
	13
	14	}
	15	}
	16	}
	17