[csmith-bugs] GCC Complaint: "init from incompatible pointer type"

[Eric Eide <eeide@cs.utah.edu>]

Csmith (@ commit ac43da8, circa Mar 20 2013) sometimes generates code like
this:

	void foo()
	{
	    int *p = 0;
	    volatile int **q = &p;
	}

GCC 4.6.3 complains about this code, scolding:

	warning: initialization from incompatible pointer type [enabled by
	default]

I noticed this because my predicate script for C-Reduce looks for "incompatible
pointer type" warnings to weed out bad reduction steps.  When the original
program leads to such warnings, of course, my reductions cannot get off the
ground.

If you want a Csmith command line that leads to such generated code, please let
me know.

Eric.

-- 
-------------------------------------------------------------------------------
Eric Eide <eeide@cs.utah.edu>  .         University of Utah School of Computing
http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX