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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pipe (0x40005334)
Line          : pipe.c:81 (0x4000544c)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pipe_read (0x400054a0)
Line          : fifo.c:299 (0x40005614)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pipe_write (0x40005648)
Line          : fifo.c:335 (0x40005654)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pipe_write (0x40005648)
Line          : fifo.c:346 (0x40005680)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pipe_write (0x40005648)
Line          : fifo.c:366 (0x400056f8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

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