Declare object pointer instead of array pointer for TBAA