<html>
    <head>
      <base href="https://bugs.llvm.org/">
    </head>
    <body><table border="1" cellspacing="0" cellpadding="8">
        <tr>
          <th>Bug ID</th>
          <td><a class="bz_bug_link 
          bz_status_NEW "
   title="NEW - Wrong debug info generated at -O3 (-O0 is correct)"
   href="https://bugs.llvm.org/show_bug.cgi?id=43986">43986</a>
          </td>
        </tr>

        <tr>
          <th>Summary</th>
          <td>Wrong debug info generated at -O3 (-O0 is correct)
          </td>
        </tr>

        <tr>
          <th>Product</th>
          <td>clang
          </td>
        </tr>

        <tr>
          <th>Version</th>
          <td>trunk
          </td>
        </tr>

        <tr>
          <th>Hardware</th>
          <td>PC
          </td>
        </tr>

        <tr>
          <th>OS</th>
          <td>Linux
          </td>
        </tr>

        <tr>
          <th>Status</th>
          <td>NEW
          </td>
        </tr>

        <tr>
          <th>Severity</th>
          <td>enhancement
          </td>
        </tr>

        <tr>
          <th>Priority</th>
          <td>P
          </td>
        </tr>

        <tr>
          <th>Component</th>
          <td>LLVM Codegen
          </td>
        </tr>

        <tr>
          <th>Assignee</th>
          <td>unassignedclangbugs@nondot.org
          </td>
        </tr>

        <tr>
          <th>Reporter</th>
          <td>shuo.d@outlook.com
          </td>
        </tr>

        <tr>
          <th>CC</th>
          <td>davide@freebsd.org, llvm-bugs@lists.llvm.org, neeilans@live.com, richard-llvm@metafoo.co.uk
          </td>
        </tr></table>
      <p>
        <div>
        <pre>The expected output from lldb should be 65530. However, compiled with "-O3",
lldb outputs 0.



$ clang-trunk -v
clang version 10.0.0 (<a href="https://github.com/llvm/llvm-project.git">https://github.com/llvm/llvm-project.git</a>
dd101539dac5e464042c04b72090741317d48c23)
Target: x86_64-unknown-linux-gnu
Thread model: posix
InstalledDir: /usr/local/bin
Found candidate GCC installation: /usr/lib/gcc/i686-linux-gnu/8
Found candidate GCC installation: /usr/lib/gcc/i686-linux-gnu/9
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/4.4
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/4.4.7
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/4.6
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/4.6.4
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/4.8
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/4.8.5
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/5
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/5.5.0
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/6
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/6.5.0
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/7
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/7.4.0
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/8
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/9
Selected GCC installation: /usr/lib/gcc/x86_64-linux-gnu/9
Candidate multilib: .;@m64
Candidate multilib: 32;@m32
Candidate multilib: x32;@mx32
Selected multilib: .;@m64



$ clang-trunk -g abc.c -O3
abc.c:3:10: warning: non-void function does not return a value [-Wreturn-type]
int d() {}
         ^
abc.c:8:1: warning: non-void function does not return a value [-Wreturn-type]
}
^
2 warnings generated.
$ lldb-trunk -s cmds -b a.out 
(lldb) target create "a.out"
Current executable set to '/home/sding/LLDB-testing/reduce/32255/report/a.out'
(x86_64).
(lldb) command source -s 0 'cmds'
Executing commands in '/home/sding/LLDB-testing/reduce/32255/report/cmds'.
(lldb) b 6
Breakpoint 1: where = a.out`main + 13 [inlined] e + 13 at abc.c:9, address =
0x000000000040049d
(lldb) r
Process 32454 stopped
* thread #1, name = 'a.out', stop reason = breakpoint 1.1
    frame #0: 0x000000000040049d a.out`main [inlined] e(p_79=0) at abc.c:6:24
   3    int d() {}
   4    static int e(p_79) {
   5      int f = 5 == c;
-> 6      if ((f &= p_79 != (c = 0) || d()) == a) // optimize_me_not0
   7        b = p_79 = f;
   8    }
   9    int main() { e(65530); }

Process 32454 launched: '/home/sding/LLDB-testing/reduce/32255/report/a.out'
(x86_64)
(lldb) p p_79
(int) $0 = 0
(lldb) kill
Process 32454 exited with status = 9 (0x00000009) 
(lldb) q



$ clang-trunk -g abc.c -O0
abc.c:3:10: warning: non-void function does not return a value [-Wreturn-type]
int d() {}
         ^
abc.c:8:1: warning: non-void function does not return a value [-Wreturn-type]
}
^
2 warnings generated.
$ lldb-trunk -s cmds -b a.out 
(lldb) target create "a.out"
Current executable set to '/home/sding/LLDB-testing/reduce/32255/report/a.out'
(x86_64).
(lldb) command source -s 0 'cmds'
Executing commands in '/home/sding/LLDB-testing/reduce/32255/report/cmds'.
(lldb) b 6
Breakpoint 1: where = a.out`e + 38 at abc.c:6:13, address = 0x00000000004004d6
(lldb) r
Process 1949 stopped
* thread #1, name = 'a.out', stop reason = breakpoint 1.1
    frame #0: 0x00000000004004d6 a.out`e(p_79=65530) at abc.c:6:13
   3    int d() {}
   4    static int e(p_79) {
   5      int f = 5 == c;
-> 6      if ((f &= p_79 != (c = 0) || d()) == a) // optimize_me_not0
   7        b = p_79 = f;
   8    }
   9    int main() { e(65530); }

Process 1949 launched: '/home/sding/LLDB-testing/reduce/32255/report/a.out'
(x86_64)
(lldb) p p_79
(int) $0 = 65530
(lldb) kill
Process 1949 exited with status = 9 (0x00000009) 
(lldb) q



$ cat abc.c 
int a, b;
short c;
int d() {}
static int e(p_79) {
  int f = 5 == c;
  if ((f &= p_79 != (c = 0) || d()) == a) // optimize_me_not0
    b = p_79 = f;
}
int main() { e(65530); }



$ cat cmds 
b 6
r
p p_79
kill
q</pre>
        </div>
      </p>


      <hr>
      <span>You are receiving this mail because:</span>

      <ul>
          <li>You are on the CC list for the bug.</li>
      </ul>
    </body>
</html>