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

* commit 'e07300b712f44397ecbfed1ef7f880686e46274a':
  Improved side effect analysis (field/array write/read).