<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    Try making assumptions over 2 * x, these should work if i recall
    correctly.<br>
    <br>
    <div class="moz-cite-prefix">On 3/23/18 10:51 AM, Mikhail Ramalho
      via cfe-dev wrote:<br>
    </div>
    <blockquote type="cite"
cite="mid:CAORA-9a6THFWBHsSpqKbG8CUpR13u1_zYdf4XbWDLse6Eb=AWw@mail.gmail.com">
      <div dir="ltr">Hi,
        <div class="gmail_extra"><br>
          <div class="gmail_quote">
            <blockquote class="gmail_quote" style="margin:0px 0px 0px
              0.8ex;border-left:1px solid
              rgb(204,204,204);padding-left:1ex">
              <div style="word-wrap:break-word">
                <div>
                  <div><br>
                  </div>
                  <div>We would have to find an easier example first,
                    where the core modification are not necessary.</div>
                  <div>For the easier example: I think it would have to
                    be simple arithmetics over integers, even negation
                    would work.</div>
                  <div>The current solver can not handle any relational
                    constraints.</div>
                  <div><br>
                  </div>
                </div>
              </div>
            </blockquote>
            <div><br>
            </div>
            <div>I'm having some problems finding a simple benchmark
              where the constraints are not dropped.</div>
            <div><br>
            </div>
            <div>For instance, consider the following (safe) program:</div>
            <div><br>
            </div>
            <div>
              <div>void foo(unsigned x, unsigned y)</div>
              <div>{</div>
              <div>  if (x > y)</div>
              <div>    return;</div>
              <div><br>
              </div>
              <div>  int base;</div>
              <div><br>
              </div>
              <div>  if (x <= y)</div>
              <div>    base = 1;</div>
              <div><br>
              </div>
              <div>  assert(base == 1);</div>
              <div>}</div>
            </div>
            <div><br>
            </div>
            <div>But the constraints are empty (both when I print the
              graph and the SMT formula). I'm calling the analyzer:</div>
            <div><br>
            </div>
            <div>$ ~/myclang/bin/clang --analyze -Xclang
              -analyzer-viz-egraph-graphviz -Xanalyzer
              -analyzer-checker=debug.DumpCFG main2.c<br>
            </div>
            <div><br>
            </div>
            <div>I'm assuming that the constraints are being dropped
              somehow but is there any other way to check it?</div>
            <div><br>
            </div>
            <div>Btw, I'm using the head of the release_60 branch.</div>
            <div><br>
            </div>
            <div>Thank you,</div>
            <div> </div>
            <blockquote class="gmail_quote" style="margin:0px 0px 0px
              0.8ex;border-left:1px solid
              rgb(204,204,204);padding-left:1ex">
              <div style="word-wrap:break-word">
                <div>
                  <div>BTW instead of looking into the
                    Z3ConstraintManager I think it would be easier to
                    look at the exploded graph (using the option I have
                    previously described)</div>
                  <div>and see what formulas are mentioned there.</div>
                  <div>
                    <div class="gmail-m_-8638169037548414962gmail-h5"><br>
                      <blockquote type="cite">
                        <div>
                          <div dir="ltr">
                            <div><br>
                            </div>
                            <div>Thank you,</div>
                            <div><br>
                            </div>
                            <div class="gmail_extra"><br>
                              <div class="gmail_quote">2018-03-22 20:34
                                GMT+00:00 George Karpenkov <span
                                  dir="ltr"><<a
                                    href="mailto:ekarpenkov@apple.com"
                                    target="_blank"
                                    moz-do-not-send="true">ekarpenkov@apple.com</a>></span>:<br>
                                <blockquote class="gmail_quote"
                                  style="margin:0px 0px 0px
                                  0.8ex;border-left:1px solid
                                  rgb(204,204,204);padding-left:1ex">
                                  <div style="word-wrap:break-word">Hi
                                    Mikhail,
                                    <div><br>
                                    </div>
                                    <div>That’s a good improvement!</div>
                                    <div><br>
                                    </div>
                                    <div>I think an awesome next step
                                      would be to see whether the
                                      analyzer already has the formula
                                      required to solve your
                                      motivational example.</div>
                                    <div>This would be a preliminary
                                      feasibility study: if the formula
                                      is there, it’s just a matter of
                                      converting it and giving it to Z3,
                                      and otherwise,</div>
                                    <div>the exercise is much harder and
                                      might require substantial changes.</div>
                                    <div><br>
                                    </div>
                                    <div>Perhaps an easiest way to see
                                      what formulas the analyzer has is
                                      to launch it with an extra flag</div>
                                    <div>`-Xclang
                                      -analyzer-viz-egraph-graphviz`
                                      which would dump a graph in a
                                      GraphViz format containing all the
                                      information analyzer has along all
                                      the states.</div>
                                    <div><br>
                                    </div>
                                    <div>This is important for judging
                                      feasibility, as it might be the
                                      case that analyzer at some point
                                      decides to get rid of the
                                      “complex” constraint.</div>
                                    <div>While it would be possible to
                                      change that, that would be a
                                      second step of the project,</div>
                                    <div>and for preliminary evaluation
                                      a simpler example would be needed.</div>
                                    <div><br>
                                    </div>
                                    <div>Also, the information above
                                      could be helpful for structuring
                                      the project: a first stage would
                                      be checking most trivial examples,
                                      a second stage would be seeing how
                                      far</div>
                                    <div>can we get with only minimal
                                      modifications to the core.</div>
                                    <div><br>
                                    </div>
                                    <div>Regards,</div>
                                    <div>George</div>
                                    <div>
                                      <div
class="gmail-m_-8638169037548414962gmail-m_-52597389203126130m_3480453752466103086h5">
                                        <div>
                                          <div><br>
                                            <blockquote type="cite">
                                              <div>On Mar 22, 2018, at
                                                1:19 PM, Mikhail Ramalho
                                                <<a
                                                  href="mailto:mikhail.ramalho@gmail.com"
                                                  target="_blank"
                                                  moz-do-not-send="true">mikhail.ramalho@gmail.com</a>>
                                                wrote:</div>
                                              <br
class="gmail-m_-8638169037548414962gmail-m_-52597389203126130m_3480453752466103086m_4673560789215137001Apple-interchange-newline">
                                              <div>
                                                <div dir="ltr">Hi all,
                                                  <div><br>
                                                  </div>
                                                  <div>Thank you for the
                                                    feedback, George and
                                                    Dominic.</div>
                                                  <div><br>
                                                  </div>
                                                  <div>I updated my
                                                    proposal with an
                                                    example, showing the
                                                    encoded SMT formula
                                                    for the program and
                                                    a brief explanation
                                                    of the verification
                                                    process. I used a
                                                    simplified program
                                                    from a bug report in
                                                    Bugzilla.</div>
                                                  <div><br>
                                                  </div>
                                                  <div>May I ask for
                                                    some feedback in
                                                    this section?</div>
                                                  <div><br>
                                                  </div>
                                                  <div>~</div>
                                                  <div><br>
                                                  </div>
                                                  <div>I addressed most
                                                    of the comments,
                                                    except for: </div>
                                                  <div><span
style="color:rgb(51,51,51);font-family:Arial,sans-serif,sans;font-size:13px;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:left;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial;float:none;display:inline"><br>
                                                    </span></div>
                                                  <div><span
style="color:rgb(51,51,51);font-family:Arial,sans-serif,sans;font-size:13px;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:left;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial;float:none;display:inline"><span
style="color:rgb(51,51,51);font-family:Arial,sans-serif,sans;font-size:13px;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:left;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial;float:none;display:inline">George:
                                                        stretch goals
                                                        are great, but
                                                        for now I think
                                                        it would be
                                                        better to focus
                                                        on writing a
                                                        considerably
                                                        more detailed
                                                        proposal on how
                                                        and why the main
                                                        goal would be
                                                        implemented.<span> </span></span></span></div>
                                                  <div><span
style="color:rgb(51,51,51);font-family:Arial,sans-serif,sans;font-size:13px;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:left;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial;float:none;display:inline"><span
style="color:rgb(51,51,51);font-family:Arial,sans-serif,sans;font-size:13px;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:left;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial;float:none;display:inline"><span><br>
                                                        </span></span></span></div>
                                                  <div><font
                                                      face="Arial,
                                                      sans-serif, sans"
                                                      color="#333333">I
                                                      tried to explain
                                                      the motivation in
                                                      the Overview
                                                      section, do you
                                                      think a motivation
                                                      section would be
                                                      better? </font></div>
                                                  <div><font
                                                      face="Arial,
                                                      sans-serif, sans"
                                                      color="#333333"><br>
                                                    </font></div>
                                                  <div><font
                                                      face="Arial,
                                                      sans-serif, sans"
                                                      color="#333333">Regarding
                                                      the how, I'll have
                                                      another look in
                                                      the
                                                      BugReportVisitor
                                                      and update the
                                                      proposal with a
                                                      more concrete
                                                      solution.</font></div>
                                                  <div><font
                                                      face="Arial,
                                                      sans-serif, sans"
                                                      color="#333333"><br>
                                                    </font></div>
                                                  <div><font
                                                      face="Arial,
                                                      sans-serif, sans"
                                                      color="#333333">Thank
                                                      you,</font></div>
                                                  <div><br>
                                                  </div>
                                                  <div
                                                    class="gmail_extra"><br>
                                                    <div
                                                      class="gmail_quote">2018-03-21
                                                      17:54 GMT+00:00
                                                      George Karpenkov <span
                                                        dir="ltr"><<a
href="mailto:ekarpenkov@apple.com" target="_blank"
                                                          moz-do-not-send="true">ekarpenkov@apple.com</a>></span>:<br>
                                                      <blockquote
                                                        class="gmail_quote"
style="margin:0px 0px 0px 0.8ex;border-left:1px solid
                                                        rgb(204,204,204);padding-left:1ex">
                                                        <div
                                                          style="word-wrap:break-word">Hi
                                                          Mikhail,
                                                          <div><br>
                                                          </div>
                                                          <div>I’ve
                                                          added some
                                                          feedback.</div>
                                                          <div>Overall,
                                                          I think we
                                                          should be
                                                          aiming for
                                                          something more
                                                          low-level and
                                                          concrete:</div>
                                                          <div>adding
                                                          examples with
                                                          explanations
                                                          would be a
                                                          great
                                                          improvement.</div>
                                                          <div><br>
                                                          </div>
                                                          <div>Regards,</div>
                                                          <div>George
                                                          <div>
                                                          <div
class="gmail-m_-8638169037548414962gmail-m_-52597389203126130m_3480453752466103086m_4673560789215137001m_3797644012230859096h5"><br>
                                                          <div><br>
                                                          <blockquote
                                                          type="cite">
                                                          <div>On Mar
                                                          21, 2018, at
                                                          10:12 AM,
                                                          Mikhail
                                                          Ramalho <<a
href="mailto:mikhail.ramalho@gmail.com" target="_blank"
                                                          moz-do-not-send="true">mikhail.ramalho@gmail.com</a>>
                                                          wrote:</div>
                                                          <br
class="gmail-m_-8638169037548414962gmail-m_-52597389203126130m_3480453752466103086m_4673560789215137001m_3797644012230859096m_8959840794667446807Apple-interchange-newline">
                                                          <div>
                                                          <div dir="ltr">Hi
                                                          all,
                                                          <div><br>
                                                          </div>
                                                          <div>I've
                                                          written a
                                                          first draft of
                                                          my proposal:</div>
                                                          <div><br>
                                                          </div>
                                                          <div><a
href="https://docs.google.com/document/d/1-zNSv0l4WyoxYpJUAw8LFnQq_TY4AGjIpPu1VPkmO-g/edit?usp=sharing"
target="_blank" moz-do-not-send="true">https://docs.google.com/docume<wbr>nt/d/1-zNSv0l4WyoxYpJUAw8LFnQq<wbr>_TY4AGjIpPu1VPkmO-g/edit?usp=s<wbr>haring</a><br>
                                                          </div>
                                                          <div><br>
                                                          </div>
                                                          <div>I've
                                                          added a few
                                                          comments in
                                                          places I think
                                                          need
                                                          improvement. </div>
                                                          <div><br>
                                                          </div>
                                                          <div>May I ask
                                                          the community
                                                          to have a look
                                                          and give some
                                                          feedback? </div>
                                                          <div><br>
                                                          </div>
                                                          <div>Thank
                                                          you,</div>
                                                          <div><br>
                                                          </div>
                                                          </div>
                                                          <div
                                                          class="gmail_extra"><br>
                                                          <div
                                                          class="gmail_quote">2018-03-12
                                                          18:24
                                                          GMT+00:00
                                                          George
                                                          Karpenkov <span
                                                          dir="ltr"><<a
href="mailto:ekarpenkov@apple.com" target="_blank"
                                                          moz-do-not-send="true">ekarpenkov@apple.com</a>></span>:<br>
                                                          <blockquote
                                                          class="gmail_quote"
style="margin:0px 0px 0px 0.8ex;border-left:1px solid
                                                          rgb(204,204,204);padding-left:1ex">
                                                          <div
                                                          style="word-wrap:break-word">Hi
                                                          Mikhail,
                                                          <div><br>
                                                          </div>
                                                          <div>I’m
                                                          assuming
                                                          Dominic have
                                                          answered your
                                                          questions
                                                          regarding the
                                                          point (3).</div>
                                                          <div><br>
                                                          </div>
                                                          <div>On point
                                                          (1) I have
                                                          recently sent
                                                          an email on
                                                          the list
                                                          answering, I
                                                          believe, to
                                                          essentially
                                                          the same
                                                          question:</div>
                                                          <div><a
                                                          href="http://lists.llvm.org/pipermail/cfe-dev/2018-March/057064.html"
target="_blank" moz-do-not-send="true">http://lists.llvm.org/pipermai<wbr>l/cfe-dev/2018-March/057064.ht<wbr>ml</a></div>
                                                          <div><br>
                                                          </div>
                                                          <div>(yes,
                                                          unfortunately
                                                          we do not have
                                                          better
                                                          archives, so
                                                          messages might
                                                          be often hard
                                                          to track)<br>
                                                          <div><span><br>
                                                          <blockquote
                                                          type="cite">
                                                          <div>
                                                          <div dir="ltr"
style="font-family:Helvetica;font-size:12px;font-style:normal;font-variant-caps:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px">
                                                          <div>2. I
                                                          still don't
                                                          quite
                                                          understand how
                                                          dynamic memory
                                                          track works in
                                                          the analyzer,
                                                          is the double
                                                          checker
                                                          expected to
                                                          work for
                                                          pointers and
                                                          dynamic memory
                                                          as well? I'm
                                                          assuming yes
                                                          here and that
Z3ConstraintManager <span
style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:small;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);float:none;display:inline">might
                                                          need to be
                                                          extended
                                                          somehow (a
                                                          plan will be
                                                          added to the
                                                          proposal).</span></div>
                                                          </div>
                                                          </div>
                                                          </blockquote>
                                                          <div><br>
                                                          </div>
                                                          </span>
                                                          <div>I think
                                                          here we should
                                                          get the extra
                                                          precision for
                                                          free by adding
                                                          a bug reporter
                                                          visitor, as
                                                          described in
                                                          the email
                                                          thread I have
                                                          linked to.</div>
                                                          <div><br>
                                                          </div>
                                                          <div>Please
                                                          feel free to
                                                          ask any
                                                          further
                                                          questions, bug
                                                          reporter
                                                          visitors are
                                                          quite messy in
                                                          the analyzer.</div>
                                                          <div><br>
                                                          </div>
                                                          <div>Regards,</div>
                                                          <div>George</div>
                                                          <br>
                                                          <blockquote
                                                          type="cite">
                                                          <div><span>
                                                          <div dir="ltr"
style="font-family:Helvetica;font-size:12px;font-style:normal;font-variant-caps:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px">
                                                          <div><span
style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:small;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);float:none;display:inline"><br>
                                                          </span></div>
                                                          <div><span
style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:small;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);float:none;display:inline">~</span></div>
                                                          <div><span
style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:small;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);float:none;display:inline"><br>
                                                          </span></div>
                                                          <div><span
style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:small;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);float:none;display:inline">3.
                                                          This is a list
                                                          of the TODOs
                                                          in <span
style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:small;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);float:none;display:inline">Z3ConstraintManager,
                                                          from more
                                                          important to
                                                          less
                                                          important, in
                                                          my opinion. I
                                                          just want to
                                                          know if the
                                                          analyzer's
                                                          developers
                                                          (and the
                                                          project
                                                          mentor) agree
                                                          with this
                                                          list, as it
                                                          might go into
                                                          my proposal:</span></span></div>
                                                          <div><span
style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:small;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);float:none;display:inline"><span
style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:small;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);float:none;display:inline"><br>
                                                          </span></span></div>
                                                          <div><span
style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:small;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);float:none;display:inline"><span
style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:small;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);float:none;display:inline">3.1. Don't
                                                          assume nearest
                                                          ties to even
                                                          rounding mode:
                                                          currently,
                                                          only rounding
                                                          to even is
                                                          supported,
                                                          even if the
                                                          code changes
                                                          the rounding
                                                          mode
                                                          using fesetround.</span></span></div>
                                                          <div><span
style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:small;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);float:none;display:inline"><span
style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:small;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);float:none;display:inline"><br>
                                                          </span></span></div>
                                                          <div><span
style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:small;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);float:none;display:inline"><span
style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:small;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);float:none;display:inline">3.2. Don't
                                                          add all the
                                                          constraints,
                                                          only the
                                                          relevant ones:
                                                          adding
                                                          unnecessary
                                                          constraints
                                                          will slowdown
                                                          the solver.</span></span></div>
                                                          <div><span
style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:small;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);float:none;display:inline"><span
style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:small;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);float:none;display:inline"><br>
                                                          </span></span></div>
                                                          <div><span
style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:small;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);float:none;display:inline"><span
style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:small;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);float:none;display:inline">3.3. Refactor
doTypeConversion to use built-in conversion functions (</span></span>Refactor
                                                          to
                                                          Sema::FindCompositePointerType<wbr>(),
                                                          and
                                                          Sema::CheckCompareOperands(); <wbr>Refine
                                                          behavior for
                                                          invalid type
                                                          casts)</div>
                                                          <div><span
style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:small;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);float:none;display:inline"><span
style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:small;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);float:none;display:inline">3.4.
                                                          Refactor
                                                          doIntTypeConversion
                                                          to use
                                                          Sema::handleIntegerConversion(<wbr>)</span></span></div>
                                                          <div><span
style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:small;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);float:none;display:inline"><span
style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:small;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);float:none;display:inline">3.5. Refactor
doFloatTypeConversion to use Sema::handleFloatConversion()</span></span></div>
                                                          <div><br>
                                                          </div>
                                                          <div>I bundled
                                                          this together
                                                          because,
                                                          although the
                                                          conversion
                                                          seems
                                                          incomplete
                                                          (based on the
                                                          comments),
                                                          it's about
                                                          removing
                                                          duplicated
                                                          code.</div>
                                                          <div><br>
                                                          </div>
                                                          <div>3.6.
                                                          Refactor
                                                          getAPSIntType(const
                                                          llvm::APSInt
                                                          &Int)
                                                          const to put
                                                          elsewhere.</div>
                                                          <div><br>
                                                          </div>
                                                          <div>~</div>
                                                          <div><br>
                                                          </div>
                                                          <div>Thank
                                                          you,</div>
                                                          <div><br>
                                                          </div>
                                                          </div>
                                                          <div
                                                          class="gmail_extra"
style="font-family:Helvetica;font-size:12px;font-style:normal;font-variant-caps:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px"><br>
                                                          <div
                                                          class="gmail_quote">2018-02-24
                                                          1:03 GMT+00:00
                                                          Devin Coughlin<span
class="gmail-m_-8638169037548414962gmail-m_-52597389203126130m_3480453752466103086m_4673560789215137001m_3797644012230859096m_8959840794667446807m_-5653580683305685986Apple-converted-space"> </span><span
                                                          dir="ltr"><<a
href="mailto:dcoughlin@apple.com" target="_blank" moz-do-not-send="true">dcoughlin@apple.com</a>></span><wbr>:<br>
                                                          <blockquote
                                                          class="gmail_quote"
style="margin:0px 0px 0px 0.8ex;border-left:1px solid
                                                          rgb(204,204,204);padding-left:1ex"><span><br>
                                                          <br>
                                                          > On Feb
                                                          23, 2018, at
                                                          9:29 AM,
                                                          Mikhail
                                                          Ramalho via
                                                          cfe-dev <<a
href="mailto:cfe-dev@lists.llvm.org" target="_blank"
                                                          moz-do-not-send="true">cfe-dev@lists.llvm.org</a>>
                                                          wrote:<br>
                                                          ><br>
                                                          > I also
                                                          have a
                                                          question about
                                                          the proposal.
                                                          I understand
                                                          that ideas
                                                          about the
                                                          project will
                                                          be discussed
                                                          in the mailing
                                                          list. However,
                                                          once that's
                                                          settled and I
                                                          write my first
                                                          draft
                                                          proposal,
                                                          should I send
                                                          it to the
                                                          mailing list
                                                          for discussion
                                                          again or
                                                          should I send
                                                          it only to the
                                                          mentor?<br>
                                                          <br>
                                                          </span>Please
                                                          make sure to
                                                          keep email
                                                          discussions on
                                                          the mailing
                                                          list rather
                                                          than just
                                                          personal
                                                          email. This is
                                                          a topic that
                                                          members of the
                                                          community will
                                                          be interested
                                                          in and will
                                                          have valuable
                                                          feedback on.<br>
                                                          <span
class="gmail-m_-8638169037548414962gmail-m_-52597389203126130m_3480453752466103086m_4673560789215137001m_3797644012230859096m_8959840794667446807m_-5653580683305685986HOEnZb"><font
color="#888888"><br>
                                                          Devin<br>
                                                          <br>
                                                          </font></span></blockquote>
                                                          </div>
                                                          <br>
                                                          <br
                                                          clear="all">
                                                          <div><br>
                                                          </div>
                                                          --<span
class="gmail-m_-8638169037548414962gmail-m_-52597389203126130m_3480453752466103086m_4673560789215137001m_3797644012230859096m_8959840794667446807m_-5653580683305685986Apple-converted-space"> </span><br>
                                                          <div
class="gmail-m_-8638169037548414962gmail-m_-52597389203126130m_3480453752466103086m_4673560789215137001m_3797644012230859096m_8959840794667446807m_-5653580683305685986gmail_signature">
                                                          <div dir="ltr">
                                                          <div><br>
                                                          </div>
                                                          <div>Mikhail
                                                          Ramalho.</div>
                                                          </div>
                                                          </div>
                                                          </div>
                                                          </span><span><span
style="font-family:Helvetica;font-size:12px;font-style:normal;font-variant-caps:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;float:none;display:inline">______________________________<wbr>_________________</span><br
style="font-family:Helvetica;font-size:12px;font-style:normal;font-variant-caps:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px">
                                                          <span
style="font-family:Helvetica;font-size:12px;font-style:normal;font-variant-caps:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;float:none;display:inline">cfe-dev
                                                          mailing list</span><br
style="font-family:Helvetica;font-size:12px;font-style:normal;font-variant-caps:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px">
                                                          <a
                                                          href="mailto:cfe-dev@lists.llvm.org"
style="font-family:Helvetica;font-size:12px;font-style:normal;font-variant-caps:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px"
target="_blank" moz-do-not-send="true">cfe-dev@lists.llvm.org</a><br
style="font-family:Helvetica;font-size:12px;font-style:normal;font-variant-caps:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px">
                                                          <a
                                                          href="http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev"
style="font-family:Helvetica;font-size:12px;font-style:normal;font-variant-caps:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px"
target="_blank" moz-do-not-send="true">http://lists.llvm.org/cgi-bin/<wbr>mailman/listinfo/cfe-dev</a></span></div>
                                                          </blockquote>
                                                          </div>
                                                          <br>
                                                          </div>
                                                          </div>
                                                          </blockquote>
                                                          </div>
                                                          <br>
                                                          <br
                                                          clear="all">
                                                          <div><br>
                                                          </div>
                                                          -- <br>
                                                          <div
class="gmail-m_-8638169037548414962gmail-m_-52597389203126130m_3480453752466103086m_4673560789215137001m_3797644012230859096m_8959840794667446807gmail_signature">
                                                          <div dir="ltr">
                                                          <div><br>
                                                          </div>
                                                          <div>Mikhail
                                                          Ramalho.</div>
                                                          </div>
                                                          </div>
                                                          </div>
                                                          </div>
                                                          </blockquote>
                                                          </div>
                                                          <br>
                                                          </div>
                                                          </div>
                                                          </div>
                                                        </div>
                                                      </blockquote>
                                                    </div>
                                                    <br>
                                                    <br clear="all">
                                                    <div><br>
                                                    </div>
                                                    -- <br>
                                                    <div
class="gmail-m_-8638169037548414962gmail-m_-52597389203126130m_3480453752466103086m_4673560789215137001m_3797644012230859096gmail_signature">
                                                      <div dir="ltr">
                                                        <div><br>
                                                        </div>
                                                        <div>Mikhail
                                                          Ramalho.</div>
                                                      </div>
                                                    </div>
                                                  </div>
                                                </div>
                                              </div>
                                            </blockquote>
                                          </div>
                                          <br>
                                        </div>
                                      </div>
                                    </div>
                                  </div>
                                </blockquote>
                              </div>
                              <br>
                              <br clear="all">
                              <div><br>
                              </div>
                              -- <br>
                              <div
class="gmail-m_-8638169037548414962gmail-m_-52597389203126130m_3480453752466103086gmail_signature">
                                <div dir="ltr">
                                  <div><br>
                                  </div>
                                  <div>Mikhail Ramalho.</div>
                                </div>
                              </div>
                            </div>
                          </div>
                        </div>
                      </blockquote>
                    </div>
                  </div>
                </div>
                <br>
              </div>
            </blockquote>
          </div>
          <br>
          <br clear="all">
          <div><br>
          </div>
          -- <br>
          <div class="gmail-m_-8638169037548414962gmail_signature">
            <div dir="ltr">
              <div><br>
              </div>
              <div>Mikhail Ramalho.</div>
            </div>
          </div>
        </div>
      </div>
      <br>
      <fieldset class="mimeAttachmentHeader"></fieldset>
      <pre class="moz-quote-pre" wrap="">_______________________________________________
cfe-dev mailing list
<a class="moz-txt-link-abbreviated" href="mailto:cfe-dev@lists.llvm.org">cfe-dev@lists.llvm.org</a>
<a class="moz-txt-link-freetext" href="http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev">http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev</a>
</pre>
    </blockquote>
    <br>
  </body>
</html>