warnings from gcc:
warning: label 'free_pool' defined but not used [-Wunused-label]
warning: value computed is not used [-Wunused-value]
Signed-off-by: Roy Franz <roy.franz@linaro.org>
Signed-off-by: Matt Fleming <matt.fleming@intel.com>
                *addr = max_addr;
        }
 
-free_pool:
        efi_call_phys1(sys_table_arg->boottime->free_pool, map);
 
 fail:
        if (i == map_size / desc_size)
                status = EFI_NOT_FOUND;
 
-free_pool:
        efi_call_phys1(sys_table_arg->boottime->free_pool, map);
 fail:
        return status;
 
                        if (*str == '/') {
                                *p++ = '\\';
-                               *str++;
+                               str++;
                        } else {
                                *p++ = *str++;
                        }