[llvm-bugs] [Bug 37851] New: clang++ rejects legal code

[via llvm-bugs]

https://bugs.llvm.org/show_bug.cgi?id=37851

            Bug ID: 37851
           Summary: clang++ rejects legal code
           Product: clang
           Version: unspecified
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: C++
          Assignee: unassignedclangbugs at nondot.org
          Reporter: zhonghao at pku.org.cn
                CC: dgregor at apple.com, llvm-bugs at lists.llvm.org

The code is as follow:

#include <iostream>

auto add_1(auto a, auto b) { return a + b;}
auto add_2 = [](auto a, auto b) { return a + b;};

int main()
{
 std::cout
 << "a1: " << add_1(3.5, 4) << "\n"
 << "a2: " << add_1(3, 4.5) << "\n"
 << "a3: " << add_2(3.5, 4) << "\n"
 << "a4: " << add_2(3, 4.5) << "\n";
}

clang++ produces the error messages:
code0.c.cpp:3:12: error: 'auto' not allowed in function prototype
    auto add_1(auto a, auto b) { return a + b;}
code0.c.cpp:3:20: error: 'auto' not allowed in function prototype
    auto add_1(auto a, auto b) { return a + b;}
                       ^~~~
    2 errors generated.

g++ accepts the code. In fact, the code comes from a gcc bug report:

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66197

The report says that a previous version of gcc compiles the above code into
incorrect binary code, so the above program produces wrong values. It is
interesting to explore whether clang++ has similar problems, right?

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20180619/18d398d5/attachment.html>