[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 17:20:21 -0600
In-reply-to: <00ec01cc0aad$43d03400$cb709c00$@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>
Reply-to: Csmith Commit-Message Mailing List <csmith-commits@flux.utah.edu>
User-agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.9.2.14) Gecko/20110223 Thunderbird/3.1.8

Generating regular C int types means we are getting rid of safe math functions. Are we ready for that?

We can't get rid of them, but I was hoping they could be written interms of regular C integers, instead of fixed-width types. Do you knowof a problem with that?


John

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>

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