[llvm] [SCEV] Check bitwidth for constant ranges comparison (PR #150364)
    Nikita Popov via llvm-commits 
    llvm-commits at lists.llvm.org
       
    Thu Jul 24 00:51:16 PDT 2025
    
    
  
nikic wrote:
> I think this should at least be an assert?
> 
> I used the `isKnownPredicate` downstream without converting the SCEV to the wider type and faced the crash when going through this API.
Yes, this should be an assert. These APIs generally assume matching types.
https://github.com/llvm/llvm-project/pull/150364
    
    
More information about the llvm-commits
mailing list