Zsh Mailing List Archive Messages sorted by: Reverse Date, Date, Thread, Author

Q: do we want the void* patch?

X-seq: zsh-workers 19516
From: Wayne Davison <wayned@xxxxxxxxxxxxxxxxxxxxx>
To: zsh-workers@xxxxxxxxxx
Subject: Q: do we want the void* patch?
Date: Mon, 1 Mar 2004 13:36:24 -0800
Mailing-list: contact zsh-workers-help@xxxxxxxxxx; run by ezmlm

To revisit my patch in zsh-workers/19445, I didn't get a response to my
last query asking if we want to include it.  Was the consensus that we
don't need it?  I think that including it would help us to ensure that
the optimizer doesn't over-optimize certain aliased memory locations.

..wayne..

Follow-Ups:
- Re: Q: do we want the void* patch?
  - From: Anthony Heading

Messages sorted by: Reverse Date, Date, Thread, Author