| public class X { | |
| void foo() { | |
| FlowInfo mergedInfo = FlowInfo.conditional( // merging two true initInfos for such a negative case: if ((t && (b = t)) || f) r = b; // b may not have been initialized | |
| leftInfo.initsWhenTrue().copy().unconditionalInits() | |
| .mergedWith(rightInfo.initsWhenTrue().copy() | |
| .unconditionalInits()), falseMergedInfo); | |
| mergedInitStateIndex = currentScope.methodScope() | |
| .recordInitializationStates(mergedInfo); | |
| return mergedInfo; | |
| } | |
| } |