[sr-dev] git:master: Merge remote branch 'origin/andrei/pointer_alias_warnings'