============================================
Symbol        : fifo_open (0x40004650)
Line          : fifo.c:78 (0x4000471c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pipe_release (0x4000455c)
Line          : fifo.c:177 (0x400045e0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pipe_write (0x40004a38)
Line          : fifo.c:392 (0x40004be4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

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