[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

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

	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

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

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


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