<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 - clang: accept-invalid ill-formed C program / assertion `getLangOpts().CPlusPlus && "Call sites of this function should be guarded by checking for C++"'"
href="https://bugs.llvm.org/show_bug.cgi?id=49263">49263</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>clang: accept-invalid ill-formed C program / assertion `getLangOpts().CPlusPlus && "Call sites of this function should be guarded by checking for C++"'
</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>normal
</td>
</tr>
<tr>
<th>Priority</th>
<td>P
</td>
</tr>
<tr>
<th>Component</th>
<td>-New Bugs
</td>
</tr>
<tr>
<th>Assignee</th>
<td>unassignedclangbugs@nondot.org
</td>
</tr>
<tr>
<th>Reporter</th>
<td>zhan3299@purdue.edu
</td>
</tr>
<tr>
<th>CC</th>
<td>htmldeveloper@gmail.com, llvm-bugs@lists.llvm.org, neeilans@live.com, richard-llvm@metafoo.co.uk
</td>
</tr></table>
<p>
<div>
<pre>Clang accepts this presumably-invalid code, which GCC rejects. It affects 11.0,
12.0, and trunk.
clang: <a href="https://godbolt.org/z/b7oaxq">https://godbolt.org/z/b7oaxq</a>
GCC: <a href="https://godbolt.org/z/1194qP">https://godbolt.org/z/1194qP</a>
---
$ cat test.c
struct another_struct {
int my_int;
};
struct my_struct {
struct {
int volatile (*func_ptr)(int[] = <, struct another_struct);
};
};
int volatile func(int a[]) { return a[0]; }
int main() {
struct my_struct x = { .func_ptr = &func };
int y = 1;
return (*x.func_ptr)(&y);
}
$ ./clang -o /tmp/a.out -x c -std=c11 -pedantic -Wall test.c
# no any warning or error
---
I try to make the compilation as strict as possible, so I set "-std=c11
-pedantic -Wall". Actually, the standard does not matter.</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>