equal
deleted
inserted
replaced
942 tmp = &wfc_strings[WFC_VERSION_INDEX]; |
942 tmp = &wfc_strings[WFC_VERSION_INDEX]; |
943 break; |
943 break; |
944 |
944 |
945 case WFC_EXTENSIONS: |
945 case WFC_EXTENSIONS: |
946 tmp = &wfc_extensions[0]; |
946 tmp = &wfc_extensions[0]; |
|
947 /* we know that wfc_extensions always has NULL as the last member |
|
948 so this loop will never exceed the size of tmp */ |
|
949 /* coverity[overrun-local] */ |
947 for (retVal=0; tmp[retVal] != NULL; retVal++) |
950 for (retVal=0; tmp[retVal] != NULL; retVal++) |
948 { |
951 { |
949 /* get extensions array size */ |
952 /* get extensions array size */ |
950 } |
953 } |
951 break; |
954 break; |