../src/shared/machine-image.c

Bug Summary

File:	build-scan/../src/shared/machine-image.c
Warning:	line 902, column 13 Potential leak of memory pointed to by 'j'
Annotated Source Code

Press '?' to see keyboard shortcuts
Show analyzer invocation
clang -cc1 -cc1 -triple x86_64-unknown-linux-gnu -analyze -disable-free -disable-llvm-verifier -discard-value-names -main-file-name machine-image.c -analyzer-store=region -analyzer-opt-analyze-nested-blocks -analyzer-checker=core -analyzer-checker=apiModeling -analyzer-checker=unix -analyzer-checker=deadcode -analyzer-checker=security.insecureAPI.UncheckedReturn -analyzer-checker=security.insecureAPI.getpw -analyzer-checker=security.insecureAPI.gets -analyzer-checker=security.insecureAPI.mktemp -analyzer-checker=security.insecureAPI.mkstemp -analyzer-checker=security.insecureAPI.vfork -analyzer-checker=nullability.NullPassedToNonnull -analyzer-checker=nullability.NullReturnedFromNonnull -analyzer-output plist -w -setup-static-analyzer -mrelocation-model pic -pic-level 2 -fhalf-no-semantic-interposition -mframe-pointer=all -relaxed-aliasing -menable-no-infs -menable-no-nans -menable-unsafe-fp-math -fno-signed-zeros -mreassociate -freciprocal-math -fdenormal-fp-math=preserve-sign,preserve-sign -ffp-contract=fast -fno-rounding-math -ffast-math -ffinite-math-only -mconstructor-aliases -munwind-tables -target-cpu x86-64 -tune-cpu generic -fno-split-dwarf-inlining -debugger-tuning=gdb -resource-dir /usr/lib64/clang/12.0.0 -include config.h -I src/shared/libsystemd-shared-239.a.p -I src/shared -I ../src/shared -I src/basic -I ../src/basic -I src/systemd -I ../src/systemd -I src/journal -I ../src/journal -I src/journal-remote -I ../src/journal-remote -I src/nspawn -I ../src/nspawn -I src/resolve -I ../src/resolve -I src/timesync -I ../src/timesync -I ../src/time-wait-sync -I src/login -I ../src/login -I src/udev -I ../src/udev -I src/libudev -I ../src/libudev -I src/core -I ../src/core -I ../src/libsystemd/sd-bus -I ../src/libsystemd/sd-device -I ../src/libsystemd/sd-hwdb -I ../src/libsystemd/sd-id128 -I ../src/libsystemd/sd-netlink -I ../src/libsystemd/sd-network -I src/libsystemd-network -I ../src/libsystemd-network -I . -I .. -I /usr/include/blkid -D _FILE_OFFSET_BITS=64 -internal-isystem /usr/local/include -internal-isystem /usr/lib64/clang/12.0.0/include -internal-externc-isystem /include -internal-externc-isystem /usr/include -Wwrite-strings -Wno-unused-parameter -Wno-missing-field-initializers -Wno-unused-result -Wno-format-signedness -Wno-error=nonnull -std=gnu99 -fconst-strings -fdebug-compilation-dir /home/mrc0mmand/repos/@redhat-plumbers/systemd-rhel8/build-scan -ferror-limit 19 -fvisibility default -stack-protector 2 -fgnuc-version=4.2.1 -fcolor-diagnostics -analyzer-output=html -faddrsig -o /tmp/scan-build-2021-07-16-221226-1465241-1 -x c ../src/shared/machine-image.c
1/* SPDX-License-Identifier: LGPL-2.1+ */

3#include <dirent.h>
4#include <errno(*__errno_location ()).h>
5#include <fcntl.h>
6#include <stdio.h>
7#include <stdlib.h>
8#include <string.h>
9#include <sys/file.h>
10#include <sys/stat.h>
11#include <unistd.h>
12#include <linux1/fs.h>

14#include "alloc-util.h"
15#include "btrfs-util.h"
16#include "chattr-util.h"
17#include "copy.h"
18#include "dirent-util.h"
19#include "dissect-image.h"
20#include "env-util.h"
21#include "fd-util.h"
22#include "fileio.h"
23#include "fs-util.h"
24#include "hashmap.h"
25#include "hostname-util.h"
26#include "id128-util.h"
27#include "lockfile-util.h"
28#include "log.h"
29#include "loop-util.h"
30#include "machine-image.h"
31#include "macro.h"
32#include "mkdir.h"
33#include "os-util.h"
34#include "path-util.h"
35#include "rm-rf.h"
36#include "string-table.h"
37#include "string-util.h"
38#include "strv.h"
39#include "time-util.h"
40#include "utf8.h"
41#include "util.h"
42#include "xattr-util.h"

44static const char* const image_search_path[_IMAGE_CLASS_MAX] = {
      [IMAGE_MACHINE] =  "/etc/machines\0"              /* only place symlinks here */
                         "/run/machines\0"              /* and here too */
                         "/var/lib/machines\0"          /* the main place for images */
                         "/var/lib/container\0"         /* legacy */
                         "/usr/local/lib/machines\0"
                         "/usr/lib/machines\0",

      [IMAGE_PORTABLE] = "/etc/portables\0"             /* only place symlinks here */
                         "/run/portables\0"             /* and here too */
                         "/var/lib/portables\0"         /* the main place for images */
                         "/usr/local/lib/portables\0"
                         "/usr/lib/portables\0",
57};

59Image *image_unref(Image *i) {
      if (!i)
              return NULL((void*)0);

      assert(i->n_ref > 0)do { if ((__builtin_expect(!!(!(i->n_ref > 0)),0))) log_assert_failed_realm
(LOG_REALM_SYSTEMD, ("i->n_ref > 0"), "../src/shared/machine-image.c"
, 63, __PRETTY_FUNCTION__); } while (0);
      i->n_ref--;

      if (i->n_ref > 0)
              return NULL((void*)0);

      free(i->name);
      free(i->path);

      free(i->hostname);
      strv_free(i->machine_info);
      strv_free(i->os_release);

      return mfree(i);
77}

79Image *image_ref(Image *i) {
      if (!i)
              return NULL((void*)0);

      assert(i->n_ref > 0)do { if ((__builtin_expect(!!(!(i->n_ref > 0)),0))) log_assert_failed_realm
(LOG_REALM_SYSTEMD, ("i->n_ref > 0"), "../src/shared/machine-image.c"
, 83, __PRETTY_FUNCTION__); } while (0);
      i->n_ref++;

      return i;
87}

89static char **image_settings_path(Image *image) {
      _cleanup_strv_free___attribute__((cleanup(strv_freep))) char **l = NULL((void*)0);
      const char *fn, *s;
      unsigned i = 0;

      assert(image)do { if ((__builtin_expect(!!(!(image)),0))) log_assert_failed_realm
(LOG_REALM_SYSTEMD, ("image"), "../src/shared/machine-image.c"
, 94, __PRETTY_FUNCTION__); } while (0);
6
←
Taking false branch→
7
←
Loop condition is false.  Exiting loop→

      l = new0(char*, 4)((char**) calloc((4), sizeof(char*)));
8
←
Memory is allocated→
      if (!l)
9
←
Assuming 'l' is non-null→
10
←
Taking false branch→
              return NULL((void*)0);

      fn = strjoina(image->name, ".nspawn")({ const char *_appendees_[] = { image->name, ".nspawn" };
 char *_d_, *_p_; size_t _len_ = 0; size_t _i_; for (_i_ = 0;
 _i_ < __extension__ (__builtin_choose_expr( !__builtin_types_compatible_p
(typeof(_appendees_), typeof(&*(_appendees_))), sizeof(_appendees_
)/sizeof((_appendees_)[0]), ((void)0))) && _appendees_
[_i_]; _i_++) _len_ += strlen(_appendees_[_i_]); _p_ = _d_ = __builtin_alloca
 (_len_ + 1); for (_i_ = 0; _i_ < __extension__ (__builtin_choose_expr
( !__builtin_types_compatible_p(typeof(_appendees_), typeof(&
*(_appendees_))), sizeof(_appendees_)/sizeof((_appendees_)[0]
), ((void)0))) && _appendees_[_i_]; _i_++) _p_ = stpcpy
(_p_, _appendees_[_i_]); *_p_ = 0; _d_; });
11
←
Loop condition is false. Execution continues on line 100→
12
←
Loop condition is false. Execution continues on line 100→

      FOREACH_STRING(s, "/etc/systemd/nspawn/", "/run/systemd/nspawn/")for (char **_l = ({ char **_ll = ((char**) ((const char*[]) {
 "/etc/systemd/nspawn/", "/run/systemd/nspawn/", ((void*)0) }
)); s = _ll ? _ll[0] : ((void*)0); _ll; }); _l && *_l
; s = ({ _l ++; _l[0]; })) {
13
←
'?' condition is true→
14
←
Loop condition is true.  Entering loop body→
17
←
Loop condition is true.  Entering loop body→
20
←
Loop condition is false. Execution continues on line 110→
              l[i] = strappend(s, fn);
              if (!l[i])
15
←
Assuming the condition is false→
16
←
Taking false branch→
18
←
Assuming the condition is false→
19
←
Taking false branch→
                      return NULL((void*)0);

              i++;
      }

      l[i] = file_in_same_dir(image->path, fn);
      if (!l[i])
21
←
Assuming the condition is false→
22
←
Taking false branch→
              return NULL((void*)0);

      return TAKE_PTR(l)({ typeof(l) _ptr_ = (l); (l) = ((void*)0); _ptr_; });
115}

117static char *image_roothash_path(Image *image) {
      const char *fn;

      assert(image)do { if ((__builtin_expect(!!(!(image)),0))) log_assert_failed_realm
(LOG_REALM_SYSTEMD, ("image"), "../src/shared/machine-image.c"
, 120, __PRETTY_FUNCTION__); } while (0);

      fn = strjoina(image->name, ".roothash")({ const char *_appendees_[] = { image->name, ".roothash" }
; char *_d_, *_p_; size_t _len_ = 0; size_t _i_; for (_i_ = 0
; _i_ < __extension__ (__builtin_choose_expr( !__builtin_types_compatible_p
(typeof(_appendees_), typeof(&*(_appendees_))), sizeof(_appendees_
)/sizeof((_appendees_)[0]), ((void)0))) && _appendees_
[_i_]; _i_++) _len_ += strlen(_appendees_[_i_]); _p_ = _d_ = __builtin_alloca
 (_len_ + 1); for (_i_ = 0; _i_ < __extension__ (__builtin_choose_expr
( !__builtin_types_compatible_p(typeof(_appendees_), typeof(&
*(_appendees_))), sizeof(_appendees_)/sizeof((_appendees_)[0]
), ((void)0))) && _appendees_[_i_]; _i_++) _p_ = stpcpy
(_p_, _appendees_[_i_]); *_p_ = 0; _d_; });

      return file_in_same_dir(image->path, fn);
125}

127static int image_new(
              ImageType t,
              const char *pretty,
              const char *path,
              const char *filename,
              bool_Bool read_only,
              usec_t crtime,
              usec_t mtime,
              Image **ret) {

      _cleanup_(image_unrefp)__attribute__((cleanup(image_unrefp))) Image *i = NULL((void*)0);

      assert(t >= 0)do { if ((__builtin_expect(!!(!(t >= 0)),0))) log_assert_failed_realm
(LOG_REALM_SYSTEMD, ("t >= 0"), "../src/shared/machine-image.c"
, 139, __PRETTY_FUNCTION__); } while (0);
      assert(t < _IMAGE_TYPE_MAX)do { if ((__builtin_expect(!!(!(t < _IMAGE_TYPE_MAX)),0)))
 log_assert_failed_realm(LOG_REALM_SYSTEMD, ("t < _IMAGE_TYPE_MAX"
), "../src/shared/machine-image.c", 140, __PRETTY_FUNCTION__)
; } while (0);
      assert(pretty)do { if ((__builtin_expect(!!(!(pretty)),0))) log_assert_failed_realm
(LOG_REALM_SYSTEMD, ("pretty"), "../src/shared/machine-image.c"
, 141, __PRETTY_FUNCTION__); } while (0);
      assert(filename)do { if ((__builtin_expect(!!(!(filename)),0))) log_assert_failed_realm
(LOG_REALM_SYSTEMD, ("filename"), "../src/shared/machine-image.c"
, 142, __PRETTY_FUNCTION__); } while (0);
      assert(ret)do { if ((__builtin_expect(!!(!(ret)),0))) log_assert_failed_realm
(LOG_REALM_SYSTEMD, ("ret"), "../src/shared/machine-image.c",
 143, __PRETTY_FUNCTION__); } while (0);

      i = new0(Image, 1)((Image*) calloc((1), sizeof(Image)));
      if (!i)
              return -ENOMEM12;

      i->n_ref = 1;
      i->type = t;
      i->read_only = read_only;
      i->crtime = crtime;
      i->mtime = mtime;
      i->usage = i->usage_exclusive = (uint64_t) -1;
      i->limit = i->limit_exclusive = (uint64_t) -1;

      i->name = strdup(pretty);
      if (!i->name)
              return -ENOMEM12;

      if (path)
              i->path = strjoin(path, "/", filename)strjoin_real((path), "/", filename, ((void*)0));
      else
              i->path = strdup(filename);
      if (!i->path)
              return -ENOMEM12;

      path_simplify(i->path, false0);

      *ret = TAKE_PTR(i)({ typeof(i) _ptr_ = (i); (i) = ((void*)0); _ptr_; });

      return 0;
173}

175static int extract_pretty(const char *path, const char *suffix, char **ret) {
      _cleanup_free___attribute__((cleanup(freep))) char *name = NULL((void*)0);
      const char *p;
      size_t n;

      assert(path)do { if ((__builtin_expect(!!(!(path)),0))) log_assert_failed_realm
(LOG_REALM_SYSTEMD, ("path"), "../src/shared/machine-image.c"
, 180, __PRETTY_FUNCTION__); } while (0);
      assert(ret)do { if ((__builtin_expect(!!(!(ret)),0))) log_assert_failed_realm
(LOG_REALM_SYSTEMD, ("ret"), "../src/shared/machine-image.c",
 181, __PRETTY_FUNCTION__); } while (0);

      p = last_path_component(path);
      n = strcspn(p, "/");

      name = strndup(p, n);
      if (!name)
              return -ENOMEM12;

      if (suffix) {
              char *e;

              e = endswith(name, suffix);
              if (!e)
                      return -EINVAL22;

              *e = 0;
      }

      if (!image_name_is_valid(name))
              return -EINVAL22;

      *ret = TAKE_PTR(name)({ typeof(name) _ptr_ = (name); (name) = ((void*)0); _ptr_; }
);
      return 0;
205}

207static int image_make(
              const char *pretty,
              int dfd,
              const char *path,
              const char *filename,
              const struct stat *st,
              Image **ret) {

      _cleanup_free___attribute__((cleanup(freep))) char *pretty_buffer = NULL((void*)0);
      struct stat stbuf;
      bool_Bool read_only;
      int r;

      assert(dfd >= 0 || dfd == AT_FDCWD)do { if ((__builtin_expect(!!(!(dfd >= 0 || dfd == -100)),
0))) log_assert_failed_realm(LOG_REALM_SYSTEMD, ("dfd >= 0 || dfd == AT_FDCWD"
), "../src/shared/machine-image.c", 220, __PRETTY_FUNCTION__)
; } while (0);
      assert(filename)do { if ((__builtin_expect(!!(!(filename)),0))) log_assert_failed_realm
(LOG_REALM_SYSTEMD, ("filename"), "../src/shared/machine-image.c"
, 221, __PRETTY_FUNCTION__); } while (0);

      /* We explicitly *do* follow symlinks here, since we want to allow symlinking trees, raw files and block
       * devices into /var/lib/machines/, and treat them normally.
       *
       * This function returns -ENOENT if we can't find the image after all, and -EMEDIUMTYPE if it's not a file we
       * recognize. */

      if (!st) {
              if (fstatat(dfd, filename, &stbuf, 0) < 0)
                      return -errno(*__errno_location ());

              st = &stbuf;
      }

      read_only =
              (path && path_startswith(path, "/usr")) ||
              (faccessat(dfd, filename, W_OK2, AT_EACCESS0x200) < 0 && errno(*__errno_location ()) == EROFS30);

      if (S_ISDIR(st->st_mode)((((st->st_mode)) & 0170000) == (0040000))) {
              _cleanup_close___attribute__((cleanup(closep))) int fd = -1;
              unsigned file_attr = 0;

              if (!ret)
                      return 0;

              if (!pretty) {
                      r = extract_pretty(filename, NULL((void*)0), &pretty_buffer);
                      if (r < 0)
                              return r;

                      pretty = pretty_buffer;
              }

              fd = openat(dfd, filename, O_CLOEXEC02000000|O_NOCTTY0400|O_DIRECTORY0200000);
              if (fd < 0)
                      return -errno(*__errno_location ());

              /* btrfs subvolumes have inode 256 */
              if (st->st_ino == 256) {

                      r = btrfs_is_filesystem(fd);
                      if (r < 0)
                              return r;
                      if (r) {
                              BtrfsSubvolInfo info;

                              /* It's a btrfs subvolume */

                              r = btrfs_subvol_get_info_fd(fd, 0, &info);
                              if (r < 0)
                                      return r;

                              r = image_new(IMAGE_SUBVOLUME,
                                            pretty,
                                            path,
                                            filename,
                                            info.read_only || read_only,
                                            info.otime,
                                            0,
                                            ret);
                              if (r < 0)
                                      return r;

                              if (btrfs_quota_scan_ongoing(fd) == 0) {
                                      BtrfsQuotaInfo quota;

                                      r = btrfs_subvol_get_subtree_quota_fd(fd, 0, &quota);
                                      if (r >= 0) {
                                              (*ret)->usage = quota.referenced;
                                              (*ret)->usage_exclusive = quota.exclusive;

                                              (*ret)->limit = quota.referenced_max;
                                              (*ret)->limit_exclusive = quota.exclusive_max;
                                      }
                              }

                              return 0;
                      }
              }

              /* If the IMMUTABLE bit is set, we consider the
               * directory read-only. Since the ioctl is not
               * supported everywhere we ignore failures. */
              (void) read_attr_fd(fd, &file_attr);

              /* It's just a normal directory. */
              r = image_new(IMAGE_DIRECTORY,
                            pretty,
                            path,
                            filename,
                            read_only || (file_attr & FS_IMMUTABLE_FL0x00000010),
                            0,
                            0,
                            ret);
              if (r < 0)
                      return r;

              return 0;

      } else if (S_ISREG(st->st_mode)((((st->st_mode)) & 0170000) == (0100000)) && endswith(filename, ".raw")) {
              usec_t crtime = 0;

              /* It's a RAW disk image */

              if (!ret)
                      return 0;

              (void) fd_getcrtime_at(dfd, filename, &crtime, 0);

              if (!pretty) {
                      r = extract_pretty(filename, ".raw", &pretty_buffer);
                      if (r < 0)
                              return r;

                      pretty = pretty_buffer;
              }

              r = image_new(IMAGE_RAW,
                            pretty,
                            path,
                            filename,
                            !(st->st_mode & 0222) || read_only,
                            crtime,
                            timespec_load(&st->st_mtim),
                            ret);
              if (r < 0)
                      return r;

              (*ret)->usage = (*ret)->usage_exclusive = st->st_blocks * 512;
              (*ret)->limit = (*ret)->limit_exclusive = st->st_size;

              return 0;

      } else if (S_ISBLK(st->st_mode)((((st->st_mode)) & 0170000) == (0060000))) {
              _cleanup_close___attribute__((cleanup(closep))) int block_fd = -1;
              uint64_t size = UINT64_MAX(18446744073709551615UL);

              /* A block device */

              if (!ret)
                      return 0;

              if (!pretty) {
                      r = extract_pretty(filename, NULL((void*)0), &pretty_buffer);
                      if (r < 0)
                              return r;

                      pretty = pretty_buffer;
              }

              block_fd = openat(dfd, filename, O_RDONLY00|O_NONBLOCK04000|O_CLOEXEC02000000|O_NOCTTY0400);
              if (block_fd < 0)
                      log_debug_errno(errno, "Failed to open block device %s/%s, ignoring: %m", path, filename)({ int _level = ((7)), _e = (((*__errno_location ()))), _realm
 = (LOG_REALM_SYSTEMD); (log_get_max_level_realm(_realm) >=
 ((_level) & 0x07)) ? log_internal_realm(((_realm) <<
| (_level)), _e, "../src/shared/machine-image.c", 374, __func__
, "Failed to open block device %s/%s, ignoring: %m", path, filename
) : -abs(_e); });
              else {
                      /* Refresh stat data after opening the node */
                      if (fstat(block_fd, &stbuf) < 0)
                              return -errno(*__errno_location ());
                      st = &stbuf;

                      if (!S_ISBLK(st->st_mode)((((st->st_mode)) & 0170000) == (0060000))) /* Verify that what we opened is actually what we think it is */
                              return -ENOTTY25;

                      if (!read_only) {
                              int state = 0;

                              if (ioctl(block_fd, BLKROGET(((0U) << (((0 +8)+8)+14)) | (((0x12)) << (0 +8))
 | (((94)) << 0) | ((0) << ((0 +8)+8))), &state) < 0)
                                      log_debug_errno(errno, "Failed to issue BLKROGET on device %s/%s, ignoring: %m", path, filename)({ int _level = ((7)), _e = (((*__errno_location ()))), _realm
 = (LOG_REALM_SYSTEMD); (log_get_max_level_realm(_realm) >=
 ((_level) & 0x07)) ? log_internal_realm(((_realm) <<
| (_level)), _e, "../src/shared/machine-image.c", 388, __func__
, "Failed to issue BLKROGET on device %s/%s, ignoring: %m", path
, filename) : -abs(_e); });
                              else if (state)
                                      read_only = true1;
                      }

                      if (ioctl(block_fd, BLKGETSIZE64(((2U) << (((0 +8)+8)+14)) | (((0x12)) << (0 +8))
 | (((114)) << 0) | ((((sizeof(size_t)))) << ((0 +
8)+8))), &size) < 0)
                              log_debug_errno(errno, "Failed to issue BLKGETSIZE64 on device %s/%s, ignoring: %m", path, filename)({ int _level = ((7)), _e = (((*__errno_location ()))), _realm
 = (LOG_REALM_SYSTEMD); (log_get_max_level_realm(_realm) >=
 ((_level) & 0x07)) ? log_internal_realm(((_realm) <<
| (_level)), _e, "../src/shared/machine-image.c", 394, __func__
, "Failed to issue BLKGETSIZE64 on device %s/%s, ignoring: %m"
, path, filename) : -abs(_e); });

                      block_fd = safe_close(block_fd);
              }

              r = image_new(IMAGE_BLOCK,
                            pretty,
                            path,
                            filename,
                            !(st->st_mode & 0222) || read_only,
                            0,
                            0,
                            ret);
              if (r < 0)
                      return r;

              if (size != 0 && size != UINT64_MAX(18446744073709551615UL))
                      (*ret)->usage = (*ret)->usage_exclusive = (*ret)->limit = (*ret)->limit_exclusive = size;

              return 0;
      }

      return -EMEDIUMTYPE124;
417}

419int image_find(ImageClass class, const char *name, Image **ret) {
      const char *path;
      int r;

      assert(class >= 0)do { if ((__builtin_expect(!!(!(class >= 0)),0))) log_assert_failed_realm
(LOG_REALM_SYSTEMD, ("class >= 0"), "../src/shared/machine-image.c"
, 423, __PRETTY_FUNCTION__); } while (0);
      assert(class < _IMAGE_CLASS_MAX)do { if ((__builtin_expect(!!(!(class < _IMAGE_CLASS_MAX))
,0))) log_assert_failed_realm(LOG_REALM_SYSTEMD, ("class < _IMAGE_CLASS_MAX"
), "../src/shared/machine-image.c", 424, __PRETTY_FUNCTION__)
; } while (0);
      assert(name)do { if ((__builtin_expect(!!(!(name)),0))) log_assert_failed_realm
(LOG_REALM_SYSTEMD, ("name"), "../src/shared/machine-image.c"
, 425, __PRETTY_FUNCTION__); } while (0);

      /* There are no images with invalid names */
      if (!image_name_is_valid(name))
              return -ENOENT2;

      NULSTR_FOREACH(path, image_search_path[class])for ((path) = (image_search_path[class]); (path) && *
(path); (path) = strchr((path), 0)+1) {
              _cleanup_closedir___attribute__((cleanup(closedirp))) DIR *d = NULL((void*)0);
              struct stat st;

              d = opendir(path);
              if (!d) {
                      if (errno(*__errno_location ()) == ENOENT2)
                              continue;

                      return -errno(*__errno_location ());
              }

              /* As mentioned above, we follow symlinks on this fstatat(), because we want to permit people to
               * symlink block devices into the search path */
              if (fstatat(dirfd(d), name, &st, 0) < 0) {
                      _cleanup_free___attribute__((cleanup(freep))) char *raw = NULL((void*)0);

                      if (errno(*__errno_location ()) != ENOENT2)
                              return -errno(*__errno_location ());

                      raw = strappend(name, ".raw");
                      if (!raw)
                              return -ENOMEM12;

                      if (fstatat(dirfd(d), raw, &st, 0) < 0) {

                              if (errno(*__errno_location ()) == ENOENT2)
                                      continue;

                              return -errno(*__errno_location ());
                      }

                      if (!S_ISREG(st.st_mode)((((st.st_mode)) & 0170000) == (0100000)))
                              continue;

                      r = image_make(name, dirfd(d), path, raw, &st, ret);

              } else {
                      if (!S_ISDIR(st.st_mode)((((st.st_mode)) & 0170000) == (0040000)) && !S_ISBLK(st.st_mode)((((st.st_mode)) & 0170000) == (0060000)))
                              continue;

                      r = image_make(name, dirfd(d), path, name, &st, ret);
              }
              if (IN_SET(r, -ENOENT, -EMEDIUMTYPE)({ _Bool _found = 0; static __attribute__ ((unused)) char _static_assert__macros_need_to_be_extended
[20 - sizeof((int[]){-2, -124})/sizeof(int)]; switch(r) { case
 -2: case -124: _found = 1; break; default: break; } _found; }
))
                      continue;
              if (r < 0)
                      return r;

              if (ret)
                      (*ret)->discoverable = true1;

              return 1;
      }

      if (class == IMAGE_MACHINE && streq(name, ".host")(strcmp((name),(".host")) == 0)) {
              r = image_make(".host", AT_FDCWD-100, NULL((void*)0), "/", NULL((void*)0), ret);
              if (r < 0)
                      return r;

              if (ret)
                      (*ret)->discoverable = true1;

              return r;
      }

      return -ENOENT2;
497};

499int image_from_path(const char *path, Image **ret) {

      /* Note that we don't set the 'discoverable' field of the returned object, because we don't check here whether
       * the image is in the image search path. And if it is we don't know if the path we used is actually not
       * overridden by another, different image earlier in the search path */

      if (path_equal(path, "/"))
              return image_make(".host", AT_FDCWD-100, NULL((void*)0), "/", NULL((void*)0), ret);

      return image_make(NULL((void*)0), AT_FDCWD-100, NULL((void*)0), path, NULL((void*)0), ret);
509}

511int image_find_harder(ImageClass class, const char *name_or_path, Image **ret) {
      if (image_name_is_valid(name_or_path))
              return image_find(class, name_or_path, ret);

      return image_from_path(name_or_path, ret);
516}

518int image_discover(ImageClass class, Hashmap *h) {
      const char *path;
      int r;

      assert(class >= 0)do { if ((__builtin_expect(!!(!(class >= 0)),0))) log_assert_failed_realm
(LOG_REALM_SYSTEMD, ("class >= 0"), "../src/shared/machine-image.c"
, 522, __PRETTY_FUNCTION__); } while (0);
      assert(class < _IMAGE_CLASS_MAX)do { if ((__builtin_expect(!!(!(class < _IMAGE_CLASS_MAX))
,0))) log_assert_failed_realm(LOG_REALM_SYSTEMD, ("class < _IMAGE_CLASS_MAX"
), "../src/shared/machine-image.c", 523, __PRETTY_FUNCTION__)
; } while (0);
      assert(h)do { if ((__builtin_expect(!!(!(h)),0))) log_assert_failed_realm
(LOG_REALM_SYSTEMD, ("h"), "../src/shared/machine-image.c", 524
, __PRETTY_FUNCTION__); } while (0);

      NULSTR_FOREACH(path, image_search_path[class])for ((path) = (image_search_path[class]); (path) && *
(path); (path) = strchr((path), 0)+1) {
              _cleanup_closedir___attribute__((cleanup(closedirp))) DIR *d = NULL((void*)0);
              struct dirent *de;

              d = opendir(path);
              if (!d) {
                      if (errno(*__errno_location ()) == ENOENT2)
                              continue;

                      return -errno(*__errno_location ());
              }

              FOREACH_DIRENT_ALL(de, d, return -errno)for ((*__errno_location ()) = 0, de = readdir(d);; (*__errno_location
 ()) = 0, de = readdir(d)) if (!de) { if ((*__errno_location (
)) > 0) { return -(*__errno_location ()); } break; } else {
                      _cleanup_(image_unrefp)__attribute__((cleanup(image_unrefp))) Image *image = NULL((void*)0);
                      _cleanup_free___attribute__((cleanup(freep))) char *truncated = NULL((void*)0);
                      const char *pretty;
                      struct stat st;

                      if (dot_or_dot_dot(de->d_name))
                              continue;

                      /* As mentioned above, we follow symlinks on this fstatat(), because we want to permit people
                       * to symlink block devices into the search path */
                      if (fstatat(dirfd(d), de->d_name, &st, 0) < 0) {
                              if (errno(*__errno_location ()) == ENOENT2)
                                      continue;

                              return -errno(*__errno_location ());
                      }

                      if (S_ISREG(st.st_mode)((((st.st_mode)) & 0170000) == (0100000))) {
                              const char *e;

                              e = endswith(de->d_name, ".raw");
                              if (!e)
                                      continue;

                              truncated = strndup(de->d_name, e - de->d_name);
                              if (!truncated)
                                      return -ENOMEM12;

                              pretty = truncated;
                      } else if (S_ISDIR(st.st_mode)((((st.st_mode)) & 0170000) == (0040000)) || S_ISBLK(st.st_mode)((((st.st_mode)) & 0170000) == (0060000)))
                              pretty = de->d_name;
                      else
                              continue;

                      if (!image_name_is_valid(pretty))
                              continue;

                      if (hashmap_contains(h, pretty))
                              continue;

                      r = image_make(pretty, dirfd(d), path, de->d_name, &st, &image);
                      if (IN_SET(r, -ENOENT, -EMEDIUMTYPE)({ _Bool _found = 0; static __attribute__ ((unused)) char _static_assert__macros_need_to_be_extended
[20 - sizeof((int[]){-2, -124})/sizeof(int)]; switch(r) { case
 -2: case -124: _found = 1; break; default: break; } _found; }
))
                              continue;
                      if (r < 0)
                              return r;

                      image->discoverable = true1;

                      r = hashmap_put(h, image->name, image);
                      if (r < 0)
                              return r;

                      image = NULL((void*)0);
              }
      }

      if (class == IMAGE_MACHINE && !hashmap_contains(h, ".host")) {
              _cleanup_(image_unrefp)__attribute__((cleanup(image_unrefp))) Image *image = NULL((void*)0);

              r = image_make(".host", AT_FDCWD-100, NULL((void*)0), "/", NULL((void*)0), &image);
              if (r < 0)
                      return r;

              image->discoverable = true1;

              r = hashmap_put(h, image->name, image);
              if (r < 0)
                      return r;

              image = NULL((void*)0);
      }

      return 0;
612}

614int image_remove(Image *i) {
      _cleanup_(release_lock_file)__attribute__((cleanup(release_lock_file))) LockFile global_lock = LOCK_FILE_INIT{ .fd = -1, .path = ((void*)0) }, local_lock = LOCK_FILE_INIT{ .fd = -1, .path = ((void*)0) };
      _cleanup_strv_free___attribute__((cleanup(strv_freep))) char **settings = NULL((void*)0);
      _cleanup_free___attribute__((cleanup(freep))) char *roothash = NULL((void*)0);
      char **j;
      int r;

      assert(i)do { if ((__builtin_expect(!!(!(i)),0))) log_assert_failed_realm
(LOG_REALM_SYSTEMD, ("i"), "../src/shared/machine-image.c", 621
, __PRETTY_FUNCTION__); } while (0);

      if (IMAGE_IS_VENDOR(i) || IMAGE_IS_HOST(i))
              return -EROFS30;

      settings = image_settings_path(i);
      if (!settings)
              return -ENOMEM12;

      roothash = image_roothash_path(i);
      if (!roothash)
              return -ENOMEM12;

      /* Make sure we don't interfere with a running nspawn */
      r = image_path_lock(i->path, LOCK_EX2|LOCK_NB4, &global_lock, &local_lock);
      if (r < 0)
              return r;

      switch (i->type) {

      case IMAGE_SUBVOLUME:

              /* Let's unlink first, maybe it is a symlink? If that works we are happy. Otherwise, let's get out the
               * big guns */
              if (unlink(i->path) < 0) {
                      r = btrfs_subvol_remove(i->path, BTRFS_REMOVE_RECURSIVE|BTRFS_REMOVE_QUOTA);
                      if (r < 0)
                              return r;
              }

              break;

      case IMAGE_DIRECTORY:
              /* Allow deletion of read-only directories */
              (void) chattr_path(i->path, 0, FS_IMMUTABLE_FL0x00000010);
              r = rm_rf(i->path, REMOVE_ROOT|REMOVE_PHYSICAL|REMOVE_SUBVOLUME);
              if (r < 0)
                      return r;

              break;

      case IMAGE_BLOCK:

              /* If this is inside of /dev, then it's a real block device, hence let's not touch the device node
               * itself (but let's remove the stuff stored alongside it). If it's anywhere else, let's try to unlink
               * the thing (it's most likely a symlink after all). */

              if (path_startswith(i->path, "/dev"))
                      break;

              _fallthrough_;
      case IMAGE_RAW:
              if (unlink(i->path) < 0)
                      return -errno(*__errno_location ());
              break;

      default:
              return -EOPNOTSUPP95;
      }

      STRV_FOREACH(j, settings)for ((j) = (settings); (j) && *(j); (j)++) {
              if (unlink(*j) < 0 && errno(*__errno_location ()) != ENOENT2)
                      log_debug_errno(errno, "Failed to unlink %s, ignoring: %m", *j)({ int _level = ((7)), _e = (((*__errno_location ()))), _realm
 = (LOG_REALM_SYSTEMD); (log_get_max_level_realm(_realm) >=
 ((_level) & 0x07)) ? log_internal_realm(((_realm) <<
| (_level)), _e, "../src/shared/machine-image.c", 683, __func__
, "Failed to unlink %s, ignoring: %m", *j) : -abs(_e); });
      }

      if (unlink(roothash) < 0 && errno(*__errno_location ()) != ENOENT2)
              log_debug_errno(errno, "Failed to unlink %s, ignoring: %m", roothash)({ int _level = ((7)), _e = (((*__errno_location ()))), _realm
 = (LOG_REALM_SYSTEMD); (log_get_max_level_realm(_realm) >=
 ((_level) & 0x07)) ? log_internal_realm(((_realm) <<
| (_level)), _e, "../src/shared/machine-image.c", 687, __func__
, "Failed to unlink %s, ignoring: %m", roothash) : -abs(_e); }
);

      return 0;
690}

692static int rename_auxiliary_file(const char *path, const char *new_name, const char *suffix) {
      _cleanup_free___attribute__((cleanup(freep))) char *rs = NULL((void*)0);
      const char *fn;

      fn = strjoina(new_name, suffix)({ const char *_appendees_[] = { new_name, suffix }; char *_d_
, *_p_; size_t _len_ = 0; size_t _i_; for (_i_ = 0; _i_ < __extension__
 (__builtin_choose_expr( !__builtin_types_compatible_p(typeof
(_appendees_), typeof(&*(_appendees_))), sizeof(_appendees_
)/sizeof((_appendees_)[0]), ((void)0))) && _appendees_
[_i_]; _i_++) _len_ += strlen(_appendees_[_i_]); _p_ = _d_ = __builtin_alloca
 (_len_ + 1); for (_i_ = 0; _i_ < __extension__ (__builtin_choose_expr
( !__builtin_types_compatible_p(typeof(_appendees_), typeof(&
*(_appendees_))), sizeof(_appendees_)/sizeof((_appendees_)[0]
), ((void)0))) && _appendees_[_i_]; _i_++) _p_ = stpcpy
(_p_, _appendees_[_i_]); *_p_ = 0; _d_; });

      rs = file_in_same_dir(path, fn);
      if (!rs)
              return -ENOMEM12;

      return rename_noreplace(AT_FDCWD-100, path, AT_FDCWD-100, rs);
703}

705int image_rename(Image *i, const char *new_name) {
      _cleanup_(release_lock_file)__attribute__((cleanup(release_lock_file))) LockFile global_lock = LOCK_FILE_INIT{ .fd = -1, .path = ((void*)0) }, local_lock = LOCK_FILE_INIT{ .fd = -1, .path = ((void*)0) }, name_lock = LOCK_FILE_INIT{ .fd = -1, .path = ((void*)0) };
      _cleanup_free___attribute__((cleanup(freep))) char *new_path = NULL((void*)0), *nn = NULL((void*)0), *roothash = NULL((void*)0);
      _cleanup_strv_free___attribute__((cleanup(strv_freep))) char **settings = NULL((void*)0);
      unsigned file_attr = 0;
      char **j;
      int r;

      assert(i)do { if ((__builtin_expect(!!(!(i)),0))) log_assert_failed_realm
(LOG_REALM_SYSTEMD, ("i"), "../src/shared/machine-image.c", 713
, __PRETTY_FUNCTION__); } while (0);

      if (!image_name_is_valid(new_name))
              return -EINVAL22;

      if (IMAGE_IS_VENDOR(i) || IMAGE_IS_HOST(i))
              return -EROFS30;

      settings = image_settings_path(i);
      if (!settings)
              return -ENOMEM12;

      roothash = image_roothash_path(i);
      if (!roothash)
              return -ENOMEM12;

      /* Make sure we don't interfere with a running nspawn */
      r = image_path_lock(i->path, LOCK_EX2|LOCK_NB4, &global_lock, &local_lock);
      if (r < 0)
              return r;

      /* Make sure nobody takes the new name, between the time we
       * checked it is currently unused in all search paths, and the
       * time we take possession of it */
      r = image_name_lock(new_name, LOCK_EX2|LOCK_NB4, &name_lock);
      if (r < 0)
              return r;

      r = image_find(IMAGE_MACHINE, new_name, NULL((void*)0));
      if (r >= 0)
              return -EEXIST17;
      if (r != -ENOENT2)
              return r;

      switch (i->type) {

      case IMAGE_DIRECTORY:
              /* Turn of the immutable bit while we rename the image, so that we can rename it */
              (void) read_attr_path(i->path, &file_attr);

              if (file_attr & FS_IMMUTABLE_FL0x00000010)
                      (void) chattr_path(i->path, 0, FS_IMMUTABLE_FL0x00000010);

              _fallthrough_;
      case IMAGE_SUBVOLUME:
              new_path = file_in_same_dir(i->path, new_name);
              break;

      case IMAGE_BLOCK:

              /* Refuse renaming raw block devices in /dev, the names are picked by udev after all. */
              if (path_startswith(i->path, "/dev"))
                      return -EROFS30;

              new_path = file_in_same_dir(i->path, new_name);
              break;

      case IMAGE_RAW: {
              const char *fn;

              fn = strjoina(new_name, ".raw")({ const char *_appendees_[] = { new_name, ".raw" }; char *_d_
, *_p_; size_t _len_ = 0; size_t _i_; for (_i_ = 0; _i_ < __extension__
 (__builtin_choose_expr( !__builtin_types_compatible_p(typeof
(_appendees_), typeof(&*(_appendees_))), sizeof(_appendees_
)/sizeof((_appendees_)[0]), ((void)0))) && _appendees_
[_i_]; _i_++) _len_ += strlen(_appendees_[_i_]); _p_ = _d_ = __builtin_alloca
 (_len_ + 1); for (_i_ = 0; _i_ < __extension__ (__builtin_choose_expr
( !__builtin_types_compatible_p(typeof(_appendees_), typeof(&
*(_appendees_))), sizeof(_appendees_)/sizeof((_appendees_)[0]
), ((void)0))) && _appendees_[_i_]; _i_++) _p_ = stpcpy
(_p_, _appendees_[_i_]); *_p_ = 0; _d_; });
              new_path = file_in_same_dir(i->path, fn);
              break;
      }

      default:
              return -EOPNOTSUPP95;
      }

      if (!new_path)
              return -ENOMEM12;

      nn = strdup(new_name);
      if (!nn)
              return -ENOMEM12;

      r = rename_noreplace(AT_FDCWD-100, i->path, AT_FDCWD-100, new_path);
      if (r < 0)
              return r;

      /* Restore the immutable bit, if it was set before */
      if (file_attr & FS_IMMUTABLE_FL0x00000010)
              (void) chattr_path(new_path, FS_IMMUTABLE_FL0x00000010, FS_IMMUTABLE_FL0x00000010);

      free_and_replace(i->path, new_path)({ free(i->path); (i->path) = (new_path); (new_path) = (
(void*)0); 0; });
      free_and_replace(i->name, nn)({ free(i->name); (i->name) = (nn); (nn) = ((void*)0); 0
; });

      STRV_FOREACH(j, settings)for ((j) = (settings); (j) && *(j); (j)++) {
              r = rename_auxiliary_file(*j, new_name, ".nspawn");
              if (r < 0 && r != -ENOENT2)
                      log_debug_errno(r, "Failed to rename settings file %s, ignoring: %m", *j)({ int _level = ((7)), _e = ((r)), _realm = (LOG_REALM_SYSTEMD
); (log_get_max_level_realm(_realm) >= ((_level) & 0x07
)) ? log_internal_realm(((_realm) << 10 | (_level)), _e
, "../src/shared/machine-image.c", 803, __func__, "Failed to rename settings file %s, ignoring: %m"
, *j) : -abs(_e); });
      }

      r = rename_auxiliary_file(roothash, new_name, ".roothash");
      if (r < 0 && r != -ENOENT2)
              log_debug_errno(r, "Failed to rename roothash file %s, ignoring: %m", roothash)({ int _level = ((7)), _e = ((r)), _realm = (LOG_REALM_SYSTEMD
); (log_get_max_level_realm(_realm) >= ((_level) & 0x07
)) ? log_internal_realm(((_realm) << 10 | (_level)), _e
, "../src/shared/machine-image.c", 808, __func__, "Failed to rename roothash file %s, ignoring: %m"
, roothash) : -abs(_e); });

      return 0;
811}

813static int clone_auxiliary_file(const char *path, const char *new_name, const char *suffix) {
      _cleanup_free___attribute__((cleanup(freep))) char *rs = NULL((void*)0);
      const char *fn;

      fn = strjoina(new_name, suffix)({ const char *_appendees_[] = { new_name, suffix }; char *_d_
, *_p_; size_t _len_ = 0; size_t _i_; for (_i_ = 0; _i_ < __extension__
 (__builtin_choose_expr( !__builtin_types_compatible_p(typeof
(_appendees_), typeof(&*(_appendees_))), sizeof(_appendees_
)/sizeof((_appendees_)[0]), ((void)0))) && _appendees_
[_i_]; _i_++) _len_ += strlen(_appendees_[_i_]); _p_ = _d_ = __builtin_alloca
 (_len_ + 1); for (_i_ = 0; _i_ < __extension__ (__builtin_choose_expr
( !__builtin_types_compatible_p(typeof(_appendees_), typeof(&
*(_appendees_))), sizeof(_appendees_)/sizeof((_appendees_)[0]
), ((void)0))) && _appendees_[_i_]; _i_++) _p_ = stpcpy
(_p_, _appendees_[_i_]); *_p_ = 0; _d_; });

      rs = file_in_same_dir(path, fn);
      if (!rs)
              return -ENOMEM12;

      return copy_file_atomic(path, rs, 0664, 0, COPY_REFLINK);
824}

826int image_clone(Image *i, const char *new_name, bool_Bool read_only) {
      _cleanup_(release_lock_file)__attribute__((cleanup(release_lock_file))) LockFile name_lock = LOCK_FILE_INIT{ .fd = -1, .path = ((void*)0) };
      _cleanup_strv_free___attribute__((cleanup(strv_freep))) char **settings = NULL((void*)0);
      _cleanup_free___attribute__((cleanup(freep))) char *roothash = NULL((void*)0);
      const char *new_path;
      char **j;
      int r;

      assert(i)do { if ((__builtin_expect(!!(!(i)),0))) log_assert_failed_realm
(LOG_REALM_SYSTEMD, ("i"), "../src/shared/machine-image.c", 834
, __PRETTY_FUNCTION__); } while (0);
1
Assuming 'i' is non-null→
2
←
Taking false branch→
3
←
Loop condition is false.  Exiting loop→

      if (!image_name_is_valid(new_name))
4
←
Taking false branch→
              return -EINVAL22;

      settings = image_settings_path(i);
5
←
Calling 'image_settings_path'→
23
←
Returned allocated memory→
      if (!settings23.1
'settings' is non-null
)
24
←
Taking false branch→
              return -ENOMEM12;

      roothash = image_roothash_path(i);
      if (!roothash)
25
←
Assuming 'roothash' is non-null→
26
←
Taking false branch→
              return -ENOMEM12;

      /* Make sure nobody takes the new name, between the time we
       * checked it is currently unused in all search paths, and the
       * time we take possession of it */
      r = image_name_lock(new_name, LOCK_EX2|LOCK_NB4, &name_lock);
      if (r26.1
'r' is >= 0
 < 0)
27
←
Taking false branch→
              return r;

      r = image_find(IMAGE_MACHINE, new_name, NULL((void*)0));
      if (r27.1
'r' is < 0
 >= 0)
28
←
Taking false branch→
              return -EEXIST17;
      if (r != -ENOENT2)
29
←
Taking false branch→
              return r;

      switch (i->type) {
30
←
Control jumps to 'case IMAGE_DIRECTORY:'  at line 863→

      case IMAGE_SUBVOLUME:
      case IMAGE_DIRECTORY:
              /* If we can we'll always try to create a new btrfs subvolume here, even if the source is a plain
               * directory. */

              new_path = strjoina("/var/lib/machines/", new_name)({ const char *_appendees_[] = { "/var/lib/machines/", new_name
 }; char *_d_, *_p_; size_t _len_ = 0; size_t _i_; for (_i_ =
 0; _i_ < __extension__ (__builtin_choose_expr( !__builtin_types_compatible_p
(typeof(_appendees_), typeof(&*(_appendees_))), sizeof(_appendees_
)/sizeof((_appendees_)[0]), ((void)0))) && _appendees_
[_i_]; _i_++) _len_ += strlen(_appendees_[_i_]); _p_ = _d_ = __builtin_alloca
 (_len_ + 1); for (_i_ = 0; _i_ < __extension__ (__builtin_choose_expr
( !__builtin_types_compatible_p(typeof(_appendees_), typeof(&
*(_appendees_))), sizeof(_appendees_)/sizeof((_appendees_)[0]
), ((void)0))) && _appendees_[_i_]; _i_++) _p_ = stpcpy
(_p_, _appendees_[_i_]); *_p_ = 0; _d_; });
31
←
Loop condition is true.  Entering loop body→
32
←
Loop condition is true.  Entering loop body→
33
←
Loop condition is true.  Entering loop body→
34
←
Loop condition is true.  Entering loop body→

              r = btrfs_subvol_snapshot(i->path, new_path,
                                        (read_only ? BTRFS_SNAPSHOT_READ_ONLY : 0) |
35
←
Assuming 'read_only' is false→
36
←
'?' condition is false→
                                        BTRFS_SNAPSHOT_FALLBACK_COPY |
                                        BTRFS_SNAPSHOT_FALLBACK_DIRECTORY |
                                        BTRFS_SNAPSHOT_FALLBACK_IMMUTABLE |
                                        BTRFS_SNAPSHOT_RECURSIVE |
                                        BTRFS_SNAPSHOT_QUOTA);
              if (r >= 0)
37
←
Assuming 'r' is >= 0→
38
←
Taking true branch→
                      /* Enable "subtree" quotas for the copy, if we didn't copy any quota from the source. */
                      (void) btrfs_subvol_auto_qgroup(new_path, 0, true1);

              break;
39
←
 Execution continues on line 893→

      case IMAGE_RAW:
              new_path = strjoina("/var/lib/machines/", new_name, ".raw")({ const char *_appendees_[] = { "/var/lib/machines/", new_name
, ".raw" }; char *_d_, *_p_; size_t _len_ = 0; size_t _i_; for
 (_i_ = 0; _i_ < __extension__ (__builtin_choose_expr( !__builtin_types_compatible_p
(typeof(_appendees_), typeof(&*(_appendees_))), sizeof(_appendees_
)/sizeof((_appendees_)[0]), ((void)0))) && _appendees_
[_i_]; _i_++) _len_ += strlen(_appendees_[_i_]); _p_ = _d_ = __builtin_alloca
 (_len_ + 1); for (_i_ = 0; _i_ < __extension__ (__builtin_choose_expr
( !__builtin_types_compatible_p(typeof(_appendees_), typeof(&
*(_appendees_))), sizeof(_appendees_)/sizeof((_appendees_)[0]
), ((void)0))) && _appendees_[_i_]; _i_++) _p_ = stpcpy
(_p_, _appendees_[_i_]); *_p_ = 0; _d_; });

              r = copy_file_atomic(i->path, new_path, read_only ? 0444 : 0644, FS_NOCOW_FL0x00800000, COPY_REFLINK);
              break;

      case IMAGE_BLOCK:
      default:
              return -EOPNOTSUPP95;
      }

      if (r39.1
'r' is >= 0
 < 0)
40
←
Taking false branch→
              return r;

      STRV_FOREACH(j, settings)for ((j) = (settings); (j) && *(j); (j)++) {
41
←
Loop condition is true.  Entering loop body→
43
←
Loop condition is true.  Entering loop body→
45
←
Loop condition is true.  Entering loop body→
47
←
Loop condition is false. Execution continues on line 902→
              r = clone_auxiliary_file(*j, new_name, ".nspawn");
              if (r < 0 && r != -ENOENT2)
42
←
Assuming 'r' is >= 0→
44
←
Assuming 'r' is >= 0→
46
←
Assuming 'r' is >= 0→
                      log_debug_errno(r, "Failed to clone settings %s, ignoring: %m", *j)({ int _level = ((7)), _e = ((r)), _realm = (LOG_REALM_SYSTEMD
); (log_get_max_level_realm(_realm) >= ((_level) & 0x07
)) ? log_internal_realm(((_realm) << 10 | (_level)), _e
, "../src/shared/machine-image.c", 899, __func__, "Failed to clone settings %s, ignoring: %m"
, *j) : -abs(_e); });
      }

      r = clone_auxiliary_file(roothash, new_name, ".roothash");
48
←
Potential leak of memory pointed to by 'j'
      if (r < 0 && r != -ENOENT2)
              log_debug_errno(r, "Failed to clone root hash file %s, ignoring: %m", roothash)({ int _level = ((7)), _e = ((r)), _realm = (LOG_REALM_SYSTEMD
); (log_get_max_level_realm(_realm) >= ((_level) & 0x07
)) ? log_internal_realm(((_realm) << 10 | (_level)), _e
, "../src/shared/machine-image.c", 904, __func__, "Failed to clone root hash file %s, ignoring: %m"
, roothash) : -abs(_e); });

      return 0;
907}

909int image_read_only(Image *i, bool_Bool b) {
      _cleanup_(release_lock_file)__attribute__((cleanup(release_lock_file))) LockFile global_lock = LOCK_FILE_INIT{ .fd = -1, .path = ((void*)0) }, local_lock = LOCK_FILE_INIT{ .fd = -1, .path = ((void*)0) };
      int r;

      assert(i)do { if ((__builtin_expect(!!(!(i)),0))) log_assert_failed_realm
(LOG_REALM_SYSTEMD, ("i"), "../src/shared/machine-image.c", 913
, __PRETTY_FUNCTION__); } while (0);

      if (IMAGE_IS_VENDOR(i) || IMAGE_IS_HOST(i))
              return -EROFS30;

      /* Make sure we don't interfere with a running nspawn */
      r = image_path_lock(i->path, LOCK_EX2|LOCK_NB4, &global_lock, &local_lock);
      if (r < 0)
              return r;

      switch (i->type) {

      case IMAGE_SUBVOLUME:

              /* Note that we set the flag only on the top-level
               * subvolume of the image. */

              r = btrfs_subvol_set_read_only(i->path, b);
              if (r < 0)
                      return r;

              break;

      case IMAGE_DIRECTORY:
              /* For simple directory trees we cannot use the access
                 mode of the top-level directory, since it has an
                 effect on the container itself.  However, we can
                 use the "immutable" flag, to at least make the
                 top-level directory read-only. It's not as good as
                 a read-only subvolume, but at least something, and
                 we can read the value back. */

              r = chattr_path(i->path, b ? FS_IMMUTABLE_FL0x00000010 : 0, FS_IMMUTABLE_FL0x00000010);
              if (r < 0)
                      return r;

              break;

      case IMAGE_RAW: {
              struct stat st;

              if (stat(i->path, &st) < 0)
                      return -errno(*__errno_location ());

              if (chmod(i->path, (st.st_mode & 0444) | (b ? 0000 : 0200)) < 0)
                      return -errno(*__errno_location ());

              /* If the images is now read-only, it's a good time to
               * defrag it, given that no write patterns will
               * fragment it again. */
              if (b)
                      (void) btrfs_defrag(i->path);
              break;
      }

      case IMAGE_BLOCK: {
              _cleanup_close___attribute__((cleanup(closep))) int fd = -1;
              struct stat st;
              int state = b;

              fd = open(i->path, O_CLOEXEC02000000|O_RDONLY00|O_NONBLOCK04000|O_NOCTTY0400);
              if (fd < 0)
                      return -errno(*__errno_location ());

              if (fstat(fd, &st) < 0)
                      return -errno(*__errno_location ());
              if (!S_ISBLK(st.st_mode)((((st.st_mode)) & 0170000) == (0060000)))
                      return -ENOTTY25;

              if (ioctl(fd, BLKROSET(((0U) << (((0 +8)+8)+14)) | (((0x12)) << (0 +8))
 | (((93)) << 0) | ((0) << ((0 +8)+8))), &state) < 0)
                      return -errno(*__errno_location ());

              break;
      }

      default:
              return -EOPNOTSUPP95;
      }

      return 0;
993}

995int image_path_lock(const char *path, int operation, LockFile *global, LockFile *local) {
      _cleanup_free___attribute__((cleanup(freep))) char *p = NULL((void*)0);
      LockFile t = LOCK_FILE_INIT{ .fd = -1, .path = ((void*)0) };
      struct stat st;
      int r;

      assert(path)do { if ((__builtin_expect(!!(!(path)),0))) log_assert_failed_realm
(LOG_REALM_SYSTEMD, ("path"), "../src/shared/machine-image.c"
, 1001, __PRETTY_FUNCTION__); } while (0);
      assert(global)do { if ((__builtin_expect(!!(!(global)),0))) log_assert_failed_realm
(LOG_REALM_SYSTEMD, ("global"), "../src/shared/machine-image.c"
, 1002, __PRETTY_FUNCTION__); } while (0);
      assert(local)do { if ((__builtin_expect(!!(!(local)),0))) log_assert_failed_realm
(LOG_REALM_SYSTEMD, ("local"), "../src/shared/machine-image.c"
, 1003, __PRETTY_FUNCTION__); } while (0);

      /* Locks an image path. This actually creates two locks: one
       * "local" one, next to the image path itself, which might be
       * shared via NFS. And another "global" one, in /run, that
       * uses the device/inode number. This has the benefit that we
       * can even lock a tree that is a mount point, correctly. */

      if (!path_is_absolute(path))
              return -EINVAL22;

      if (getenv_bool("SYSTEMD_NSPAWN_LOCK") == 0) {
              *local = *global = (LockFile) LOCK_FILE_INIT{ .fd = -1, .path = ((void*)0) };
              return 0;
      }

      if (path_equal(path, "/"))
              return -EBUSY16;

      if (stat(path, &st) >= 0) {
              if (S_ISBLK(st.st_mode)((((st.st_mode)) & 0170000) == (0060000)))
                      r = asprintf(&p, "/run/systemd/nspawn/locks/block-%u:%u", major(st.st_rdev)gnu_dev_major (st.st_rdev), minor(st.st_rdev)gnu_dev_minor (st.st_rdev));
              else if (S_ISDIR(st.st_mode)((((st.st_mode)) & 0170000) == (0040000)) || S_ISREG(st.st_mode)((((st.st_mode)) & 0170000) == (0100000)))
                      r = asprintf(&p, "/run/systemd/nspawn/locks/inode-%lu:%lu", (unsigned long) st.st_dev, (unsigned long) st.st_ino);
              else
                      return -ENOTTY25;

              if (r < 0)
                      return -ENOMEM12;
      }

      /* For block devices we don't need the "local" lock, as the major/minor lock above should be sufficient, since
       * block devices are device local anyway. */
      if (!path_startswith(path, "/dev")) {
              r = make_lock_file_for(path, operation, &t);
              if (r < 0) {
                      if ((operation & LOCK_SH1) && r == -EROFS30)
                              log_debug_errno(r, "Failed to create shared lock for '%s', ignoring: %m", path)({ int _level = ((7)), _e = ((r)), _realm = (LOG_REALM_SYSTEMD
); (log_get_max_level_realm(_realm) >= ((_level) & 0x07
)) ? log_internal_realm(((_realm) << 10 | (_level)), _e
, "../src/shared/machine-image.c", 1040, __func__, "Failed to create shared lock for '%s', ignoring: %m"
, path) : -abs(_e); });
                      else
                              return r;
              }
      }

      if (p) {
              mkdir_p("/run/systemd/nspawn/locks", 0700);

              r = make_lock_file(p, operation, global);
              if (r < 0) {
                      release_lock_file(&t);
                      return r;
              }
      } else
              *global = (LockFile) LOCK_FILE_INIT{ .fd = -1, .path = ((void*)0) };

      *local = t;
      return 0;
1059}

1061int image_set_limit(Image *i, uint64_t referenced_max) {
      assert(i)do { if ((__builtin_expect(!!(!(i)),0))) log_assert_failed_realm
(LOG_REALM_SYSTEMD, ("i"), "../src/shared/machine-image.c", 1062
, __PRETTY_FUNCTION__); } while (0);

      if (IMAGE_IS_VENDOR(i) || IMAGE_IS_HOST(i))
              return -EROFS30;

      if (i->type != IMAGE_SUBVOLUME)
              return -EOPNOTSUPP95;

      /* We set the quota both for the subvolume as well as for the
       * subtree. The latter is mostly for historical reasons, since
       * we didn't use to have a concept of subtree quota, and hence
       * only modified the subvolume quota. */

      (void) btrfs_qgroup_set_limit(i->path, 0, referenced_max);
      (void) btrfs_subvol_auto_qgroup(i->path, 0, true1);
      return btrfs_subvol_set_subtree_quota_limit(i->path, 0, referenced_max);
1078}

1080int image_read_metadata(Image *i) {
      _cleanup_(release_lock_file)__attribute__((cleanup(release_lock_file))) LockFile global_lock = LOCK_FILE_INIT{ .fd = -1, .path = ((void*)0) }, local_lock = LOCK_FILE_INIT{ .fd = -1, .path = ((void*)0) };
      int r;

      assert(i)do { if ((__builtin_expect(!!(!(i)),0))) log_assert_failed_realm
(LOG_REALM_SYSTEMD, ("i"), "../src/shared/machine-image.c", 1084
, __PRETTY_FUNCTION__); } while (0);

      r = image_path_lock(i->path, LOCK_SH1|LOCK_NB4, &global_lock, &local_lock);
      if (r < 0)
              return r;

      switch (i->type) {

      case IMAGE_SUBVOLUME:
      case IMAGE_DIRECTORY: {
              _cleanup_strv_free___attribute__((cleanup(strv_freep))) char **machine_info = NULL((void*)0), **os_release = NULL((void*)0);
              sd_id128_t machine_id = SD_ID128_NULL((const sd_id128_t) { .qwords = { 0, 0 }});
              _cleanup_free___attribute__((cleanup(freep))) char *hostname = NULL((void*)0);
              _cleanup_free___attribute__((cleanup(freep))) char *path = NULL((void*)0);

              r = chase_symlinks("/etc/hostname", i->path, CHASE_PREFIX_ROOT|CHASE_TRAIL_SLASH, &path);
              if (r < 0 && r != -ENOENT2)
                      log_debug_errno(r, "Failed to chase /etc/hostname in image %s: %m", i->name)({ int _level = ((7)), _e = ((r)), _realm = (LOG_REALM_SYSTEMD
); (log_get_max_level_realm(_realm) >= ((_level) & 0x07
)) ? log_internal_realm(((_realm) << 10 | (_level)), _e
, "../src/shared/machine-image.c", 1101, __func__, "Failed to chase /etc/hostname in image %s: %m"
, i->name) : -abs(_e); });
              else if (r >= 0) {
                      r = read_etc_hostname(path, &hostname);
                      if (r < 0)
                              log_debug_errno(errno, "Failed to read /etc/hostname of image %s: %m", i->name)({ int _level = ((7)), _e = (((*__errno_location ()))), _realm
 = (LOG_REALM_SYSTEMD); (log_get_max_level_realm(_realm) >=
 ((_level) & 0x07)) ? log_internal_realm(((_realm) <<
| (_level)), _e, "../src/shared/machine-image.c", 1105, __func__
, "Failed to read /etc/hostname of image %s: %m", i->name)
 : -abs(_e); });
              }

              path = mfree(path);

              r = chase_symlinks("/etc/machine-id", i->path, CHASE_PREFIX_ROOT|CHASE_TRAIL_SLASH, &path);
              if (r < 0 && r != -ENOENT2)
                      log_debug_errno(r, "Failed to chase /etc/machine-id in image %s: %m", i->name)({ int _level = ((7)), _e = ((r)), _realm = (LOG_REALM_SYSTEMD
); (log_get_max_level_realm(_realm) >= ((_level) & 0x07
)) ? log_internal_realm(((_realm) << 10 | (_level)), _e
, "../src/shared/machine-image.c", 1112, __func__, "Failed to chase /etc/machine-id in image %s: %m"
, i->name) : -abs(_e); });
              else if (r >= 0) {
                      _cleanup_close___attribute__((cleanup(closep))) int fd = -1;

                      fd = open(path, O_RDONLY00|O_CLOEXEC02000000|O_NOCTTY0400);
                      if (fd < 0)
                              log_debug_errno(errno, "Failed to open %s: %m", path)({ int _level = ((7)), _e = (((*__errno_location ()))), _realm
 = (LOG_REALM_SYSTEMD); (log_get_max_level_realm(_realm) >=
 ((_level) & 0x07)) ? log_internal_realm(((_realm) <<
| (_level)), _e, "../src/shared/machine-image.c", 1118, __func__
, "Failed to open %s: %m", path) : -abs(_e); });
                      else {
                              r = id128_read_fd(fd, ID128_PLAIN, &machine_id);
                              if (r < 0)
                                      log_debug_errno(r, "Image %s contains invalid machine ID.", i->name)({ int _level = ((7)), _e = ((r)), _realm = (LOG_REALM_SYSTEMD
); (log_get_max_level_realm(_realm) >= ((_level) & 0x07
)) ? log_internal_realm(((_realm) << 10 | (_level)), _e
, "../src/shared/machine-image.c", 1122, __func__, "Image %s contains invalid machine ID."
, i->name) : -abs(_e); });
                      }
              }

              path = mfree(path);

              r = chase_symlinks("/etc/machine-info", i->path, CHASE_PREFIX_ROOT|CHASE_TRAIL_SLASH, &path);
              if (r < 0 && r != -ENOENT2)
                      log_debug_errno(r, "Failed to chase /etc/machine-info in image %s: %m", i->name)({ int _level = ((7)), _e = ((r)), _realm = (LOG_REALM_SYSTEMD
); (log_get_max_level_realm(_realm) >= ((_level) & 0x07
)) ? log_internal_realm(((_realm) << 10 | (_level)), _e
, "../src/shared/machine-image.c", 1130, __func__, "Failed to chase /etc/machine-info in image %s: %m"
, i->name) : -abs(_e); });
              else if (r >= 0) {
                      r = load_env_file_pairs(NULL((void*)0), path, NULL((void*)0), &machine_info);
                      if (r < 0)
                              log_debug_errno(r, "Failed to parse machine-info data of %s: %m", i->name)({ int _level = ((7)), _e = ((r)), _realm = (LOG_REALM_SYSTEMD
); (log_get_max_level_realm(_realm) >= ((_level) & 0x07
)) ? log_internal_realm(((_realm) << 10 | (_level)), _e
, "../src/shared/machine-image.c", 1134, __func__, "Failed to parse machine-info data of %s: %m"
, i->name) : -abs(_e); });
              }

              r = load_os_release_pairs(i->path, &os_release);
              if (r < 0)
                      log_debug_errno(r, "Failed to read os-release in image, ignoring: %m")({ int _level = ((7)), _e = ((r)), _realm = (LOG_REALM_SYSTEMD
); (log_get_max_level_realm(_realm) >= ((_level) & 0x07
)) ? log_internal_realm(((_realm) << 10 | (_level)), _e
, "../src/shared/machine-image.c", 1139, __func__, "Failed to read os-release in image, ignoring: %m"
) : -abs(_e); });

              free_and_replace(i->hostname, hostname)({ free(i->hostname); (i->hostname) = (hostname); (hostname
) = ((void*)0); 0; });
              i->machine_id = machine_id;
              strv_free_and_replace(i->machine_info, machine_info)({ strv_free(i->machine_info); (i->machine_info) = (machine_info
); (machine_info) = ((void*)0); 0; });
              strv_free_and_replace(i->os_release, os_release)({ strv_free(i->os_release); (i->os_release) = (os_release
); (os_release) = ((void*)0); 0; });

              break;
      }

      case IMAGE_RAW:
      case IMAGE_BLOCK: {
              _cleanup_(loop_device_unrefp)__attribute__((cleanup(loop_device_unrefp))) LoopDevice *d = NULL((void*)0);
              _cleanup_(dissected_image_unrefp)__attribute__((cleanup(dissected_image_unrefp))) DissectedImage *m = NULL((void*)0);

              r = loop_device_make_by_path(i->path, O_RDONLY00, &d);
              if (r < 0)
                      return r;

              r = dissect_image(d->fd, NULL((void*)0), 0, DISSECT_IMAGE_REQUIRE_ROOT, &m);
              if (r < 0)
                      return r;

              r = dissected_image_acquire_metadata(m);
              if (r < 0)
                      return r;

              free_and_replace(i->hostname, m->hostname)({ free(i->hostname); (i->hostname) = (m->hostname);
 (m->hostname) = ((void*)0); 0; });
              i->machine_id = m->machine_id;
              strv_free_and_replace(i->machine_info, m->machine_info)({ strv_free(i->machine_info); (i->machine_info) = (m->
machine_info); (m->machine_info) = ((void*)0); 0; });
              strv_free_and_replace(i->os_release, m->os_release)({ strv_free(i->os_release); (i->os_release) = (m->os_release
); (m->os_release) = ((void*)0); 0; });

              break;
      }

      default:
              return -EOPNOTSUPP95;
      }

      i->metadata_valid = true1;

      return 0;
1181}

1183int image_name_lock(const char *name, int operation, LockFile *ret) {
      const char *p;

      assert(name)do { if ((__builtin_expect(!!(!(name)),0))) log_assert_failed_realm
(LOG_REALM_SYSTEMD, ("name"), "../src/shared/machine-image.c"
, 1186, __PRETTY_FUNCTION__); } while (0);
      assert(ret)do { if ((__builtin_expect(!!(!(ret)),0))) log_assert_failed_realm
(LOG_REALM_SYSTEMD, ("ret"), "../src/shared/machine-image.c",
 1187, __PRETTY_FUNCTION__); } while (0);

      /* Locks an image name, regardless of the precise path used. */

      if (!image_name_is_valid(name))
              return -EINVAL22;

      if (getenv_bool("SYSTEMD_NSPAWN_LOCK") == 0) {
              *ret = (LockFile) LOCK_FILE_INIT{ .fd = -1, .path = ((void*)0) };
              return 0;
      }

      if (streq(name, ".host")(strcmp((name),(".host")) == 0))
              return -EBUSY16;

      mkdir_p("/run/systemd/nspawn/locks", 0700);
      p = strjoina("/run/systemd/nspawn/locks/name-", name)({ const char *_appendees_[] = { "/run/systemd/nspawn/locks/name-"
, name }; char *_d_, *_p_; size_t _len_ = 0; size_t _i_; for (
_i_ = 0; _i_ < __extension__ (__builtin_choose_expr( !__builtin_types_compatible_p
(typeof(_appendees_), typeof(&*(_appendees_))), sizeof(_appendees_
)/sizeof((_appendees_)[0]), ((void)0))) && _appendees_
[_i_]; _i_++) _len_ += strlen(_appendees_[_i_]); _p_ = _d_ = __builtin_alloca
 (_len_ + 1); for (_i_ = 0; _i_ < __extension__ (__builtin_choose_expr
( !__builtin_types_compatible_p(typeof(_appendees_), typeof(&
*(_appendees_))), sizeof(_appendees_)/sizeof((_appendees_)[0]
), ((void)0))) && _appendees_[_i_]; _i_++) _p_ = stpcpy
(_p_, _appendees_[_i_]); *_p_ = 0; _d_; });

      return make_lock_file(p, operation, ret);
1206}

1208bool_Bool image_name_is_valid(const char *s) {
      if (!filename_is_valid(s))
              return false0;

      if (string_has_cc(s, NULL((void*)0)))
              return false0;

      if (!utf8_is_valid(s))
              return false0;

      /* Temporary files for atomically creating new files */
      if (startswith(s, ".#"))
              return false0;

      return true1;
1223}

1225bool_Bool image_in_search_path(ImageClass class, const char *image) {
      const char *path;

      assert(image)do { if ((__builtin_expect(!!(!(image)),0))) log_assert_failed_realm
(LOG_REALM_SYSTEMD, ("image"), "../src/shared/machine-image.c"
, 1228, __PRETTY_FUNCTION__); } while (0);

      NULSTR_FOREACH(path, image_search_path[class])for ((path) = (image_search_path[class]); (path) && *
(path); (path) = strchr((path), 0)+1) {
              const char *p;
              size_t k;

              p = path_startswith(image, path);
              if (!p)
                      continue;

              /* Make sure there's a filename following */
              k = strcspn(p, "/");
              if (k == 0)
                      continue;

              p += k;

              /* Accept trailing slashes */
              if (p[strspn(p, "/")] == 0)
                      return true1;

      }

      return false0;
1252}

1254static const char* const image_type_table[_IMAGE_TYPE_MAX] = {
      [IMAGE_DIRECTORY] = "directory",
      [IMAGE_SUBVOLUME] = "subvolume",
      [IMAGE_RAW] = "raw",
      [IMAGE_BLOCK] = "block",
1259};

1261DEFINE_STRING_TABLE_LOOKUP(image_type, ImageType)const char *image_type_to_string(ImageType i) { if (i < 0 ||
 i >= (ImageType) __extension__ (__builtin_choose_expr( !__builtin_types_compatible_p
(typeof(image_type_table), typeof(&*(image_type_table))),
 sizeof(image_type_table)/sizeof((image_type_table)[0]), ((void
)0)))) return ((void*)0); return image_type_table[i]; } ImageType
 image_type_from_string(const char *s) { return (ImageType) string_table_lookup
(image_type_table, __extension__ (__builtin_choose_expr( !__builtin_types_compatible_p
(typeof(image_type_table), typeof(&*(image_type_table))),
 sizeof(image_type_table)/sizeof((image_type_table)[0]), ((void
)0))), s); };