> 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