Open llvmbot opened 4 years ago
A variable should not be assigned values twice successively. Maybe there is a typo.
commit e3546c78cabfbf670391a57766872f0a8e28a423
llvm-project/polly/lib/External/ppcg/gpu.c:line 5382-5383
5377 index = pet_expr_access_get_index(expr); 5378 space = isl_multi_pw_aff_get_space(index); 5379 isl_multi_pw_aff_free(index); 5380 if (isl_space_domain_is_wrapping(space)) 5381 space = isl_space_domain_factor_domain(space); 5382 space2 = isl_space_copy(space); 5383 space2 = isl_space_from_domain(isl_space_domain(space)); 5384 id = pet_expr_access_get_ref_id(expr); 5385 space2 = isl_space_set_tuple_id(space2, isl_dim_out, id); 5386 space = isl_space_range_product(space2, space); 5387 space = isl_space_uncurry(space); 5388 5389 return isl_map_empty(space);
Reported by: Ustchcs Toolsets Bugfinder (bugfinder-2.7: A variable should not be assigned values twice successively.)
The line has been fixed upstream. I am going to import it into Polly.
Forwarded to isl's mailing list (https://groups.google.com/d/msg/isl-development/I5BquTLy9i8/OHxgx8WQAgAJ)
Extended Description
A variable should not be assigned values twice successively. Maybe there is a typo.
commit e3546c78cabfbf670391a57766872f0a8e28a423
llvm-project/polly/lib/External/ppcg/gpu.c:line 5382-5383
5377 index = pet_expr_access_get_index(expr); 5378 space = isl_multi_pw_aff_get_space(index); 5379 isl_multi_pw_aff_free(index); 5380 if (isl_space_domain_is_wrapping(space)) 5381 space = isl_space_domain_factor_domain(space); 5382 space2 = isl_space_copy(space); 5383 space2 = isl_space_from_domain(isl_space_domain(space)); 5384 id = pet_expr_access_get_ref_id(expr); 5385 space2 = isl_space_set_tuple_id(space2, isl_dim_out, id); 5386 space = isl_space_range_product(space2, space); 5387 space = isl_space_uncurry(space); 5388
5389 return isl_map_empty(space);
Reported by: Ustchcs Toolsets Bugfinder (bugfinder-2.7: A variable should not be assigned values twice successively.)