modules/dav/fs/lock.c:938: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 1):unsigned64 by call to `dav_fs_load_locknull_list`.

modules/dav/fs/lock.c:936:5: Unknown value from: __infer_skip
934. 
935.     /* ### should test this result value... */
936.     (void) dav_fs_dir_file_name(resource, &dirpath, &fname);
         ^
937. 
938.     if ((err = dav_fs_load_locknull_list(p, dirpath, &buf)) != NULL) {

modules/dav/fs/lock.c:938:16: Call
936.     (void) dav_fs_dir_file_name(resource, &dirpath, &fname);
937. 
938.     if ((err = dav_fs_load_locknull_list(p, dirpath, &buf)) != NULL) {
                    ^
939.         return dav_push_error(p, HTTP_INTERNAL_SERVER_ERROR, 0,
940.                               "Could not load .locknull file.", err);

modules/dav/fs/lock.c:745:1: <LHS trace>
743. **    for the given directory.
744. */
745. static dav_error * dav_fs_load_locknull_list(apr_pool_t *p, const char *dirpath,
     ^
746.                                              dav_buffer *pbuf)
747. {

modules/dav/fs/lock.c:745:1: Parameter `dirpath->strlen`
  743. **    for the given directory.
  744. */
  745. static dav_error * dav_fs_load_locknull_list(apr_pool_t *p, const char *dirpath,
       ^
  746.                                              dav_buffer *pbuf)
  747. {

modules/dav/fs/lock.c:754:5: Call
  752.     apr_status_t rv;
  753. 
  754.     dav_buffer_init(p, pbuf, dirpath);
           ^
  755. 
  756.     if (pbuf->buf[pbuf->cur_len - 1] == '/')

modules/dav/main/util.c:116:1: Parameter `str->strlen`
    114. 
    115. /* initialize a buffer and copy the specified (null-term'd) string into it */
    116. DAV_DECLARE(void) dav_buffer_init(apr_pool_t *p, dav_buffer *pbuf,
         ^
    117.                                   const char *str)
    118. {

modules/dav/main/util.c:119:5: Call
    117.                                   const char *str)
    118. {
    119.     dav_set_bufsize(p, pbuf, strlen(str));
             ^
    120.     memcpy(pbuf->buf, str, pbuf->cur_len + 1);
    121. }

modules/dav/main/util.c:94:1: Parameter `size`
      92. }
      93. 
      94. DAV_DECLARE(void) dav_set_bufsize(apr_pool_t * p, dav_buffer *pbuf,
          ^
      95.                                   apr_size_t size)
      96. {

modules/dav/main/util.c:111:5: Assignment
      109.         pbuf->buf = apr_palloc(p, pbuf->alloc_len);
      110.     }
      111.     pbuf->cur_len = size;
               ^
      112. }
      113. 

modules/dav/fs/lock.c:756:9: Binary operation: ([0, +oo] - 1):unsigned64 by call to `dav_fs_load_locknull_list` 
  754.     dav_buffer_init(p, pbuf, dirpath);
  755. 
  756.     if (pbuf->buf[pbuf->cur_len - 1] == '/')
               ^
  757.         pbuf->buf[--pbuf->cur_len] = '\0';
  758. 
