On 07/01/18 21:27, Christer Solskogen wrote: > Fixed! > > Wanna know something funny? > Having a printf fixed the segfault. Without it, it would crash. > So the workaround in read_kickstart (memory.cpp) was to add > "volatile int i" instead of "int i". > > Just one simple printf("Value of i: %d\n", i); was enough to not segfault. That's probably not the real fix, unless you have another thread accessing i. -- Andrew Haley Java Platform Lead Engineer Red Hat UK Ltd. <https://www.redhat.com> EAC8 43EB D3EF DB98 CC77 2FAD A5CD 6035 332F A671