File: test.desc

package info (click to toggle)
cbmc 6.6.0-4
  • links: PTS
  • area: main
  • in suites: forky, sid, trixie
  • size: 153,852 kB
  • sloc: cpp: 386,459; ansic: 114,466; java: 28,405; python: 6,003; yacc: 4,552; makefile: 4,041; lex: 2,487; xml: 2,388; sh: 2,050; perl: 557; pascal: 184; javascript: 163; ada: 36
file content (23 lines) | stat: -rw-r--r-- 655 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
 
CORE
cycles.gb
--breakpoint process_buffer --symbols buffer
struct cycle_buffer_entry tmp;
char tmp\$0\[\];
struct cycle_buffer_entry tmp\$1;
char tmp\$2\[\];
struct cycle_buffer_entry tmp\$3;
char tmp\$4\[\];
struct cycle_buffer_entry tmp\$5;
char tmp\$6\[\];
tmp\$0 = \"snow\";
tmp\$2 = \"sun\";
tmp\$4 = \"rain\";
tmp\$6 = \"thunder storm\";
tmp\$5 = \{ .data=tmp\$6, .next=\(\(struct cycle_buffer_entry \*\)0\) \};
tmp\$3 = \{ .data=tmp\$4, .next=&tmp\$5 \};
tmp\$1 = \{ .data=tmp\$2, .next=&tmp\$3 \};
tmp = \{ .data=tmp\$0, .next=&tmp\$1 \};
buffer = \{ .start=&tmp, .end=&tmp\$5 \};
buffer.start->next->next->next->next = &tmp;
^EXIT=0$
^SIGNAL=0$