Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(300)

Unified Diff: lib/compiler/implementation/dart_backend/renamer.dart

Issue 10827424: Do not create placeholders for elements that won't be later renamed. (Closed) Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge/dart
Patch Set: Created 8 years, 4 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
Index: lib/compiler/implementation/dart_backend/renamer.dart
diff --git a/lib/compiler/implementation/dart_backend/renamer.dart b/lib/compiler/implementation/dart_backend/renamer.dart
index 6cb47f76933ce788de7d7a7ba4b5556e60b75b84..6193ea683a0e8ee97b82f4948ddcf0c1a463f5b7 100644
--- a/lib/compiler/implementation/dart_backend/renamer.dart
+++ b/lib/compiler/implementation/dart_backend/renamer.dart
@@ -38,8 +38,6 @@ void renamePlaceholders(
// local identifiers.
String originalName = element.name.slowToString();
LibraryElement library = element.getLibrary();
- if (library === compiler.coreLibrary
- || element == compiler.mainApp.find(Compiler.MAIN)) return originalName;
if (isDartCoreLib(compiler, library)) {
final prefix =
imports.putIfAbsent(library, () => generateUniqueName('p'));

Powered by Google App Engine
This is Rietveld 408576698