============================================
Symbol        : fifo_open (0x40024ed0)
Line          : fifo.c:210 (0x40024f38)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : fifo_open (0x40024ed0)
Line          : fifo.c:78 (0x40024f8c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : fifo_open (0x40024ed0)
Line          : fifo.c:233 (0x40025014)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : fifo_open (0x40024ed0)
Line          : fifo.c:242 (0x4002502c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : fifo_open (0x40024ed0)
Line          : fifo.c:247 (0x4002504c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : fifo_open (0x40024ed0)
Line          : fifo.c:213 (0x4002506c)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : fifo_open (0x40024ed0)
Line          : fifo.c:226 (0x4002509c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : fifo_open (0x40024ed0)
Line          : fifo.c:253 (0x400250bc)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : fifo_open (0x40024ed0)
Line          : fifo.c:256 (0x400250d8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pipe (0x40024f40)
Line          : pipe.c:51 (0x40024fb4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pipe (0x40024f40)
Line          : pipe.c:81 (0x40025050)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pipe (0x40024f40)
Line          : pipe.c:81 (0x4002507c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pipe_read (0x40025140)
Line          : fifo.c:280 (0x400251b0)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pipe_read (0x40025140)
Line          : fifo.c:320 (0x40025244)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pipe_release (0x40024db0)
Line          : fifo.c:177 (0x40024e30)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pipe_release (0x40024db0)
Line          : fifo.c:174 (0x40024e58)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pipe_write (0x400252b0)
Line          : fifo.c:331 (0x400252b0)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pipe_write (0x400252b0)
Line          : fifo.c:360 (0x40025350)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pipe_write (0x400252b0)
Line          : fifo.c:348 (0x400253e4)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================