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

Re: [csmith-dev] assignments from incompatible pointer types

Hi Yang

I tested your solution for 10000 programs. It works.

Thanks

Jacek Burys

________________________________________
From: Yang Chen <chenyang@cs.utah.edu>
Sent: Thursday, July 30, 2015 7:17 PM
To: Burys, Jacek
Subject: Re: [csmith-dev] assignments from incompatible pointer types

Hi Jacek,

On 2015-07-30 04:41, Burys, Jacek wrote:
> However, did you take into consideration that such incompatible
> pointers can be passed as arguments to a function, or be returned from
> a function?

Yes, I think I handled those except for transparent_crc_bytes, which
still takes incompatible arguments for computing checksum. If you end up
using this function and it causes some trouble, you may need to replace
it with one specific to floats.

- Yang