modules/dav/main/mod_dav.c:972: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 1):unsigned64 by call to `dav_validate_request`.

modules/dav/main/mod_dav.c:940:11: Call
938. 
939.     /* Ask repository module to resolve the resource */
940.     err = dav_get_resource(r, 0 /* label_allowed */, 0 /* use_checked_in */,
               ^
941.                            &resource);
942.     if (err != NULL)

modules/dav/main/mod_dav.c:727:1: Parameter `*(*res_p)->acls`
  725.  * identified by the Request-URI.
  726.  */
  727. static dav_error *dav_get_resource(request_rec *r, int label_allowed,
       ^
  728.                                    int use_checked_in, dav_resource **res_p)
  729. {

modules/dav/main/mod_dav.c:961:22: Call
959.     }
960. 
961.     resource_state = dav_get_resource_state(r, resource);
                          ^
962. 
963.     /*

modules/dav/main/util_lock.c:686:1: Parameter `resource->exists`
  684. **    Returns DAV_RESOURCE_ERROR if an error occurs.
  685. */
  686. DAV_DECLARE(int) dav_get_resource_state(request_rec *r,
       ^
  687.                                         const dav_resource *resource)
  688. {

modules/dav/main/mod_dav.c:972:16: Call
970.      * a locknull resource, then we check only the resource.
971.      */
972.     if ((err = dav_validate_request(r, resource, 0, NULL, &multi_response,
                    ^
973.                                     resource_state == DAV_RESOURCE_NULL ?
974.                                     DAV_VALIDATE_PARENT :

modules/dav/main/util.c:1494:1: Parameter `resource->uri->strlen`
  1492. ** error is necessary, response will point to it, else NULL.
  1493. */
  1494. DAV_DECLARE(dav_error *) dav_validate_request(request_rec *r,
        ^
  1495.                                               dav_resource *resource,
  1496.                                               int depth,

modules/dav/main/util.c:1627:15: Call
  1625.     }
  1626.     else {
  1627.         err = dav_validate_resource_state(r->pool, resource, lockdb,
                      ^
  1628.                                           if_header, flags, &work_buf, r);
  1629.     }

modules/dav/main/util.c:838:1: <LHS trace>
836.  *    Returns NULL if path/uri meets if-header and lock requirements
837.  */
838. static dav_error * dav_validate_resource_state(apr_pool_t *p,
     ^
839.                                                const dav_resource *resource,
840.                                                dav_lockdb *lockdb,

modules/dav/main/util.c:838:1: Parameter `resource->uri->strlen`
    836.  *    Returns NULL if path/uri meets if-header and lock requirements
    837.  */
    838. static dav_error * dav_validate_resource_state(apr_pool_t *p,
         ^
    839.                                                const dav_resource *resource,
    840.                                                dav_lockdb *lockdb,

modules/dav/main/util.c:1027:5: Assignment
    1025.     */
    1026.     uri = resource->uri;
    1027.     uri_len = strlen(uri);
              ^
    1028.     if (uri[uri_len - 1] == '/') {
    1029.         dav_set_bufsize(p, pbuf, uri_len);

modules/dav/main/util.c:1028:9: Binary operation: ([0, +oo] - 1):unsigned64 by call to `dav_validate_request` 
    1026.     uri = resource->uri;
    1027.     uri_len = strlen(uri);
    1028.     if (uri[uri_len - 1] == '/') {
                  ^
    1029.         dav_set_bufsize(p, pbuf, uri_len);
    1030.         memcpy(pbuf->buf, uri, uri_len);
