isl_basic_set_substitute: check that input affine expression is integral
isl_basic_set_substitute: check that input affine expression is integral

Otherwise, we may have to add stride constraints.

Signed-off-by: Sven Verdoolaege <e5350bbed4977f5eb8ae1dc6abd9ae59d21ace75@kotnet.org>

Distrotech/isl,KangDroidSMProject/ISL,VanirLLVM/toolchain_isl,VanirLLVM/toolchain_isl,UBERTC/isl,nicolasvasilache/isl,Meinersbur/isl,serge-sans-paille/isl,crossbuild/isl,abduld/isl,jleben/isl,inducer/isl-mirror,KangDroidSMProject/ISL,pierrotdelalune/isl,KangDroidSMProject/ISL,inducer/isl-mirror,simbuerg/isl,VanirLLVM/toolchain_isl,abduld/isl,SaberMod/isl-current,cfx-next/toolchain_isl-upstream,tobig/isl,tobig/isl,cfx-next/toolchain_isl-upstream,Meinersbur/isl,KangDroidSMProject/ISL,evaautomation/isl,inducer/isl-mirror,KangDroidSMProject/ISL,evaautomation/isl,epowers/isl,Distrotech/isl,evaautomation/isl,jleben/isl,jleben/isl,evaautomation/isl,jleben/isl,PollyLabs/isl,serge-sans-paille/isl,PollyLabs/isl,VanirLLVM/toolchain_isl,PollyLabs/isl,BobSaget-Mod/libisl,pierrotdelalune/isl,SaberMod/isl-current,serge-sans-paille/isl,simbuerg/isl,tobig/isl,SaberMod/isl-current,Distrotech/isl,serge-sans-paille/isl,jleben/isl,simbuerg/isl,BenzoSM/isl,abduld/isl,cfx-next/toolchain_isl-upstream,Meinersbur/isl,BenzoSM/isl,nicolasvasilache/isl,simbuerg/isl,BenzoSM/isl,tobig/isl,UBERTC/isl,serge-sans-paille/isl,crossbuild/isl,BobSaget-Mod/libisl,inducer/isl-mirror,cfx-next/toolchain_isl-upstream,BenzoSM/isl,nicolasvasilache/isl,BenzoSM/isl,SaberMod/isl-current,Distrotech/isl,pierrotdelalune/isl,BobSaget-Mod/libisl,PollyLabs/isl,nicolasvasilache/isl,UBERTC/isl,inducer/isl-mirror,crossbuild/isl,BobSaget-Mod/libisl,cfx-next/toolchain_isl-upstream,BobSaget-Mod/libisl,epowers/isl,abduld/isl,crossbuild/isl,pierrotdelalune/isl,PollyLabs/isl,epowers/isl,pierrotdelalune/isl,simbuerg/isl,Distrotech/isl,UBERTC/isl,epowers/isl,epowers/isl,VanirLLVM/toolchain_isl,nicolasvasilache/isl,Meinersbur/isl