Merge remote branch 'origin/andrei/pointer_alias_warnings'