bernds@redhat.com said: > These aren't the only relevant bits. With conditional lifetimes, flow > also examines the live set at the start of each successor block - if > these have changed, you'll possibly get a different result. There are no successor blocks. It ends with a return instruction. R.