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 = x86

arch_model = x86_32

os_arch = linux_x86

os_arch_model = linux_x86_32

lib_arch = i386

compiler = gcc

sysdefs = -DLINUX -D_GNU_SOURCE -DIA32