Merge "Improved side effect analysis (field/array write/read)."