Re: PING: Re: [PATCH] json: preserve key-insertion order [PR109163]

2023-03-24 Thread Richard Biener via Gcc-patches
> Am 24.03.2023 um 15:44 schrieb David Malcolm via Gcc-patches > : > > I'd like to ping the following patch for review: > https://gcc.gnu.org/pipermail/gcc-patches/2023-March/614165.html Ok. Richard > Thanks > Dave > >> On Fri, 2023-03-17 at 16:53 -0400, David Malcolm wrote: >> PR other

PING: Re: [PATCH] json: preserve key-insertion order [PR109163]

2023-03-24 Thread David Malcolm via Gcc-patches
I'd like to ping the following patch for review: https://gcc.gnu.org/pipermail/gcc-patches/2023-March/614165.html Thanks Dave On Fri, 2023-03-17 at 16:53 -0400, David Malcolm wrote: > PR other/109163 notes that when we write out JSON files, we traverse > the keys within each object via hash_map

[PATCH] json: preserve key-insertion order [PR109163]

2023-03-17 Thread David Malcolm via Gcc-patches
PR other/109163 notes that when we write out JSON files, we traverse the keys within each object via hash_map iteration, and thus the ordering is non-deterministic - it can arbitrarily vary from run to run and from different machines, making it harder for users to compare results and determine if a