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

Re: [csmith-project/csmith] 717b1c: Fixed a bug related to --no-math64 and --no-longlo...

To: csmith-commits@flux.utah.edu
Subject: Re: [csmith-project/csmith] 717b1c: Fixed a bug related to --no-math64 and --no-longlo...
From: John Regehr <regehr@cs.utah.edu>
Date: Wed, 04 May 2011 19:34:45 -0600
In-reply-to: <002201cc0abf$92753d50$b75fb7f0$@utah.edu>
List-archive: </listarchives/csmith-commits>
List-help: <mailto:csmith-commits-request@flux.utah.edu?subject=help>
List-id: Csmith Commit-Message Mailing List <csmith-commits.flux.utah.edu>
List-post: <mailto:csmith-commits@flux.utah.edu>
List-subscribe: <http://www.flux.utah.edu/mailman/listinfo/csmith-commits>, <mailto:csmith-commits-request@flux.utah.edu?subject=subscribe>
List-unsubscribe: <http://www.flux.utah.edu/mailman/listinfo/csmith-commits>, <mailto:csmith-commits-request@flux.utah.edu?subject=unsubscribe>
References: <20110504205611.6CB40422EA@smtp1.rs.github.com> <4DC1BFE3.1000009@cs.utah.edu> <4DC1CD39.2080805@cs.utah.edu> <4DC1CDFC.8050608@cs.utah.edu> <00e001cc0aa9$1cd28050$567780f0$@utah.edu> <4DC1D1A5.8090908@cs.utah.edu> <00e701cc0aaa$a58e8280$f0ab8780$@utah.edu> <4DC1D3A4.9010707@cs.utah.edu> <00e801cc0aab$7c900380$75b00a80$@utah.edu> <4DC1D5C8.7010509@cs.utah.edu> <00ec01cc0aad$43d03400$cb709c00$@utah.edu> <4DC1DF6D.8020502@cs.utah.edu> <4DC1E2AD.1040407@cs.utah.edu> <4DC1E4D5.8050304@cs.utah.edu> <4DC1E7D7.5060705@cs.utah.edu> <4DC1EA02.3060007@cs.utah.edu> <4DC1EEED.9040000@cs.utah.edu> <4DC1F509.7080007@cs.utah.edu> <002201cc0abf$92753d50$b75fb7f0$@utah.edu>
User-agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.9.2.14) Gecko/20110223 Thunderbird/3.1.8

But you're going to need alignment information for everything to makeunions work, right?


John


On 05/04/2011 06:58 PM, Xuejun Yang wrote:

Yes, if we fix-size integers, the only thing left is pointers. That's why I was asking. Well, I can fix it to 8 bytes for now if only unions care about it.

-Xuejun

-----Original Message-----
From: csmith-commits-bounces@flux.utah.edu
[mailto:csmith-commits-bounces@flux.utah.edu] On Behalf Of John Regehr
Sent: Wednesday, May 04, 2011 6:53 PM
To: csmith-commits@flux.utah.edu
Subject: Re: [csmith-project/csmith] 717b1c: Fixed a bug related to --no-math64
and --no-longlo...

Ok sorry to yell.

I grepped for x86_64 and it's not used much, so should be easy to eliminate.

Xuejun: are you going to need size/alignment information to make unions
work?  For example, to avoid accessing padding bytes?

John

Follow-Ups:
- RE: [csmith-project/csmith] 717b1c: Fixed a bug related to --no-math64 and --no-longlo...
  - From: "Xuejun Yang" <jxyang@cs.utah.edu>

References:
- [csmith-project/csmith] 717b1c: Fixed a bug related to --no-math64 and --no-longlo...
  - From: noreply@github.com
- Re: [csmith-project/csmith] 717b1c: Fixed a bug related to --no-math64 and --no-longlo...
  - From: John Regehr <regehr@cs.utah.edu>
- Re: [csmith-project/csmith] 717b1c: Fixed a bug related to --no-math64 and --no-longlo...
  - From: Yang Chen <chenyang@cs.utah.edu>
- Re: [csmith-project/csmith] 717b1c: Fixed a bug related to --no-math64 and --no-longlo...
  - From: John Regehr <regehr@cs.utah.edu>
- RE: [csmith-project/csmith] 717b1c: Fixed a bug related to --no-math64 and --no-longlo...
  - From: "Xuejun Yang" <jxyang@cs.utah.edu>
- Re: [csmith-project/csmith] 717b1c: Fixed a bug related to --no-math64 and --no-longlo...
  - From: John Regehr <regehr@cs.utah.edu>
- RE: [csmith-project/csmith] 717b1c: Fixed a bug related to --no-math64 and --no-longlo...
  - From: "Xuejun Yang" <jxyang@cs.utah.edu>
- Re: [csmith-project/csmith] 717b1c: Fixed a bug related to --no-math64 and --no-longlo...
  - From: John Regehr <regehr@cs.utah.edu>
- RE: [csmith-project/csmith] 717b1c: Fixed a bug related to --no-math64 and --no-longlo...
  - From: "Xuejun Yang" <jxyang@cs.utah.edu>
- Re: [csmith-project/csmith] 717b1c: Fixed a bug related to --no-math64 and --no-longlo...
  - From: John Regehr <regehr@cs.utah.edu>
- RE: [csmith-project/csmith] 717b1c: Fixed a bug related to --no-math64 and --no-longlo...
  - From: "Xuejun Yang" <jxyang@cs.utah.edu>
- Re: [csmith-project/csmith] 717b1c: Fixed a bug related to --no-math64 and --no-longlo...
  - From: John Regehr <regehr@cs.utah.edu>
- Re: [csmith-project/csmith] 717b1c: Fixed a bug related to --no-math64 and --no-longlo...
  - From: Yang Chen <chenyang@cs.utah.edu>
- Re: [csmith-project/csmith] 717b1c: Fixed a bug related to --no-math64 and --no-longlo...
  - From: John Regehr <regehr@cs.utah.edu>
- Re: [csmith-project/csmith] 717b1c: Fixed a bug related to --no-math64 and --no-longlo...
  - From: Yang Chen <chenyang@cs.utah.edu>
- Re: [csmith-project/csmith] 717b1c: Fixed a bug related to --no-math64 and --no-longlo...
  - From: John Regehr <regehr@cs.utah.edu>
- Re: [csmith-project/csmith] 717b1c: Fixed a bug related to --no-math64 and --no-longlo...
  - From: Yang Chen <chenyang@cs.utah.edu>
- Re: [csmith-project/csmith] 717b1c: Fixed a bug related to --no-math64 and --no-longlo...
  - From: John Regehr <regehr@cs.utah.edu>
- RE: [csmith-project/csmith] 717b1c: Fixed a bug related to --no-math64 and --no-longlo...
  - From: "Xuejun Yang" <jxyang@cs.utah.edu>

Prev by Date: RE: [csmith-project/csmith] 717b1c: Fixed a bug related to --no-math64 and --no-longlo...
Next by Date: RE: [csmith-project/csmith] 717b1c: Fixed a bug related to --no-math64 and --no-longlo...
Previous by thread: RE: [csmith-project/csmith] 717b1c: Fixed a bug related to --no-math64 and --no-longlo...
Next by thread: RE: [csmith-project/csmith] 717b1c: Fixed a bug related to --no-math64 and --no-longlo...
Index(es):
- Date
- Thread