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

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

To: Csmith Bugs Mailing List <csmith-bugs@flux.utah.edu>
Subject: Re: [csmith-bugs] GCC Complaint: "init from incompatible pointer type"
From: Eric Eide <eeide@cs.utah.edu>
Date: Thu, 23 May 2013 16:15:15 -0600
In-reply-to: Yang Chen's message of Thursday, May 23 2013 <519E8F22.6090703@cs.utah.edu>
List-archive: <http://www.flux.utah.edu/pipermail/csmith-bugs>
List-help: <mailto:csmith-bugs-request@flux.utah.edu?subject=help>
List-id: Csmith Bugs Mailing List <csmith-bugs.flux.utah.edu>
List-post: <mailto:csmith-bugs@flux.utah.edu>
List-subscribe: <http://www.flux.utah.edu/mailman/listinfo/csmith-bugs>, <mailto:csmith-bugs-request@flux.utah.edu?subject=subscribe>
List-unsubscribe: <http://www.flux.utah.edu/mailman/options/csmith-bugs>, <mailto:csmith-bugs-request@flux.utah.edu?subject=unsubscribe>
References: <20894.10622.47388.382150@bas.flux.utah.edu> <519E2BB0.2050607@cs.utah.edu> <20894.11795.777838.112435@bas.flux.utah.edu> <519E333E.7000504@cs.utah.edu> <20894.13807.703068.621967@bas.flux.utah.edu> <20894.34822.103947.248048@bas.flux.utah.edu> <519E89A3.7070604@cs.utah.edu> <20894.35802.535247.701098@bas.flux.utah.edu> <519E8F22.6090703@cs.utah.edu>

	Yang> There were discussions long time ago when Xuejun was implementing
	Yang> volatile point thing.  [...]  As far as I know, Csmith analysis
	Yang> rules out this kind of code.

Sounds like a job for KCC to check this :-).

-- 
-------------------------------------------------------------------------------
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

Follow-Ups:
- Re: [csmith-bugs] GCC Complaint: "init from incompatible pointer type"
  - From: Chucky Ellison <cme@freefour.com>

References:
- [csmith-bugs] GCC Complaint: "init from incompatible pointer type"
  - From: Eric Eide <eeide@cs.utah.edu>
- Re: [csmith-bugs] GCC Complaint: "init from incompatible pointer type"
  - From: John Regehr <regehr@cs.utah.edu>
- Re: [csmith-bugs] GCC Complaint: "init from incompatible pointer type"
  - From: Eric Eide <eeide@cs.utah.edu>
- Re: [csmith-bugs] GCC Complaint: "init from incompatible pointer type"
  - From: John Regehr <regehr@cs.utah.edu>
- Re: [csmith-bugs] GCC Complaint: "init from incompatible pointer type"
  - From: Eric Eide <eeide@cs.utah.edu>
- Re: [csmith-bugs] GCC Complaint: "init from incompatible pointer type"
  - From: Eric Eide <eeide@cs.utah.edu>
- Re: [csmith-bugs] GCC Complaint: "init from incompatible pointer type"
  - From: Yang Chen <chenyang@cs.utah.edu>
- Re: [csmith-bugs] GCC Complaint: "init from incompatible pointer type"
  - From: Eric Eide <eeide@cs.utah.edu>
- Re: [csmith-bugs] GCC Complaint: "init from incompatible pointer type"
  - From: Yang Chen <chenyang@cs.utah.edu>

Prev by Date: Re: [csmith-bugs] GCC Complaint: "init from incompatible pointer type"
Next by Date: Re: [csmith-bugs] GCC Complaint: "init from incompatible pointer type"
Previous by thread: Re: [csmith-bugs] GCC Complaint: "init from incompatible pointer type"
Next by thread: Re: [csmith-bugs] GCC Complaint: "init from incompatible pointer type"
Index(es):
- Date
- Thread