* String type inference using compiler framework.

src/rewriter.cc

 // Copyright 2006-2008 the V8 project authors. All rights reserved.
 // Redistribution and use in source and binary forms, with or without
 // modification, are permitted provided that the following conditions are
 // met:
 //
 //     * Redistributions of source code must retain the above copyright
 //       notice, this list of conditions and the following disclaimer.
 //     * Redistributions in binary form must reproduce the above
 //       copyright notice, this list of conditions and the following
 //       disclaimer in the documentation and/or other materials provided
@@ skipping 309 matching lines @@
       UNREACHABLE();
       break;
   }
 
   // Since this is an assignment. We have to propagate this node's type to the
   // variable.
   VariableProxy* proxy = node->target()->AsVariableProxy();
   if (proxy != NULL) {
     Variable* var = proxy->AsVariable();
     if (var != NULL) {
-      StaticType* var_type = var->type();
+      SmiAnalysis* var_type = var->type();
       if (var_type->IsUnknown()) {
         var_type->CopyFrom(node->type());
       } else if (var_type->IsLikelySmi()) {
         // We do not reset likely types to Unknown.
       }
     }
   }
 }
 
 
@@ skipping 460 matching lines @@
       if (optimizer.HasStackOverflow()) {
         return false;
       }
     }
   }
   return true;
 }
 
 
 } }  // namespace v8::internal