"...0d0cea2424ae97b27447dc64a7dbfae83c036c45b403392f0e8ba.png" did not exist on "4f91dd6f27f015f09828e42123bdabce0c8441e6"
  • jakub's avatar
    PR rtl-optimization/38245 · e52dd258
    jakub authored
    	* tree-vrp.c (abs_extent_range): New function.
    	(extract_range_from_binary_expr): Compute range
    	for *_DIV_EXPR even if vr1 is VR_VARYING, VR_ANTI_RANGE
    	or includes zero or if vr1 is VR_RANGE and op0 has some
    	other range.
    
    	* gcc.dg/pr38245-1.c: New test.
    	* gcc.dg/pr38245-2.c: New test.
    
    
    git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@142317 138bc75d-0d04-0410-961f-82ee72b054a4
    e52dd258
ChangeLog 1.01 MB