<html>
  <head>
    <meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    Hi Rodrigo,<br>
    <br>
    <div class="moz-cite-prefix">On 30/10/2014 17:28, Rodrigo Kumpera
      wrote:<br>
    </div>
    <blockquote
cite="mid:CACmR+BBvEj-BqoysNuu5eXRpTeuTo6Onk0Ff8mqQhnpTzUsU-A@mail.gmail.com"
      type="cite">
      <div dir="ltr">Since the noreturn behavior is not verifiable by
        the compiler (it's part of the API contract) we can a hack to
        silence the warning.</div>
      <div class="gmail_extra"><br>
      </div>
    </blockquote>
    <br>
    If that's what's wanted that's fine by me of course. Easily done.<br>
    <br>
    But I don't understand: Surely the fact the compiler is complaining
    shows that it does know that the function is returning, when it has
    been told via the attributing that the function should not?<br>
    <br>
    As a test, if I add a while(1); at the bottom of the function then
    the complaint goes away as the compiler knows that the return is
    unreachable.<br>
    <br>
    I am guessing I am misunderstanding your point?<br>
    <br>
    More importantly, should the assertion handler return or not... ?<br>
    <br>
    Cheers,<br>
    <br>
    Alex<br>
    <br>
    On Thu, Oct 30, 2014 at 12:08 PM, Alex J Lennon <span dir="ltr"><<a
        moz-do-not-send="true"
        href="mailto:ajlennon@dynamicdevices.co.uk" target="_blank">ajlennon@dynamicdevices.co.uk</a>></span>
    wrote:<br>
    <blockquote
cite="mid:CACmR+BBvEj-BqoysNuu5eXRpTeuTo6Onk0Ff8mqQhnpTzUsU-A@mail.gmail.com"
      type="cite">
      <div class="gmail_extra">
        <div class="gmail_quote">
          <blockquote class="gmail_quote" style="margin:0 0 0
            .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi,<br>
            <br>
            I'm seeing an eglib warning about an assertion handling
            function with a<br>
            G_GNUC_NORETURN attribute that is returning.<br>
            <br>
            goutput.c: In function ‘monoeg_assertion_message’:<br>
            goutput.c:135:1: warning: ‘noreturn’ function does return
            [enabled by<br>
            default]<br>
            <br>
            I'm wondering how this should be resolved, ie. whether this
            function<br>
            should block, whether the attribute should be removed, or
            "something else"?<br>
            <br>
            If the assertion handler should block then is while(1);
            sensible, or a<br>
            very bad idea?<br>
            <br>
            Thanks,<br>
            <br>
            Alex<br>
            <br>
            <br>
            _______________________________________________<br>
            Mono-devel-list mailing list<br>
            <a moz-do-not-send="true"
              href="mailto:Mono-devel-list@lists.ximian.com">Mono-devel-list@lists.ximian.com</a><br>
            <a moz-do-not-send="true"
              href="http://lists.ximian.com/mailman/listinfo/mono-devel-list"
              target="_blank">http://lists.ximian.com/mailman/listinfo/mono-devel-list</a><br>
          </blockquote>
        </div>
      </div>
    </blockquote>
    <br>
  </body>
</html>