Commit 25ce239
committed
Ignore ill-formed C programs
trailofbits/instafix-llvm#44 is an attempted workaround
for some ill-formed C programs that we still need to support building, but it
will cause way more LLVM indirect calls to be generated, and calls to be
generated with the wrong number of arguments against the original declaration
Essentially, the issue is that some programs do
```c
int foo() { ... }
```
Then somewhere else:
```c
extern int foo(int bar);
foo(0);
```1 parent 72a946a commit 25ce239
File tree
5 files changed
+8
-8
lines changed- MultiSource
- Applications
- JM
- Benchmarks
- MallocBench
- mediabench
5 files changed
+8
-8
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
10 | 10 | | |
11 | 11 | | |
12 | 12 | | |
13 | | - | |
14 | | - | |
| 13 | + | |
| 14 | + | |
15 | 15 | | |
16 | 16 | | |
17 | 17 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | | - | |
| 2 | + | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | 2 | | |
3 | 3 | | |
4 | | - | |
| 4 | + | |
5 | 5 | | |
6 | 6 | | |
7 | 7 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
2 | | - | |
| 1 | + | |
| 2 | + | |
3 | 3 | | |
4 | | - | |
| 4 | + | |
5 | 5 | | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | | - | |
| 2 | + | |
3 | 3 | | |
4 | 4 | | |
5 | 5 | | |
0 commit comments