| line | true | false | branch | 
 
| 165 | 0 | 0 | if (LIKELY(sv != NULL)) | 
 
|  | 0 | 0 | if (LIKELY(sv != NULL)) | 
 
|  | 70 | 0 | if (LIKELY(sv != NULL)) | 
 
|  | 0 | 0 | if (LIKELY(sv != NULL)) | 
 
|  | 2 | 0 | if (LIKELY(sv != NULL)) | 
 
|  | 1 | 0 | if (LIKELY(sv != NULL)) | 
 
|  | 68 | 0 | if (LIKELY(sv != NULL)) | 
 
| 184 | 70 | 0 | if (LIKELY(sv != NULL)) { | 
 
|  | 0 | 0 | if (LIKELY(sv != NULL)) { | 
 
|  | 70 | 0 | if (LIKELY(sv != NULL)) { | 
 
|  | 0 | 0 | if (LIKELY(sv != NULL)) { | 
 
|  | 0 | 0 | if (LIKELY(sv != NULL)) { | 
 
|  | 0 | 0 | if (LIKELY(sv != NULL)) { | 
 
|  | 1 | 0 | if (LIKELY(sv != NULL)) { | 
 
| 186 | 0 | 70 | if (LIKELY(rc > 1)) | 
 
|  | 0 | 0 | if (LIKELY(rc > 1)) | 
 
|  | 0 | 70 | if (LIKELY(rc > 1)) | 
 
|  | 0 | 0 | if (LIKELY(rc > 1)) | 
 
|  | 0 | 0 | if (LIKELY(rc > 1)) | 
 
|  | 0 | 0 | if (LIKELY(rc > 1)) | 
 
|  | 0 | 1 | if (LIKELY(rc > 1)) |