gwt /
gwt /
0fbd1faebe6ab0fc665739e73ffc704d1dca4b4f Don't allocate short names for unreferenced JsNames.
We create names during GenerateJavaScriptAST, but in many cases, references to those names get optimized out. However, the JsName still exists in the scope, and consumes a 'space'.
This change avoids wasting an allocation on unreferenced names, so that more obfuscated idents can fit into fewer characters.
http://gwt-code-reviews.appspot.com/1337803/show
Review by: cromwellian@google.com
git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@9675 8db76d5a-ed1c-0410-87a9-c151d255dfc7
4 files changed