'Return True if the given variable has fully known shape in array_analysis.'

def _has_known_shape(self, var):

    if (isinstance(var, ir.Var) and (var.name in self.array_analysis.array_shape_classes)):
        var_shapes = self.array_analysis.array_shape_classes[var.name]
        return ((len(var_shapes) > 0) and (not ((-1) in var_shapes)))
    return False
