diff options
author | Dave Beckett <dave@dajobe.org> | 2014-04-16 21:02:52 -0700 |
---|---|---|
committer | Dave Beckett <dave@dajobe.org> | 2014-04-16 21:02:52 -0700 |
commit | 9447e886ad66a1c3dd2c877341feca639824488a (patch) | |
tree | f7fb95e360f734a0d05655a89f5d64fb8919e1db /librdfa | |
parent | 1d529b6cc69ba3ca85d2016d4020aae17f69b7a3 (diff) | |
download | raptor-9447e886ad66a1c3dd2c877341feca639824488a.tar.gz |
(rdfa_init_base): Fix uri_start dead code again [coverity CID 29700]
Diffstat (limited to 'librdfa')
-rw-r--r-- | librdfa/rdfa.c | 15 |
1 files changed, 9 insertions, 6 deletions
diff --git a/librdfa/rdfa.c b/librdfa/rdfa.c index 1527005b..65c1496e 100644 --- a/librdfa/rdfa.c +++ b/librdfa/rdfa.c @@ -142,17 +142,20 @@ static size_t rdfa_init_base( if(head_end != NULL) { char* base_start = strstr(*working_buffer, "<base "); - if(base_start == NULL) + char* href_start = NULL; + if(base_start == NULL) { base_start = strstr(*working_buffer, "<BASE "); - - if(base_start != NULL) + if(base_start != NULL) + href_start = strstr(base_start, "href="); + } + + if(href_start != NULL) { - char* href_start = strstr(base_start, "href="); char sep = href_start[5]; char* uri_start = href_start + 6; - char* uri_end = uri_start ? strchr(uri_start, sep) : NULL; + char* uri_end = strchr(uri_start, sep); - if((uri_start != NULL) && (uri_end != NULL)) + if(uri_end != NULL) { if(*uri_start != sep) { |