InvokeWithException cannot be the lastLocationAccess for a FloatingReadNode. Since it is both the invoke and a control flow split, the scheduler cannot schedule anything immediately the invoke. It can only schedule in the normal or exceptional successor - and we have to tell the scheduler here which side it needs to choose by putting in the location identity on both successors.

os_family = linux

arch = ppc

arch_model = ppc

os_arch = linux_ppc

os_arch_model = linux_ppc

lib_arch = ppc

compiler = gcc

gnu_dis_arch = ppc

sysdefs = -DLINUX -D_GNU_SOURCE -DPPC