From: Nguyen Thai Ngoc Duy Date: Sun, 28 Sep 2008 12:21:22 GMT Subject: Re: [PATCH 01/14] Extend index to save more flags Message-ID: In-Reply-To: <200809281359.46858.jnareb@gmail.com> On 9/28/08, Jakub Narebski wrote: > So now there is: > > Now CE_EXTENDED_FLAGS & 0x803FFFFF is bad because: > * CE_EXTENDED_FLAGS & 0x0000FFFF are saved flags (not extended) > > * CE_EXTENDED_FLAGS & 0x003F0000 are in-memory flags > > * CE_EXTENDED_FLAGS & 0x80000000 is 'extra flags' bit > (this is not mentioned in quoted comment; I'm not sure if > it needs to be or not) > > Is that correct? Correct. -- Duy