<html>
  <head>
    <meta content="text/html; charset=utf-8" http-equiv="Content-Type">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    Hi Joe,<br>
    <br>
    <div class="moz-cite-prefix">On 2015-06-08 21:16, Joseph Provino
      wrote:<br>
    </div>
    <blockquote cite="mid:5575EA21.4010803@oracle.com" type="cite">One
      file.
      <br>
      <br>
      CR:  <a class="moz-txt-link-freetext" href="https://bugs.openjdk.java.net/browse/JDK-8085983">https://bugs.openjdk.java.net/browse/JDK-8085983</a>
      <br>
      <br>
      webrev:  <a class="moz-txt-link-freetext" href="http://cr.openjdk.java.net/~jprovino/8085983/webrev.00">http://cr.openjdk.java.net/~jprovino/8085983/webrev.00</a>
      <br>
    </blockquote>
    <br>
    Some comments:<br>
    <br>
    <pre><b><font color="blue">+</font><font color="blue">     guarantee(!cl->doHeapRegion(cur), err_msg("doHeapRegion() returned true"));</font></b></pre>
    <br>
    - You don't need err_msg if you don't have any format specifiers in
    the error message.<br>
    <br>
    - I would prefer if you didn't put the cl->doHeapReagion() calls
    inside guarantees. It's too easy to incorrectly assume that the code
    in the guarantee is only verification code, IMHO.<br>
    <br>
    - Shouldn't this be an assert instead of a guarantee?<br>
    <br>
    Thanks,<br>
    StefanK<br>
    <br>
    <blockquote cite="mid:5575EA21.4010803@oracle.com" type="cite">
      <br>
      passes jprt.
      <br>
      <br>
      thanks.
      <br>
      <br>
      joe
      <br>
      <br>
      <br>
    </blockquote>
    <br>
  </body>
</html>