Skip to content
  • Ted Kremenek's avatar
    Move RegionStoreManager over to using new · c7b1dade
    Ted Kremenek authored
    ValueManager::makeArrayIndex()/convertArrayIndex() methods.  This
    handles yet another crash case when reasoning about array indices of
    different bitwidth and signedness.
    
    llvm-svn: 75884
    c7b1dade
Loading