
<html>

  <head>

    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">

  </head>

  <body>

    <p><br>

    </p>

    <div class="moz-cite-prefix">On 7/13/20 4:56 PM, Nuno Lopes via

      llvm-dev wrote:<br>

    </div>

    <blockquote type="cite"

      cite="mid:002201d65960$6b322830$41967890$@sapo.pt">

      <pre class="moz-quote-pre" wrap="">There's a new attribute for arguments under review, I think name noundef,</pre>

    </blockquote>

    <p><br>

    </p>

    <p>Was merged:

      <a class="moz-txt-link-freetext" href="https://reviews.llvm.org/rG89f1ad88b3f1ecf32e797247b9eab5662ed4bcf4">https://reviews.llvm.org/rG89f1ad88b3f1ecf32e797247b9eab5662ed4bcf4</a><br>

    </p>

    <p><br>

    </p>

    <p>```<br>

    </p>

    <dl class="docutils" id="nest">

      <dt><code class="docutils literal notranslate"><span class="pre">noundef</span></code></dt>

      <dd>This attribute applies to parameters and return values. If the

        value

        representation contains any undefined or poison bits, the

        behavior is

        undefined. Note that this does not refer to padding introduced

        by the

        type’s storage representation.</dd>

      <dt>```</dt>

    </dl>

    <p><br>

    </p>

    <p>Next step is to make existing attributes not create UB but

      produce poison if violated.<br>

    </p>

  </body>

</html>