| 157 | return addr; |
| 158 | } |
| 159 | static size_t omTrackAddr_2_SizeOfFrontPattern(omTrackAddr d_addr) |
| 160 | { |
| 161 | size_t size; |
| 162 | omAssume(omIsTrackAddr(d_addr) && omOutAddr_2_TrackAddr(d_addr) == d_addr && |
| 163 | d_addr->track > 2 && d_addr->track <= 5); |
| 164 | omAssume((unsigned long) omTrackAddr_2_OutAddr(d_addr) > (unsigned long) omTrackAddr_2_FrontPattern(d_addr)); |
| 165 | size = _omTrackAddr_2_SizeOfFrontPattern(d_addr); |
| 166 | omAssume(size > 0); |
| 167 | return size; |
| 168 | } |
| 169 | static char* omTrackAddr_2_BackPattern(omTrackAddr d_addr) |
| 170 | { |
| 171 | char* addr; |
no test coverage detected