1. A computer-implemented method for optimizing the performance of source code, the method comprising: identifying, in a current program view of source code, a set of symbols with assigned definitions, wherein the set of symbols is referenced in source code outside the current program view available to a compiler; receiving a set of aliasing rules for the source code; identifying potential aliasing errors, based on the set of aliasing rules, that occur in the source code outside the current program view; and generating diagnostic messages for the set of symbols with assigned definitions based on the identified potential aliasing errors.