Can `slice` from relay support empty result?

Development
11

Hi,

I got the exactly same error when I running TF SSD-ResNet34 model downloaded from MLperf model zoo https://zenodo.org/record/3345892/files/tf_ssd_resnet34_22.1.zip?download=1

fn (%map/TensorArrayUnstack/TensorArrayScatter/TensorArrayScatterV3_loop_var: List[static_tensor_float32_15130_4_t[]], %map/Const_loop_var: int32) {
  %0 = take(%map/Const_loop_var, 0);
  %1 = @tensor_array_read_float32_15130_4(%map/TensorArrayUnstack/TensorArrayScatter/TensorArrayScatterV3_loop_var, %0);
  %2 = @tensor_get_data_float32_15130_4(%1);
  strided_slice(%2, begin=[0, 3], end=[15130, 0], strides=[1, 1]) an internal invariant was violated while typechecking your program [09:38:40] /home/ww/2020/tvm_latest/incubator-tvm/src/relay/op/tensor/transform.cc:2102: Check failed: begin_v <= end_v (3 vs. 0) : strided_slice get invalid slice at axis 1

And I use ./incubator-tvm/tests/python/frontend/tensorflow/test_forward.py test_forward_ssd() to do the test. I just modify model_path, shape, in_node and out_node

model_path = './tf_ssd_resnet34_22.1/resnet34_tf.22.1.pb' 
data = np.random.uniform(0.0, 255.0, size=(1, 3, 1200, 1200)).astype('float32')
in_node = "image"
out_node = ['detection_bboxes', "detection_scores", "detection_classes"]