diff -r 26e3035cdffc -r 43287eef2fff src/TypeManager.h --- a/src/TypeManager.h Mon Dec 24 02:49:20 2012 -0800 +++ b/src/TypeManager.h Mon Dec 24 02:56:02 2012 -0800 @@ -33,6 +33,7 @@ // Primitive type cache. Unbarriered voidType_; + Unbarriered stringType_; Unbarriered uncheckedType_; Unbarriered primitiveTypes_[PrimitiveTypes_Total]; Unbarriered referenceTypes_[PrimitiveTypes_Total]; @@ -46,6 +47,9 @@ return primitiveTypes_[type]; } + Type *getString() { + return stringType_; + } Type *getVoid() { return voidType_; }