Re: [csmith-dev] Adding variables in Csmith generated code

To: Shafiul Azam <ishafiul@gmail.com>, Xuejun Yang <nitsnow@gmail.com>
Subject: Re: [csmith-dev] Adding variables in Csmith generated code
From: John Regehr <regehr@cs.utah.edu>
Date: Mon, 8 Aug 2016 10:19:14 -0600
Cc: Csmith Dev Mailing List <csmith-dev@flux.utah.edu>
In-reply-to: <CAGoTxu2A8Z9SkHDyLniLjuXX3QD2HBJ1Ssa9CvXg_q4UCQNU2A@mail.gmail.com>
List-archive: </listarchives/csmith-dev>
List-help: <mailto:csmith-dev-request@flux.utah.edu?subject=help>
List-id: Csmith Development Mailing List <csmith-dev.flux.utah.edu>
List-post: <mailto:csmith-dev@flux.utah.edu>
List-subscribe: <http://www.flux.utah.edu/mailman/listinfo/csmith-dev>, <mailto:csmith-dev-request@flux.utah.edu?subject=subscribe>
List-unsubscribe: <http://www.flux.utah.edu/mailman/options/csmith-dev>, <mailto:csmith-dev-request@flux.utah.edu?subject=unsubscribe>
References: <CAGoTxu1dGb5CwPa=-S6YY_f2h+NOQ_XgSesvGXE4GG=EeQyxVQ@mail.gmail.com> <d4a8a4eb-3a62-58a5-a800-f8f84f3dd376@cs.utah.edu> <CAGoTxu0AOPxw9tJkr7d1D92KOMDAyAKzaZ0wU6w=hy99aOP3Qg@mail.gmail.com> <ea9e49bc-fb63-eb72-4a1f-79a5b0bedf6e@cs.utah.edu> <CAB9UgzDLJzpBNy=G9b93fw=e7eSDmNNwErD2fz43WBVtQrFL9g@mail.gmail.com> <CAGoTxu2A8Z9SkHDyLniLjuXX3QD2HBJ1Ssa9CvXg_q4UCQNU2A@mail.gmail.com>
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.2.0

Thanks Xuejun! May I ask why you do not include global pointers in
checksum computation?

Because pointer values are not stable across compilers, optimizationlevels, or even runs.


John

References:
- [csmith-dev] Adding variables in Csmith generated code
  - From: Shafiul Azam <ishafiul@gmail.com>
- Re: [csmith-dev] Adding variables in Csmith generated code
  - From: John Regehr <regehr@cs.utah.edu>
- Re: [csmith-dev] Adding variables in Csmith generated code
  - From: Shafiul Azam <ishafiul@gmail.com>
- Re: [csmith-dev] Adding variables in Csmith generated code
  - From: John Regehr <regehr@cs.utah.edu>
- Re: [csmith-dev] Adding variables in Csmith generated code
  - From: Xuejun Yang <nitsnow@gmail.com>
- Re: [csmith-dev] Adding variables in Csmith generated code
  - From: Shafiul Azam <ishafiul@gmail.com>