455a456,458
> /** Whether or not a store is in flight. */
> bool storeInFlight;
>
468a472,474
> /** Flag for memory model. */
> bool needsTSO;
>