Skip phi assignment if one of the merged states has an uninitialised object [blocks: #35, #2574, #3486]#2220

Merged

tautschnig merged 2 commits intodiffblue:developfrom

tautschnig:phi-cleanup

Dec 19, 2018

Commits on Dec 19, 2018

Fix handling of extern symbols in phi_function
tautschnig
committed
Skip phi assignment if one of the merged states has an uninitialised object
tautschnig
committed