Skip to content
This repository was archived by the owner on Oct 3, 2021. It is now read-only.

Commit f72c657

Browse files
committed
replace preprocessed file with original c file.
The file depends on the data model ILP32, but contained the header for LP64. The code does not even need the header. We can simply use the plain extracted C code directly.
1 parent c55b04f commit f72c657

File tree

3 files changed

+29
-880
lines changed

3 files changed

+29
-880
lines changed

c/ldv-regression/test_address.c

Lines changed: 26 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,26 @@
1+
extern void abort(void);
2+
extern void __assert_fail(const char *, const char *, unsigned int, const char *) __attribute__ ((__nothrow__ , __leaf__)) __attribute__ ((__noreturn__));
3+
void reach_error() { __assert_fail("0", "test_address.i", 3, "reach_error"); }
4+
5+
void __blast_assert()
6+
{
7+
ERROR: {reach_error();abort();}
8+
}
9+
10+
struct path_info {
11+
int list;
12+
};
13+
14+
void list_add(int *new) {
15+
((new!=((void *)0)) ? (0) : __blast_assert ());
16+
}
17+
18+
static void rr_fail_path(struct path_info *pi)
19+
{
20+
list_add(&pi->list);
21+
}
22+
23+
int main(void) {
24+
struct path_info pi;
25+
rr_fail_path(&pi);
26+
}

0 commit comments

Comments
 (0)