Re: Sched1 stability issue

2018-07-04 Thread Alexander Monakov
On Wed, 4 Jul 2018, Kugan Vivekanandarajah wrote: > We noticed a difference in the code generated for aarch64 gcc 7.2 > hosted in Linux vs mingw. AFIK, we are supposed to produce the same > output. > > For the testacse we have (quite large and I am trying to reduce), the > difference comes from sc

Re: Sched1 stability issue

2018-07-04 Thread Eric Botcazou
> We noticed a difference in the code generated for aarch64 gcc 7.2 > hosted in Linux vs mingw. AFIK, we are supposed to produce the same > output. Try maybe to compare the automata generated on the hosts, are they identical? -- Eric Botcazou