1978 Historical Example by Cousot and Halbwachs




      program ch78

C     POPL 78, example in Section 5

      i = 2
      j = 0

      do while(x.gt.0.)
         if(y.gt.0.) then
            i = i + 4
         else
            j = j + 1
            i = i + 2
         endif
         print *, i, j
      enddo

      end


See the transformers and then the preconditions automatically generated by PIPS.