-Wframe-larger-than in fs/namespace.c

[nathanchance]

CI sees this warning with ARCH=i386 defconfig with LLVM 13 and older after https://git.kernel.org/vfs/vfs/c/49889374ab925e10708d638ae7ebec5da7ac69a6:

fs/namespace.c:4995:1: error: stack frame size (1276) exceeds limit (1024) in function '__ia32_sys_statmount' [-Werror,-Wframe-larger-than]
SYSCALL_DEFINE4(statmount, const struct mnt_id_req __user *, req,
^
include/linux/syscalls.h:225:36: note: expanded from macro 'SYSCALL_DEFINE4'
#define SYSCALL_DEFINE4(name, ...) SYSCALL_DEFINEx(4, _##name, __VA_ARGS__)
                                   ^
include/linux/syscalls.h:233:2: note: expanded from macro 'SYSCALL_DEFINEx'
        __SYSCALL_DEFINEx(x, sname, __VA_ARGS__)
        ^
arch/x86/include/asm/syscall_wrapper.h:232:2: note: expanded from macro '__SYSCALL_DEFINEx'
        __IA32_SYS_STUBx(x, name, __VA_ARGS__)                          \
        ^
arch/x86/include/asm/syscall_wrapper.h:117:2: note: expanded from macro '__IA32_SYS_STUBx'
        __SYS_STUBx(ia32, sys##name,                                    \
        ^
arch/x86/include/asm/syscall_wrapper.h:77:7: note: expanded from macro '__SYS_STUBx'
        long __##abi##_##name(const struct pt_regs *regs)               \
             ^
<scratch space>:7:1: note: expanded from here
__ia32_sys_statmount
^
1 error generated.

I bisected the fix in LLVM to llvm/llvm-project@bb15861. I think this is exacerbated by ARCH=i386's use of -ffreestanding (which has come up before in #1583), as the warning disappears if I remove that addition from arch/x86/Makefile (and the stack usage for that function drops to 684 bytes, which I can see with -Wframe-larger-than=512).

The diff of the IR before and after that change is pretty massive but I think it is the compound literal assignment in prepare_kstatmount() that messes things up here, as it appears that the compound literal is stack allocated via alloca in addition to the variables ks and kreq?

IR diff of __ia32_sys_statmount in fs/namespace.ll

diff --git a/bad-namespace.ll b/good-namespace.ll
index 071e76c261bb..1fc418d671a6 100644
--- a/bad-namespace.ll
+++ b/good-namespace.ll
@@ -2,8 +2,6 @@
 define dso_local i32 @__ia32_sys_statmount(%struct.pt_regs* inreg nocapture readonly %regs) local_unnamed_addr #1 align 4 {
 entry:
   %mnt_path.i.i.i.i.i = alloca %struct.path, align 8
-  %.compoundliteral.sroa.5.i.i.i = alloca { %struct.path, %struct.statmount }, align 8
-  %.compoundliteral.sroa.7.i.i.i = alloca { i32, i32, i32, i64, i64, %struct.mutex, %struct.seq_operations*, i32, %struct.file*, i8* }, align 8
   %kreq.i.i = alloca %struct.mnt_id_req, align 4
   %ks.i.i = alloca %struct.kstatmount, align 4
   %bx = getelementptr inbounds %struct.pt_regs, %struct.pt_regs* %regs, i32 0, i32 0
@@ -56,20 +54,18 @@ if.then36.i.i.i.i:                                ; preds = %if.end24.i.i.i
   %sub.i.i.i.i = add nsw i32 %spec.select.i.i.i, -24
   %add.ptr37.i36.i.i.i = getelementptr %struct.mnt_id_req, %struct.mnt_id_req* %4, i32 1
   %add.ptr37.i.i.i.i = bitcast %struct.mnt_id_req* %add.ptr37.i36.i.i.i to i8*
-  %call.i.i.i.i = call i32 @check_zeroed_user(i8* inreg %add.ptr37.i.i.i.i, i32 inreg %sub.i.i.i.i) #21
+  %call.i.i.i.i = call i32 @check_zeroed_user(i8* inreg %add.ptr37.i.i.i.i, i32 inreg %sub.i.i.i.i) #20
   %cmp38.i.i.i.i = icmp slt i32 %call.i.i.i.i, 1
   %tobool40.not.i.i.i.i = icmp eq i32 %call.i.i.i.i, 0
   %..i.i.i.i = select i1 %tobool40.not.i.i.i.i, i32 -7, i32 %call.i.i.i.i
   br i1 %cmp38.i.i.i.i, label %__se_sys_statmount.exit, label %if.end8.i.i.i.i.i.i
 
 if.end8.i.i.i.i.i.i:                              ; preds = %if.then36.i.i.i.i, %if.end24.i.i.i
-  %call1.i.i.i.i.i = call i32 @_copy_from_user(i8* inreg nonnull %6, i8* inreg %10, i32 inreg 24) #21
+  %call1.i.i.i.i.i = call i32 @_copy_from_user(i8* inreg nonnull %6, i8* inreg %10, i32 inreg 24) #20
   %phi.cmp.i.i.i.i = icmp eq i32 %call1.i.i.i.i.i, 0
   br i1 %phi.cmp.i.i.i.i, label %retry.preheader.i.i, label %__se_sys_statmount.exit
 
 retry.preheader.i.i:                              ; preds = %if.end8.i.i.i.i.i.i
-  %.compoundliteral.sroa.5.i.0..sroa_cast86.i.i = bitcast { %struct.path, %struct.statmount }* %.compoundliteral.sroa.5.i.i.i to i8*
-  %.compoundliteral.sroa.7.i.0..sroa_cast84.i.i = bitcast { i32, i32, i32, i64, i64, %struct.mutex, %struct.seq_operations*, i32, %struct.file*, i8* }* %.compoundliteral.sroa.7.i.i.i to i8*
   %cmp.i.i.i.i = icmp ugt i32 %2, -1073741824
   %sub.i.i40.i.i = sub i32 -1073741824, %2
   %cmp1.i.i.i.i = icmp ult i32 %sub.i.i40.i.i, %1
@@ -117,42 +113,27 @@ retry.preheader.i.i:                              ; preds = %if.end8.i.i.i.i.i.i
   %14 = bitcast %struct.kstatmount* %ks.i.i to i8**
   %size.i62.i.i = getelementptr inbounds %struct.statmount, %struct.statmount* %sm1.i.i.i, i32 0, i32 0
   %15 = bitcast %struct.statmount* %sm1.i.i.i to i8*
-  br label %retry.i.i
+  br i1 %narrow.i.i.i.i, label %__se_sys_statmount.exit, label %retry.i.i, !prof !7
 
-retry.i.i:                                        ; preds = %retry_statmount.exit.i.i, %retry.preheader.i.i
-  %seq_size.0.i.i = phi i32 [ %153, %retry_statmount.exit.i.i ], [ 12288, %retry.preheader.i.i ]
-  call void @llvm.lifetime.start.p0i8(i64 520, i8* nonnull %.compoundliteral.sroa.5.i.0..sroa_cast86.i.i)
-  call void @llvm.lifetime.start.p0i8(i64 64, i8* nonnull %.compoundliteral.sroa.7.i.0..sroa_cast84.i.i)
-  br i1 %narrow.i.i.i.i, label %prepare_kstatmount.exit.thread.i.i, label %if.end.i42.i.i, !prof !7
-
-if.end.i42.i.i:                                   ; preds = %retry.i.i
-  call void @llvm.memset.p0i8.i64(i8* noundef nonnull align 8 dereferenceable(520) %.compoundliteral.sroa.5.i.0..sroa_cast86.i.i, i8 0, i64 520, i1 false)
-  call void @llvm.memset.p0i8.i64(i8* noundef nonnull align 8 dereferenceable(64) %.compoundliteral.sroa.7.i.0..sroa_cast84.i.i, i8 0, i64 64, i1 false)
+retry.i.i:                                        ; preds = %retry.preheader.i.i, %retry_statmount.exit.i.i
+  %seq_size.0.i.i = phi i32 [ %151, %retry_statmount.exit.i.i ], [ 12288, %retry.preheader.i.i ]
   %16 = load i64, i64* %param.i.i.i, align 4
-  %call.i.i41.i.i = call noalias i8* @kvmalloc_node(i32 inreg %seq_size.0.i.i, i32 inreg 4197568, i32 inreg -1) #25
+  %call.i.i41.i.i = call noalias i8* @kvmalloc_node(i32 inreg %seq_size.0.i.i, i32 inreg 4197568, i32 inreg -1) #24
   store %struct.statmount* %5, %struct.statmount** %.compoundliteral.sroa.0.0..sroa_idx.i.i.i, align 4
   store i32 %2, i32* %.compoundliteral.sroa.3.0..sroa_idx12.i.i.i, align 4
   store %struct.vfsmount* null, %struct.vfsmount** %.compoundliteral.sroa.4.0..sroa_idx13.i.i.i, align 4
   store i64 %16, i64* %.compoundliteral.sroa.414.0..sroa_idx15.i.i.i, align 4
-  call void @llvm.memcpy.p0i8.p0i8.i32(i8* noundef align 4 dereferenceable(520) %.compoundliteral.sroa.5.0..sroa_cast16.i.i.i, i8* noundef nonnull align 8 dereferenceable(520) %.compoundliteral.sroa.5.i.0..sroa_cast86.i.i, i32 520, i1 false) #7
+  call void @llvm.memset.p0i8.i32(i8* noundef align 4 dereferenceable(520) %.compoundliteral.sroa.5.0..sroa_cast16.i.i.i, i8 0, i32 520, i1 false) #7
   store i8* %call.i.i41.i.i, i8** %.compoundliteral.sroa.518.0..sroa_idx19.i.i.i, align 4
   store i32 %seq_size.0.i.i, i32* %.compoundliteral.sroa.6.0..sroa_idx20.i.i.i, align 4
-  call void @llvm.memcpy.p0i8.p0i8.i32(i8* noundef align 4 dereferenceable(64) %.compoundliteral.sroa.7.0..sroa_cast21.i.i.i, i8* noundef nonnull align 8 dereferenceable(64) %.compoundliteral.sroa.7.i.0..sroa_cast84.i.i, i32 64, i1 false) #7
+  call void @llvm.memset.p0i8.i32(i8* noundef align 4 dereferenceable(64) %.compoundliteral.sroa.7.0..sroa_cast21.i.i.i, i8 0, i32 64, i1 false) #7
   %tobool9.not.i.i.i = icmp eq i8* %call.i.i41.i.i, null
-  br i1 %tobool9.not.i.i.i, label %prepare_kstatmount.exit.thread.i.i, label %if.end7.i.i
-
-prepare_kstatmount.exit.thread.i.i:               ; preds = %if.end.i42.i.i, %retry.i.i
-  %retval.0.i43.ph.i.i = phi i32 [ -14, %retry.i.i ], [ -12, %if.end.i42.i.i ]
-  call void @llvm.lifetime.end.p0i8(i64 520, i8* nonnull %.compoundliteral.sroa.5.i.0..sroa_cast86.i.i)
-  call void @llvm.lifetime.end.p0i8(i64 64, i8* nonnull %.compoundliteral.sroa.7.i.0..sroa_cast84.i.i)
-  br label %__se_sys_statmount.exit
+  br i1 %tobool9.not.i.i.i, label %__se_sys_statmount.exit, label %if.end7.i.i
 
-if.end7.i.i:                                      ; preds = %if.end.i42.i.i
-  call void @llvm.lifetime.end.p0i8(i64 520, i8* nonnull %.compoundliteral.sroa.5.i.0..sroa_cast86.i.i)
-  call void @llvm.lifetime.end.p0i8(i64 64, i8* nonnull %.compoundliteral.sroa.7.i.0..sroa_cast84.i.i)
-  call void @down_read(%struct.rw_semaphore* inreg nonnull @namespace_sem) #21
+if.end7.i.i:                                      ; preds = %retry.i.i
+  call void @down_read(%struct.rw_semaphore* inreg nonnull @namespace_sem) #20
   %17 = load i64, i64* %mnt_id.i.i, align 4
-  %18 = call i32 asm "movl %fs:${1:a}, $0", "=r,i,~{dirflag},~{fpsr},~{flags}"(%struct.task_struct** getelementptr inbounds (%struct.pcpu_hot, %struct.pcpu_hot* @pcpu_hot, i32 0, i32 0, i32 0, i32 0)) #24, !srcloc !50
+  %18 = call i32 asm "movl %fs:${1:a}, $0", "=r,i,~{dirflag},~{fpsr},~{flags}"(%struct.task_struct** getelementptr inbounds (%struct.pcpu_hot, %struct.pcpu_hot* @pcpu_hot, i32 0, i32 0, i32 0, i32 0)) #23, !srcloc !50
   %19 = inttoptr i32 %18 to %struct.task_struct*
   %nsproxy.i.i = getelementptr inbounds %struct.task_struct, %struct.task_struct* %19, i32 0, i32 103
   %20 = load %struct.nsproxy*, %struct.nsproxy** %nsproxy.i.i, align 16
@@ -176,7 +157,7 @@ while.body.i.i.i.i:                               ; preds = %if.end7.i.i, %clean
 
 if.then.i.i.i.i:                                  ; preds = %while.body.i.i.i.i
   %cmp3.i.i.i.i = icmp eq i64 %25, %17
-  br i1 %cmp3.i.i.i.i, label %mnt_find_id_at.exit.i.i.i.split.loop.exit22, label %if.end.i.i.i.i
+  br i1 %cmp3.i.i.i.i, label %mnt_find_id_at.exit.i.i.i.split.loop.exit10, label %if.end.i.i.i.i
 
 if.end.i.i.i.i:                                   ; preds = %if.then.i.i.i.i
   %rb_left.i.i.i.i = getelementptr inbounds %struct.rb_node, %struct.rb_node* %node.0.i.i.i.i, i32 0, i32 2
@@ -193,12 +174,12 @@ cleanup.i.i.i.i:                                  ; preds = %if.else.i.i44.i.i,
   %tobool.not.i.i.i.i = icmp eq %struct.rb_node* %node.1.i.i.i.i, null
   br i1 %tobool.not.i.i.i.i, label %mnt_find_id_at.exit.i.i.i, label %while.body.i.i.i.i, !llvm.loop !62
 
-mnt_find_id_at.exit.i.i.i.split.loop.exit22:      ; preds = %if.then.i.i.i.i
+mnt_find_id_at.exit.i.i.i.split.loop.exit10:      ; preds = %if.then.i.i.i.i
   %26 = bitcast %struct.rb_node* %add.ptr3.i.i.i.i.i to %struct.mount*
   br label %mnt_find_id_at.exit.i.i.i
 
-mnt_find_id_at.exit.i.i.i:                        ; preds = %cleanup.i.i.i.i, %mnt_find_id_at.exit.i.i.i.split.loop.exit22
-  %ret.3.i.i.i.i = phi %struct.mount* [ %26, %mnt_find_id_at.exit.i.i.i.split.loop.exit22 ], [ %ret.1.i.i.i.i, %cleanup.i.i.i.i ]
+mnt_find_id_at.exit.i.i.i:                        ; preds = %cleanup.i.i.i.i, %mnt_find_id_at.exit.i.i.i.split.loop.exit10
+  %ret.3.i.i.i.i = phi %struct.mount* [ %26, %mnt_find_id_at.exit.i.i.i.split.loop.exit10 ], [ %ret.1.i.i.i.i, %cleanup.i.i.i.i ]
   %tobool.not.i45.i.i = icmp eq %struct.mount* %ret.3.i.i.i.i, null
   br i1 %tobool.not.i45.i.i, label %if.then11.i.i, label %lor.lhs.false.i.i.i
 
@@ -209,49 +190,47 @@ lor.lhs.false.i.i.i:                              ; preds = %mnt_find_id_at.exit
   br i1 %cmp.not.i.i.not.i, label %if.end13.i.i, label %if.then11.i.i
 
 if.then11.i.i:                                    ; preds = %lor.lhs.false.i.i.i, %mnt_find_id_at.exit.i.i.i, %if.end7.i.i
-  call void @up_read(%struct.rw_semaphore* inreg nonnull @namespace_sem) #21
-  %28 = load i8*, i8** %.compoundliteral.sroa.518.0..sroa_idx19.i.i.i, align 4
-  call void @kvfree(i8* inreg %28) #21
-  br label %__se_sys_statmount.exit
+  call void @up_read(%struct.rw_semaphore* inreg nonnull @namespace_sem) #20
+  br label %cleanup.sink.split.i.i
 
 if.end13.i.i:                                     ; preds = %lor.lhs.false.i.i.i
   %mnt1.i.i.i = getelementptr inbounds %struct.mount, %struct.mount* %ret.3.i.i.i.i, i32 0, i32 3
   store %struct.vfsmount* %mnt1.i.i.i, %struct.vfsmount** %.compoundliteral.sroa.4.0..sroa_idx13.i.i.i, align 4
   %fs.i.i = getelementptr inbounds %struct.task_struct, %struct.task_struct* %19, i32 0, i32 100
-  %29 = load %struct.fs_struct*, %struct.fs_struct** %fs.i.i, align 4
-  %rlock.i.i.i.i = getelementptr inbounds %struct.fs_struct, %struct.fs_struct* %29, i32 0, i32 1, i32 0, i32 0
-  call void @_raw_spin_lock(%struct.raw_spinlock* inreg %rlock.i.i.i.i) #21
-  %root1.i.i.i = getelementptr inbounds %struct.fs_struct, %struct.fs_struct* %29, i32 0, i32 5
-  %30 = bitcast %struct.path* %root1.i.i.i to i64*
-  %31 = load i64, i64* %30, align 4
-  store i64 %31, i64* %11, align 4
-  call void @path_get(%struct.path* inreg %.compoundliteral.sroa.5.0..sroa_idx.i.i.i) #21
-  call void @_raw_spin_unlock(%struct.raw_spinlock* inreg %rlock.i.i.i.i) #21
-  %32 = load %struct.vfsmount*, %struct.vfsmount** %.compoundliteral.sroa.4.0..sroa_idx13.i.i.i, align 4
-  %call1.i.i.i = call zeroext i1 @ns_capable_noaudit(%struct.user_namespace* inreg nonnull @init_user_ns, i32 inreg 21) #21
+  %28 = load %struct.fs_struct*, %struct.fs_struct** %fs.i.i, align 4
+  %rlock.i.i.i.i = getelementptr inbounds %struct.fs_struct, %struct.fs_struct* %28, i32 0, i32 1, i32 0, i32 0
+  call void @_raw_spin_lock(%struct.raw_spinlock* inreg %rlock.i.i.i.i) #20
+  %root1.i.i.i = getelementptr inbounds %struct.fs_struct, %struct.fs_struct* %28, i32 0, i32 5
+  %29 = bitcast %struct.path* %root1.i.i.i to i64*
+  %30 = load i64, i64* %29, align 4
+  store i64 %30, i64* %11, align 4
+  call void @path_get(%struct.path* inreg %.compoundliteral.sroa.5.0..sroa_idx.i.i.i) #20
+  call void @_raw_spin_unlock(%struct.raw_spinlock* inreg %rlock.i.i.i.i) #20
+  %31 = load %struct.vfsmount*, %struct.vfsmount** %.compoundliteral.sroa.4.0..sroa_idx13.i.i.i, align 4
+  %call1.i.i.i = call zeroext i1 @ns_capable_noaudit(%struct.user_namespace* inreg nonnull @init_user_ns, i32 inreg 21) #20
   br i1 %call1.i.i.i, label %if.end.i51.i.i, label %land.lhs.true.i.i.i
 
 land.lhs.true.i.i.i:                              ; preds = %if.end13.i.i
-  %33 = getelementptr %struct.vfsmount, %struct.vfsmount* %32, i32 0, i32 0
-  %34 = load %struct.vfsmount*, %struct.vfsmount** %mnt2.i.i.i.i, align 4
-  %cmp.not18.i.i.i.i = icmp eq %struct.vfsmount* %32, %34
+  %32 = getelementptr %struct.vfsmount, %struct.vfsmount* %31, i32 0, i32 0
+  %33 = load %struct.vfsmount*, %struct.vfsmount** %mnt2.i.i.i.i, align 4
+  %cmp.not18.i.i.i.i = icmp eq %struct.vfsmount* %31, %33
   br i1 %cmp.not18.i.i.i.i, label %is_path_reachable.exit.i.i.i, label %land.rhs.i.preheader.i.i.i
 
 land.rhs.i.preheader.i.i.i:                       ; preds = %land.lhs.true.i.i.i
-  %add.ptr2.i.i.i.i = getelementptr %struct.vfsmount, %struct.vfsmount* %32, i32 -1
-  %35 = bitcast %struct.vfsmount* %add.ptr2.i.i.i.i to %struct.mount*
+  %add.ptr2.i.i.i.i = getelementptr %struct.vfsmount, %struct.vfsmount* %31, i32 -1
+  %34 = bitcast %struct.vfsmount* %add.ptr2.i.i.i.i to %struct.mount*
   br label %land.rhs.i.i.i.i
 
 land.rhs.i.i.i.i:                                 ; preds = %while.body.i.i49.i.i, %land.rhs.i.preheader.i.i.i
-  %mnt.addr.019.i.i.i.i = phi %struct.mount* [ %36, %while.body.i.i49.i.i ], [ %35, %land.rhs.i.preheader.i.i.i ]
+  %mnt.addr.019.i.i.i.i = phi %struct.mount* [ %35, %while.body.i.i49.i.i ], [ %34, %land.rhs.i.preheader.i.i.i ]
   %mnt_parent.i.i.i.i.i = getelementptr inbounds %struct.mount, %struct.mount* %mnt.addr.019.i.i.i.i, i32 0, i32 1
-  %36 = load %struct.mount*, %struct.mount** %mnt_parent.i.i.i.i.i, align 4
-  %cmp.i.not.i.i.i.i = icmp eq %struct.mount* %36, %mnt.addr.019.i.i.i.i
+  %35 = load %struct.mount*, %struct.mount** %mnt_parent.i.i.i.i.i, align 4
+  %cmp.i.not.i.i.i.i = icmp eq %struct.mount* %35, %mnt.addr.019.i.i.i.i
   br i1 %cmp.i.not.i.i.i.i, label %do_statmount.exit.i.i, label %while.body.i.i49.i.i
 
 while.body.i.i49.i.i:                             ; preds = %land.rhs.i.i.i.i
-  %mnt1.i.i.i.i = getelementptr inbounds %struct.mount, %struct.mount* %36, i32 0, i32 3
-  %cmp.not.i.i48.i.i = icmp eq %struct.vfsmount* %mnt1.i.i.i.i, %34
+  %mnt1.i.i.i.i = getelementptr inbounds %struct.mount, %struct.mount* %35, i32 0, i32 3
+  %cmp.not.i.i48.i.i = icmp eq %struct.vfsmount* %mnt1.i.i.i.i, %33
   br i1 %cmp.not.i.i48.i.i, label %while.cond.land.rhs6_crit_edge.i.i.i.i, label %land.rhs.i.i.i.i, !llvm.loop !102
 
 while.cond.land.rhs6_crit_edge.i.i.i.i:           ; preds = %while.body.i.i49.i.i
@@ -259,257 +238,257 @@ while.cond.land.rhs6_crit_edge.i.i.i.i:           ; preds = %while.body.i.i49.i.
   br label %is_path_reachable.exit.i.i.i
 
 is_path_reachable.exit.i.i.i:                     ; preds = %while.cond.land.rhs6_crit_edge.i.i.i.i, %land.lhs.true.i.i.i
-  %dentry.addr.0.lcssa.i.in.i.i.i = phi %struct.dentry** [ %mnt_mountpoint.le.i.i.i.i, %while.cond.land.rhs6_crit_edge.i.i.i.i ], [ %33, %land.lhs.true.i.i.i ]
+  %dentry.addr.0.lcssa.i.in.i.i.i = phi %struct.dentry** [ %mnt_mountpoint.le.i.i.i.i, %while.cond.land.rhs6_crit_edge.i.i.i.i ], [ %32, %land.lhs.true.i.i.i ]
   %dentry.addr.0.lcssa.i.i.i.i = load %struct.dentry*, %struct.dentry** %dentry.addr.0.lcssa.i.in.i.i.i, align 4
-  %37 = load %struct.dentry*, %struct.dentry** %dentry7.i.i.i.i, align 4
-  %call8.i.i.i.i = call zeroext i1 @is_subdir(%struct.dentry* inreg %dentry.addr.0.lcssa.i.i.i.i, %struct.dentry* inreg %37) #21
+  %36 = load %struct.dentry*, %struct.dentry** %dentry7.i.i.i.i, align 4
+  %call8.i.i.i.i = call zeroext i1 @is_subdir(%struct.dentry* inreg %dentry.addr.0.lcssa.i.i.i.i, %struct.dentry* inreg %36) #20
   br i1 %call8.i.i.i.i, label %if.end.i51.i.i, label %do_statmount.exit.i.i
 
 if.end.i51.i.i:                                   ; preds = %is_path_reachable.exit.i.i.i, %if.end13.i.i
-  %38 = load %struct.vfsmount*, %struct.vfsmount** %.compoundliteral.sroa.4.0..sroa_idx13.i.i.i, align 4
-  %mnt_root5.i.i.i = getelementptr inbounds %struct.vfsmount, %struct.vfsmount* %38, i32 0, i32 0
-  %39 = load %struct.dentry*, %struct.dentry** %mnt_root5.i.i.i, align 4
-  %call6.i.i.i = call i32 @security_sb_statfs(%struct.dentry* inreg %39) #21
+  %37 = load %struct.vfsmount*, %struct.vfsmount** %.compoundliteral.sroa.4.0..sroa_idx13.i.i.i, align 4
+  %mnt_root5.i.i.i = getelementptr inbounds %struct.vfsmount, %struct.vfsmount* %37, i32 0, i32 0
+  %38 = load %struct.dentry*, %struct.dentry** %mnt_root5.i.i.i, align 4
+  %call6.i.i.i = call i32 @security_sb_statfs(%struct.dentry* inreg %38) #20
   %tobool.not.i50.i.i = icmp eq i32 %call6.i.i.i, 0
   br i1 %tobool.not.i50.i.i, label %if.end8.i.i.i, label %do_statmount.exit.i.i
 
 if.end8.i.i.i:                                    ; preds = %if.end.i51.i.i
-  %40 = load i64, i64* %.compoundliteral.sroa.414.0..sroa_idx15.i.i.i, align 4
-  %and.i.i.i = and i64 %40, 1
+  %39 = load i64, i64* %.compoundliteral.sroa.414.0..sroa_idx15.i.i.i, align 4
+  %and.i.i.i = and i64 %39, 1
   %tobool9.not.i52.i.i = icmp eq i64 %and.i.i.i, 0
   br i1 %tobool9.not.i52.i.i, label %if.end11.i.i.i, label %if.then10.i.i.i
 
 if.then10.i.i.i:                                  ; preds = %if.end8.i.i.i
-  %41 = load %struct.vfsmount*, %struct.vfsmount** %.compoundliteral.sroa.4.0..sroa_idx13.i.i.i, align 4
-  %mnt_sb.i.i.i.i = getelementptr inbounds %struct.vfsmount, %struct.vfsmount* %41, i32 0, i32 1
-  %42 = load %struct.super_block*, %struct.super_block** %mnt_sb.i.i.i.i, align 4
-  %43 = load i64, i64* %mask.i.i.i.i, align 4
-  %or.i.i.i.i = or i64 %43, 1
+  %40 = load %struct.vfsmount*, %struct.vfsmount** %.compoundliteral.sroa.4.0..sroa_idx13.i.i.i, align 4
+  %mnt_sb.i.i.i.i = getelementptr inbounds %struct.vfsmount, %struct.vfsmount* %40, i32 0, i32 1
+  %41 = load %struct.super_block*, %struct.super_block** %mnt_sb.i.i.i.i, align 4
+  %42 = load i64, i64* %mask.i.i.i.i, align 4
+  %or.i.i.i.i = or i64 %42, 1
   store i64 %or.i.i.i.i, i64* %mask.i.i.i.i, align 4
-  %s_dev.i.i.i.i = getelementptr inbounds %struct.super_block, %struct.super_block* %42, i32 0, i32 1
-  %44 = load i32, i32* %s_dev.i.i.i.i, align 8
-  %shr.i.i.i.i = lshr i32 %44, 20
+  %s_dev.i.i.i.i = getelementptr inbounds %struct.super_block, %struct.super_block* %41, i32 0, i32 1
+  %43 = load i32, i32* %s_dev.i.i.i.i, align 8
+  %shr.i.i.i.i = lshr i32 %43, 20
   store i32 %shr.i.i.i.i, i32* %sb_dev_major.i.i.i.i, align 4
-  %45 = load i32, i32* %s_dev.i.i.i.i, align 8
-  %and.i.i.i.i = and i32 %45, 1048575
+  %44 = load i32, i32* %s_dev.i.i.i.i, align 8
+  %and.i.i.i.i = and i32 %44, 1048575
   store i32 %and.i.i.i.i, i32* %sb_dev_minor.i.i.i.i, align 4
-  %s_magic.i.i.i.i = getelementptr inbounds %struct.super_block, %struct.super_block* %42, i32 0, i32 12
-  %46 = load i32, i32* %s_magic.i.i.i.i, align 8
-  %conv.i.i.i.i = zext i32 %46 to i64
+  %s_magic.i.i.i.i = getelementptr inbounds %struct.super_block, %struct.super_block* %41, i32 0, i32 12
+  %45 = load i32, i32* %s_magic.i.i.i.i, align 8
+  %conv.i.i.i.i = zext i32 %45 to i64
   store i64 %conv.i.i.i.i, i64* %sb_magic.i.i.i.i, align 4
-  %s_flags.i.i.i.i = getelementptr inbounds %struct.super_block, %struct.super_block* %42, i32 0, i32 10
-  %47 = load i32, i32* %s_flags.i.i.i.i, align 16
-  %and5.i.i.i.i = and i32 %47, 33554577
+  %s_flags.i.i.i.i = getelementptr inbounds %struct.super_block, %struct.super_block* %41, i32 0, i32 10
+  %46 = load i32, i32* %s_flags.i.i.i.i, align 16
+  %and5.i.i.i.i = and i32 %46, 33554577
   store i32 %and5.i.i.i.i, i32* %sb_flags.i.i.i.i, align 4
   br label %if.end11.i.i.i
 
 if.end11.i.i.i:                                   ; preds = %if.then10.i.i.i, %if.end8.i.i.i
-  %and13.i.i.i = and i64 %40, 2
+  %and13.i.i.i = and i64 %39, 2
   %tobool14.not.i.i.i = icmp eq i64 %and13.i.i.i, 0
   br i1 %tobool14.not.i.i.i, label %if.end16.i.i.i, label %if.then15.i.i.i
 
 if.then15.i.i.i:                                  ; preds = %if.end11.i.i.i
-  %48 = load %struct.vfsmount*, %struct.vfsmount** %.compoundliteral.sroa.4.0..sroa_idx13.i.i.i, align 4
-  %49 = load i64, i64* %mask.i.i.i.i, align 4
-  %or.i72.i.i.i = or i64 %49, 2
+  %47 = load %struct.vfsmount*, %struct.vfsmount** %.compoundliteral.sroa.4.0..sroa_idx13.i.i.i, align 4
+  %48 = load i64, i64* %mask.i.i.i.i, align 4
+  %or.i72.i.i.i = or i64 %48, 2
   store i64 %or.i72.i.i.i, i64* %mask.i.i.i.i, align 4
-  %mnt_id_unique.i.i53.i.i = getelementptr %struct.vfsmount, %struct.vfsmount* %48, i32 8, i32 3
-  %50 = bitcast %struct.mnt_idmap** %mnt_id_unique.i.i53.i.i to i64*
-  %51 = load i64, i64* %50, align 4
-  store i64 %51, i64* %mnt_id.i.i.i.i, align 4
-  %mnt_parent.i.i.i.i = getelementptr %struct.vfsmount, %struct.vfsmount* %48, i32 -1, i32 2
-  %52 = bitcast i32* %mnt_parent.i.i.i.i to %struct.mount**
-  %53 = load %struct.mount*, %struct.mount** %52, align 4
-  %mnt_id_unique2.i.i.i.i = getelementptr inbounds %struct.mount, %struct.mount* %53, i32 0, i32 23
-  %54 = load i64, i64* %mnt_id_unique2.i.i.i.i, align 4
-  store i64 %54, i64* %mnt_parent_id.i.i.i.i, align 4
-  %55 = getelementptr %struct.vfsmount, %struct.vfsmount* %48, i32 8, i32 2
-  %56 = load i32, i32* %55, align 4
-  store i32 %56, i32* %mnt_id_old.i.i.i.i, align 4
-  %57 = load %struct.mount*, %struct.mount** %52, align 4
-  %mnt_id7.i.i.i.i = getelementptr inbounds %struct.mount, %struct.mount* %57, i32 0, i32 22
-  %58 = load i32, i32* %mnt_id7.i.i.i.i, align 4
-  store i32 %58, i32* %mnt_parent_id_old.i.i.i.i, align 4
-  %mnt_flags1.i.i.i.i.i = getelementptr %struct.vfsmount, %struct.vfsmount* %48, i32 0, i32 2
-  %59 = load volatile i32, i32* %mnt_flags1.i.i.i.i.i, align 4
-  %and.i.i.i.i.i = lshr i32 %59, 6
+  %mnt_id_unique.i.i53.i.i = getelementptr %struct.vfsmount, %struct.vfsmount* %47, i32 8, i32 3
+  %49 = bitcast %struct.mnt_idmap** %mnt_id_unique.i.i53.i.i to i64*
+  %50 = load i64, i64* %49, align 4
+  store i64 %50, i64* %mnt_id.i.i.i.i, align 4
+  %mnt_parent.i.i.i.i = getelementptr %struct.vfsmount, %struct.vfsmount* %47, i32 -1, i32 2
+  %51 = bitcast i32* %mnt_parent.i.i.i.i to %struct.mount**
+  %52 = load %struct.mount*, %struct.mount** %51, align 4
+  %mnt_id_unique2.i.i.i.i = getelementptr inbounds %struct.mount, %struct.mount* %52, i32 0, i32 23
+  %53 = load i64, i64* %mnt_id_unique2.i.i.i.i, align 4
+  store i64 %53, i64* %mnt_parent_id.i.i.i.i, align 4
+  %54 = getelementptr %struct.vfsmount, %struct.vfsmount* %47, i32 8, i32 2
+  %55 = load i32, i32* %54, align 4
+  store i32 %55, i32* %mnt_id_old.i.i.i.i, align 4
+  %56 = load %struct.mount*, %struct.mount** %51, align 4
+  %mnt_id7.i.i.i.i = getelementptr inbounds %struct.mount, %struct.mount* %56, i32 0, i32 22
+  %57 = load i32, i32* %mnt_id7.i.i.i.i, align 4
+  store i32 %57, i32* %mnt_parent_id_old.i.i.i.i, align 4
+  %mnt_flags1.i.i.i.i.i = getelementptr %struct.vfsmount, %struct.vfsmount* %47, i32 0, i32 2
+  %58 = load volatile i32, i32* %mnt_flags1.i.i.i.i.i, align 4
+  %and.i.i.i.i.i = lshr i32 %58, 6
   %and.lobit.i.i.i.i.i = and i32 %and.i.i.i.i.i, 1
-  %and2.i.i.i.i.i = shl i32 %59, 1
-  %60 = and i32 %and2.i.i.i.i.i, 2
-  %61 = or i32 %60, %and.lobit.i.i.i.i.i
-  %62 = and i32 %and2.i.i.i.i.i, 4
-  %63 = or i32 %61, %62
-  %64 = and i32 %and2.i.i.i.i.i, 8
-  %65 = or i32 %63, %64
-  %and17.i.i.i.i.i = shl i32 %59, 3
-  %66 = and i32 %and17.i.i.i.i.i, 128
-  %67 = or i32 %65, %66
-  %68 = shl i32 %59, 14
-  %69 = and i32 %68, 2097152
-  %70 = or i32 %67, %69
-  %and27.i.i.i.i.i = and i32 %59, 8
+  %and2.i.i.i.i.i = shl i32 %58, 1
+  %59 = and i32 %and2.i.i.i.i.i, 2
+  %60 = or i32 %59, %and.lobit.i.i.i.i.i
+  %61 = and i32 %and2.i.i.i.i.i, 4
+  %62 = or i32 %60, %61
+  %63 = and i32 %and2.i.i.i.i.i, 8
+  %64 = or i32 %62, %63
+  %and17.i.i.i.i.i = shl i32 %58, 3
+  %65 = and i32 %and17.i.i.i.i.i, 128
+  %66 = or i32 %64, %65
+  %67 = shl i32 %58, 14
+  %68 = and i32 %67, 2097152
+  %69 = or i32 %66, %68
+  %and27.i.i.i.i.i = and i32 %58, 8
   %tobool28.not.i.i.i.i.i = icmp eq i32 %and27.i.i.i.i.i, 0
-  %71 = or i32 %70, 16
-  %and31.i.i.i.i.i = and i32 %59, 32
-  %72 = or i32 %70, %and31.i.i.i.i.i
-  %73 = xor i32 %72, 32
-  %attr_flags.6.in.i.i.i.i.i = select i1 %tobool28.not.i.i.i.i.i, i32 %73, i32 %71
+  %70 = or i32 %69, 16
+  %and31.i.i.i.i.i = and i32 %58, 32
+  %71 = or i32 %69, %and31.i.i.i.i.i
+  %72 = xor i32 %71, 32
+  %attr_flags.6.in.i.i.i.i.i = select i1 %tobool28.not.i.i.i.i.i, i32 %72, i32 %70
   %attr_flags.6.i.i.i.i.i = zext i32 %attr_flags.6.in.i.i.i.i.i to i64
-  %mnt_idmap.i.i.i.i.i.i.i = getelementptr inbounds %struct.vfsmount, %struct.vfsmount* %48, i32 0, i32 3
-  %74 = load volatile %struct.mnt_idmap*, %struct.mnt_idmap** %mnt_idmap.i.i.i.i.i.i.i, align 4
+  %mnt_idmap.i.i.i.i.i.i.i = getelementptr inbounds %struct.vfsmount, %struct.vfsmount* %47, i32 0, i32 3
+  %73 = load volatile %struct.mnt_idmap*, %struct.mnt_idmap** %mnt_idmap.i.i.i.i.i.i.i, align 4
   call void asm sideeffect "", "~{memory},~{dirflag},~{fpsr},~{flags}"() #7, !srcloc !61
-  %cmp.i.not.i.i.i.i.i = icmp eq %struct.mnt_idmap* %74, @nop_mnt_idmap
+  %cmp.i.not.i.i.i.i.i = icmp eq %struct.mnt_idmap* %73, @nop_mnt_idmap
   %or39.i.i.i.i.i = or i64 %attr_flags.6.i.i.i.i.i, 1048576
   %spec.select63.i.i.i.i.i = select i1 %cmp.i.not.i.i.i.i.i, i64 %attr_flags.6.i.i.i.i.i, i64 %or39.i.i.i.i.i
   store i64 %spec.select63.i.i.i.i.i, i64* %mnt_attr.i.i.i.i, align 4
-  %75 = load i32, i32* %mnt_flags1.i.i.i.i.i, align 4
-  %and.i45.i.i.i.i = shl i32 %75, 8
-  %76 = and i32 %and.i45.i.i.i.i, 1048576
-  %77 = zext i32 %76 to i64
-  %mnt_master.i.i.i.i.i = getelementptr %struct.vfsmount, %struct.vfsmount* %48, i32 6, i32 1
-  %78 = bitcast %struct.super_block** %mnt_master.i.i.i.i.i to %struct.mount**
-  %79 = load %struct.mount*, %struct.mount** %78, align 4
-  %tobool1.not.i.i.i.i.i = icmp eq %struct.mount* %79, null
-  %or3.i.i.i.i.i = or i64 %77, 524288
-  %propagation.1.i.i.i.i.i = select i1 %tobool1.not.i.i.i.i.i, i64 %77, i64 %or3.i.i.i.i.i
-  %and7.i.i.i.i.i = shl i32 %75, 4
-  %80 = and i32 %and7.i.i.i.i.i, 131072
-  %81 = zext i32 %80 to i64
-  %82 = or i64 %propagation.1.i.i.i.i.i, %81
-  %tobool12.not.i.i.i.i.i = icmp eq i64 %82, 0
-  %propagation.3.i.i.i.i.i = select i1 %tobool12.not.i.i.i.i.i, i64 262144, i64 %82
+  %74 = load i32, i32* %mnt_flags1.i.i.i.i.i, align 4
+  %and.i45.i.i.i.i = shl i32 %74, 8
+  %75 = and i32 %and.i45.i.i.i.i, 1048576
+  %76 = zext i32 %75 to i64
+  %mnt_master.i.i.i.i.i = getelementptr %struct.vfsmount, %struct.vfsmount* %47, i32 6, i32 1
+  %77 = bitcast %struct.super_block** %mnt_master.i.i.i.i.i to %struct.mount**
+  %78 = load %struct.mount*, %struct.mount** %77, align 4
+  %tobool1.not.i.i.i.i.i = icmp eq %struct.mount* %78, null
+  %or3.i.i.i.i.i = or i64 %76, 524288
+  %propagation.1.i.i.i.i.i = select i1 %tobool1.not.i.i.i.i.i, i64 %76, i64 %or3.i.i.i.i.i
+  %and7.i.i.i.i.i = shl i32 %74, 4
+  %79 = and i32 %and7.i.i.i.i.i, 131072
+  %80 = zext i32 %79 to i64
+  %81 = or i64 %propagation.1.i.i.i.i.i, %80
+  %tobool12.not.i.i.i.i.i = icmp eq i64 %81, 0
+  %propagation.3.i.i.i.i.i = select i1 %tobool12.not.i.i.i.i.i, i64 262144, i64 %81
   store i64 %propagation.3.i.i.i.i.i, i64* %mnt_propagation.i.i.i.i, align 4
-  %83 = load i32, i32* %mnt_flags1.i.i.i.i.i, align 4
-  %and.i73.i.i.i = and i32 %83, 4096
+  %82 = load i32, i32* %mnt_flags1.i.i.i.i.i, align 4
+  %and.i73.i.i.i = and i32 %82, 4096
   %tobool.not.i.i54.i.i = icmp eq i32 %and.i73.i.i.i, 0
   br i1 %tobool.not.i.i54.i.i, label %cond.end.i.i.i.i, label %cond.true.i.i.i.i
 
 cond.true.i.i.i.i:                                ; preds = %if.then15.i.i.i
-  %mnt_group_id.i.i.i.i = getelementptr %struct.vfsmount, %struct.vfsmount* %48, i32 9, i32 1
-  %84 = bitcast %struct.super_block** %mnt_group_id.i.i.i.i to i32*
-  %85 = load i32, i32* %84, align 4
+  %mnt_group_id.i.i.i.i = getelementptr %struct.vfsmount, %struct.vfsmount* %47, i32 9, i32 1
+  %83 = bitcast %struct.super_block** %mnt_group_id.i.i.i.i to i32*
+  %84 = load i32, i32* %83, align 4
   br label %cond.end.i.i.i.i
 
 cond.end.i.i.i.i:                                 ; preds = %cond.true.i.i.i.i, %if.then15.i.i.i
-  %cond.i.i.i.i = phi i32 [ %85, %cond.true.i.i.i.i ], [ 0, %if.then15.i.i.i ]
+  %cond.i.i.i.i = phi i32 [ %84, %cond.true.i.i.i.i ], [ 0, %if.then15.i.i.i ]
   %conv.i74.i.i.i = sext i32 %cond.i.i.i.i to i64
   store i64 %conv.i74.i.i.i, i64* %mnt_peer_group.i.i.i.i, align 4
-  %86 = load %struct.mount*, %struct.mount** %78, align 4
-  %tobool16.not.i.i.i.i = icmp eq %struct.mount* %86, null
+  %85 = load %struct.mount*, %struct.mount** %77, align 4
+  %tobool16.not.i.i.i.i = icmp eq %struct.mount* %85, null
   br i1 %tobool16.not.i.i.i.i, label %statmount_mnt_basic.exit.i.i.i, label %cond.true17.i.i.i.i
 
 cond.true17.i.i.i.i:                              ; preds = %cond.end.i.i.i.i
-  %mnt_group_id19.i.i.i.i = getelementptr inbounds %struct.mount, %struct.mount* %86, i32 0, i32 24
-  %87 = load i32, i32* %mnt_group_id19.i.i.i.i, align 4
+  %mnt_group_id19.i.i.i.i = getelementptr inbounds %struct.mount, %struct.mount* %85, i32 0, i32 24
+  %86 = load i32, i32* %mnt_group_id19.i.i.i.i, align 4
   br label %statmount_mnt_basic.exit.i.i.i
 
 statmount_mnt_basic.exit.i.i.i:                   ; preds = %cond.true17.i.i.i.i, %cond.end.i.i.i.i
-  %cond22.i.i.i.i = phi i32 [ %87, %cond.true17.i.i.i.i ], [ 0, %cond.end.i.i.i.i ]
+  %cond22.i.i.i.i = phi i32 [ %86, %cond.true17.i.i.i.i ], [ 0, %cond.end.i.i.i.i ]
   %conv23.i.i.i.i = sext i32 %cond22.i.i.i.i to i64
   store i64 %conv23.i.i.i.i, i64* %mnt_master25.i.i.i.i, align 4
   %.pre.i.i.i = load i64, i64* %.compoundliteral.sroa.414.0..sroa_idx15.i.i.i, align 4
   br label %if.end16.i.i.i
 
 if.end16.i.i.i:                                   ; preds = %statmount_mnt_basic.exit.i.i.i, %if.end11.i.i.i
-  %88 = phi i64 [ %.pre.i.i.i, %statmount_mnt_basic.exit.i.i.i ], [ %40, %if.end11.i.i.i ]
-  %and18.i.i.i = and i64 %88, 4
+  %87 = phi i64 [ %.pre.i.i.i, %statmount_mnt_basic.exit.i.i.i ], [ %39, %if.end11.i.i.i ]
+  %and18.i.i.i = and i64 %87, 4
   %tobool19.not.i.i.i = icmp eq i64 %and18.i.i.i, 0
   br i1 %tobool19.not.i.i.i, label %if.end21.i.i.i, label %if.then20.i.i.i
 
 if.then20.i.i.i:                                  ; preds = %if.end16.i.i.i
-  %89 = load %struct.vfsmount*, %struct.vfsmount** %.compoundliteral.sroa.4.0..sroa_idx13.i.i.i, align 4
-  %90 = load i64, i64* %mask.i.i.i.i, align 4
-  %or.i77.i.i.i = or i64 %90, 4
+  %88 = load %struct.vfsmount*, %struct.vfsmount** %.compoundliteral.sroa.4.0..sroa_idx13.i.i.i, align 4
+  %89 = load i64, i64* %mask.i.i.i.i, align 4
+  %or.i77.i.i.i = or i64 %89, 4
   store i64 %or.i77.i.i.i, i64* %mask.i.i.i.i, align 4
-  %mnt_master.i.i.i.i = getelementptr %struct.vfsmount, %struct.vfsmount* %89, i32 6, i32 1
-  %91 = bitcast %struct.super_block** %mnt_master.i.i.i.i to %struct.mount**
-  %92 = load %struct.mount*, %struct.mount** %91, align 4
-  %tobool.not.i78.i.i.i = icmp eq %struct.mount* %92, null
+  %mnt_master.i.i.i.i = getelementptr %struct.vfsmount, %struct.vfsmount* %88, i32 6, i32 1
+  %90 = bitcast %struct.super_block** %mnt_master.i.i.i.i to %struct.mount**
+  %91 = load %struct.mount*, %struct.mount** %90, align 4
+  %tobool.not.i78.i.i.i = icmp eq %struct.mount* %91, null
   br i1 %tobool.not.i78.i.i.i, label %if.end21.i.i.i, label %if.then.i.i55.i.i
 
 if.then.i.i55.i.i:                                ; preds = %if.then20.i.i.i
-  %add.ptr2.i.i.i.i.i = getelementptr %struct.vfsmount, %struct.vfsmount* %89, i32 -1
-  %93 = bitcast %struct.vfsmount* %add.ptr2.i.i.i.i.i to %struct.mount*
-  %94 = load %struct.fs_struct*, %struct.fs_struct** %fs.i.i, align 4
-  %root.i.i.i.i = getelementptr inbounds %struct.fs_struct, %struct.fs_struct* %94, i32 0, i32 5
-  %call2.i.i.i.i = call i32 @get_dominating_id(%struct.mount* inreg %93, %struct.path* inreg %root.i.i.i.i) #21
+  %add.ptr2.i.i.i.i.i = getelementptr %struct.vfsmount, %struct.vfsmount* %88, i32 -1
+  %92 = bitcast %struct.vfsmount* %add.ptr2.i.i.i.i.i to %struct.mount*
+  %93 = load %struct.fs_struct*, %struct.fs_struct** %fs.i.i, align 4
+  %root.i.i.i.i = getelementptr inbounds %struct.fs_struct, %struct.fs_struct* %93, i32 0, i32 5
+  %call2.i.i.i.i = call i32 @get_dominating_id(%struct.mount* inreg %92, %struct.path* inreg %root.i.i.i.i) #20
   %conv.i79.i.i.i = sext i32 %call2.i.i.i.i to i64
   store i64 %conv.i79.i.i.i, i64* %propagate_from.i.i.i.i, align 4
   %.pre108.i.i.i = load i64, i64* %.compoundliteral.sroa.414.0..sroa_idx15.i.i.i, align 4
   br label %if.end21.i.i.i
 
 if.end21.i.i.i:                                   ; preds = %if.then.i.i55.i.i, %if.then20.i.i.i, %if.end16.i.i.i
-  %95 = phi i64 [ %.pre108.i.i.i, %if.then.i.i55.i.i ], [ %88, %if.then20.i.i.i ], [ %88, %if.end16.i.i.i ]
-  %and23.i.i.i = and i64 %95, 32
+  %94 = phi i64 [ %.pre108.i.i.i, %if.then.i.i55.i.i ], [ %87, %if.then20.i.i.i ], [ %87, %if.end16.i.i.i ]
+  %and23.i.i.i = and i64 %94, 32
   %tobool24.not.i.i.i = icmp eq i64 %and23.i.i.i, 0
   br i1 %tobool24.not.i.i.i, label %land.lhs.true29.i.i.i, label %if.then25.i.i.i
 
 if.then25.i.i.i:                                  ; preds = %if.end21.i.i.i
-  %96 = load i32, i32* %count.i.i.i.i, align 4
-  store i32 %96, i32* %fs_type.i.i.i.i, align 4
-  %97 = load %struct.vfsmount*, %struct.vfsmount** %.compoundliteral.sroa.4.0..sroa_idx13.i.i.i, align 4
-  %mnt_sb.i.i.i.i.i = getelementptr inbounds %struct.vfsmount, %struct.vfsmount* %97, i32 0, i32 1
-  %98 = load %struct.super_block*, %struct.super_block** %mnt_sb.i.i.i.i.i, align 4
-  %s_type.i.i.i.i.i = getelementptr inbounds %struct.super_block, %struct.super_block* %98, i32 0, i32 5
-  %99 = load %struct.file_system_type*, %struct.file_system_type** %s_type.i.i.i.i.i, align 4
-  %name.i.i.i.i.i = getelementptr inbounds %struct.file_system_type, %struct.file_system_type* %99, i32 0, i32 0
-  %100 = load i8*, i8** %name.i.i.i.i.i, align 4
-  call void @seq_puts(%struct.seq_file* inreg %seq1.i.i.i.i, i8* inreg %100) #21
-  %101 = load i32, i32* %count.i.i.i.i, align 4
-  %102 = call { i32, i1 } @llvm.uadd.with.overflow.i32(i32 %101, i32 512) #7
-  %103 = extractvalue { i32, i1 } %102, 1
-  br i1 %103, label %do_statmount.exit.i.i, label %if.end35.i.i.i.i, !prof !7
+  %95 = load i32, i32* %count.i.i.i.i, align 4
+  store i32 %95, i32* %fs_type.i.i.i.i, align 4
+  %96 = load %struct.vfsmount*, %struct.vfsmount** %.compoundliteral.sroa.4.0..sroa_idx13.i.i.i, align 4
+  %mnt_sb.i.i.i.i.i = getelementptr inbounds %struct.vfsmount, %struct.vfsmount* %96, i32 0, i32 1
+  %97 = load %struct.super_block*, %struct.super_block** %mnt_sb.i.i.i.i.i, align 4
+  %s_type.i.i.i.i.i = getelementptr inbounds %struct.super_block, %struct.super_block* %97, i32 0, i32 5
+  %98 = load %struct.file_system_type*, %struct.file_system_type** %s_type.i.i.i.i.i, align 4
+  %name.i.i.i.i.i = getelementptr inbounds %struct.file_system_type, %struct.file_system_type* %98, i32 0, i32 0
+  %99 = load i8*, i8** %name.i.i.i.i.i, align 4
+  call void @seq_puts(%struct.seq_file* inreg %seq1.i.i.i.i, i8* inreg %99) #20
+  %100 = load i32, i32* %count.i.i.i.i, align 4
+  %101 = call { i32, i1 } @llvm.uadd.with.overflow.i32(i32 %100, i32 512) #7
+  %102 = extractvalue { i32, i1 } %101, 1
+  br i1 %102, label %do_statmount.exit.i.i, label %if.end35.i.i.i.i, !prof !7
 
 if.end35.i.i.i.i:                                 ; preds = %if.then25.i.i.i
-  %104 = extractvalue { i32, i1 } %102, 0
-  %105 = load i32, i32* %.compoundliteral.sroa.3.0..sroa_idx12.i.i.i, align 4
-  %cmp.not.i80.i.i.i = icmp ult i32 %104, %105
+  %103 = extractvalue { i32, i1 } %101, 0
+  %104 = load i32, i32* %.compoundliteral.sroa.3.0..sroa_idx12.i.i.i, align 4
+  %cmp.not.i80.i.i.i = icmp ult i32 %103, %104
   br i1 %cmp.not.i80.i.i.i, label %if.end37.i.i.i.i, label %do_statmount.exit.i.i
 
 if.end37.i.i.i.i:                                 ; preds = %if.end35.i.i.i.i
-  %106 = load i32, i32* %.compoundliteral.sroa.6.0..sroa_idx20.i.i.i, align 4
-  %cmp.i83.i.i.i.i = icmp eq i32 %101, %106
+  %105 = load i32, i32* %.compoundliteral.sroa.6.0..sroa_idx20.i.i.i, align 4
+  %cmp.i83.i.i.i.i = icmp eq i32 %100, %105
   br i1 %cmp.i83.i.i.i.i, label %do_statmount.exit.i.i, label %if.end46.i.i.i.i, !prof !7
 
 if.end46.i.i.i.i:                                 ; preds = %if.end37.i.i.i.i
-  %107 = load i8*, i8** %buf.i.i.i.i, align 4
-  %inc.i.i.i.i = add nuw i32 %101, 1
+  %106 = load i8*, i8** %buf.i.i.i.i, align 4
+  %inc.i.i.i.i = add nuw i32 %100, 1
   store i32 %inc.i.i.i.i, i32* %count.i.i.i.i, align 4
-  %arrayidx.i.i.i.i = getelementptr i8, i8* %107, i32 %101
+  %arrayidx.i.i.i.i = getelementptr i8, i8* %106, i32 %100
   store i8 0, i8* %arrayidx.i.i.i.i, align 1
-  %108 = load i64, i64* %mask.i.i.i.i, align 4
-  %or.i82.i.i.i = or i64 %108, 32
+  %107 = load i64, i64* %mask.i.i.i.i, align 4
+  %or.i82.i.i.i = or i64 %107, 32
   store i64 %or.i82.i.i.i, i64* %mask.i.i.i.i, align 4
   %.pre109.i.i.i = load i64, i64* %.compoundliteral.sroa.414.0..sroa_idx15.i.i.i, align 4
   br label %land.lhs.true29.i.i.i
 
 land.lhs.true29.i.i.i:                            ; preds = %if.end46.i.i.i.i, %if.end21.i.i.i
-  %109 = phi i64 [ %95, %if.end21.i.i.i ], [ %.pre109.i.i.i, %if.end46.i.i.i.i ]
-  %and31.i.i.i = and i64 %109, 8
+  %108 = phi i64 [ %94, %if.end21.i.i.i ], [ %.pre109.i.i.i, %if.end46.i.i.i.i ]
+  %and31.i.i.i = and i64 %108, 8
   %tobool32.not.i.i.i = icmp eq i64 %and31.i.i.i, 0
   br i1 %tobool32.not.i.i.i, label %land.lhs.true37.i.i.i, label %if.end35.i.i.i
 
 if.end35.i.i.i:                                   ; preds = %land.lhs.true29.i.i.i
-  %110 = load i32, i32* %count.i.i.i.i, align 4
-  store i32 %110, i32* %mnt_root.i.i.i, align 4
-  %111 = load %struct.vfsmount*, %struct.vfsmount** %.compoundliteral.sroa.4.0..sroa_idx13.i.i.i, align 4
-  %mnt_root.i.i.i.i = getelementptr inbounds %struct.vfsmount, %struct.vfsmount* %111, i32 0, i32 0
-  %112 = load %struct.dentry*, %struct.dentry** %mnt_root.i.i.i.i, align 4
-  %d_sb.i.i.i.i.i = getelementptr inbounds %struct.dentry, %struct.dentry* %112, i32 0, i32 9
-  %113 = load %struct.super_block*, %struct.super_block** %d_sb.i.i.i.i.i, align 4
-  %s_op.i.i.i.i.i = getelementptr inbounds %struct.super_block, %struct.super_block* %113, i32 0, i32 6
-  %114 = load %struct.super_operations*, %struct.super_operations** %s_op.i.i.i.i.i, align 32
-  %show_path.i.i.i.i.i = getelementptr inbounds %struct.super_operations, %struct.super_operations* %114, i32 0, i32 18
-  %115 = load i32 (%struct.seq_file*, %struct.dentry*)*, i32 (%struct.seq_file*, %struct.dentry*)** %show_path.i.i.i.i.i, align 4
-  %tobool.not.i.i.i.i.i = icmp eq i32 (%struct.seq_file*, %struct.dentry*)* %115, null
+  %109 = load i32, i32* %count.i.i.i.i, align 4
+  store i32 %109, i32* %mnt_root.i.i.i, align 4
+  %110 = load %struct.vfsmount*, %struct.vfsmount** %.compoundliteral.sroa.4.0..sroa_idx13.i.i.i, align 4
+  %mnt_root.i.i.i.i = getelementptr inbounds %struct.vfsmount, %struct.vfsmount* %110, i32 0, i32 0
+  %111 = load %struct.dentry*, %struct.dentry** %mnt_root.i.i.i.i, align 4
+  %d_sb.i.i.i.i.i = getelementptr inbounds %struct.dentry, %struct.dentry* %111, i32 0, i32 9
+  %112 = load %struct.super_block*, %struct.super_block** %d_sb.i.i.i.i.i, align 4
+  %s_op.i.i.i.i.i = getelementptr inbounds %struct.super_block, %struct.super_block* %112, i32 0, i32 6
+  %113 = load %struct.super_operations*, %struct.super_operations** %s_op.i.i.i.i.i, align 32
+  %show_path.i.i.i.i.i = getelementptr inbounds %struct.super_operations, %struct.super_operations* %113, i32 0, i32 18
+  %114 = load i32 (%struct.seq_file*, %struct.dentry*)*, i32 (%struct.seq_file*, %struct.dentry*)** %show_path.i.i.i.i.i, align 4
+  %tobool.not.i.i.i.i.i = icmp eq i32 (%struct.seq_file*, %struct.dentry*)* %114, null
   br i1 %tobool.not.i.i.i.i.i, label %show_path.exit.thread.i.i.i.i, label %show_path.exit.i.i.i.i
 
 show_path.exit.thread.i.i.i.i:                    ; preds = %if.end35.i.i.i
-  %call4.i.i.i.i.i = call i32 @seq_dentry(%struct.seq_file* inreg %seq1.i.i.i.i, %struct.dentry* inreg %112, i8* inreg getelementptr inbounds ([5 x i8], [5 x i8]* @.str.3, i32 0, i32 0)) #21
+  %call4.i.i.i.i.i = call i32 @seq_dentry(%struct.seq_file* inreg %seq1.i.i.i.i, %struct.dentry* inreg %111, i8* inreg getelementptr inbounds ([5 x i8], [5 x i8]* @.str.3, i32 0, i32 0)) #20
   br label %if.end.i.i73.i.i
 
 show_path.exit.i.i.i.i:                           ; preds = %if.end35.i.i.i
-  %call.i.i.i69.i.i = call i32 %115(%struct.seq_file* inreg %seq1.i.i.i.i, %struct.dentry* inreg %112) #21
+  %call.i.i.i69.i.i = call i32 %114(%struct.seq_file* inreg %seq1.i.i.i.i, %struct.dentry* inreg %111) #20
   %tobool.not.i.i70.i.i = icmp eq i32 %call.i.i.i69.i.i, 0
   br i1 %tobool.not.i.i70.i.i, label %if.end.i.i73.i.i, label %show_path.exit.i.i.sw.epilog.i_crit_edge.i.i
 
@@ -518,31 +497,31 @@ show_path.exit.i.i.sw.epilog.i_crit_edge.i.i:     ; preds = %show_path.exit.i.i.
   br label %sw.epilog.i.i.i
 
 if.end.i.i73.i.i:                                 ; preds = %show_path.exit.i.i.i.i, %show_path.exit.thread.i.i.i.i
-  %116 = load i32, i32* %count.i.i.i.i, align 4
-  %117 = load i32, i32* %.compoundliteral.sroa.6.0..sroa_idx20.i.i.i, align 4
-  %cmp.i.i.i72.i.i = icmp eq i32 %116, %117
+  %115 = load i32, i32* %count.i.i.i.i, align 4
+  %116 = load i32, i32* %.compoundliteral.sroa.6.0..sroa_idx20.i.i.i, align 4
+  %cmp.i.i.i72.i.i = icmp eq i32 %115, %116
   br i1 %cmp.i.i.i72.i.i, label %sw.epilog.i.i.i, label %if.end5.i.i.i.i, !prof !7
 
 if.end5.i.i.i.i:                                  ; preds = %if.end.i.i73.i.i
-  %118 = load i8*, i8** %buf.i.i.i.i, align 4
-  %arrayidx.i.i75.i.i = getelementptr i8, i8* %118, i32 %116
+  %117 = load i8*, i8** %buf.i.i.i.i, align 4
+  %arrayidx.i.i75.i.i = getelementptr i8, i8* %117, i32 %115
   store i8 0, i8* %arrayidx.i.i75.i.i, align 1
-  store i32 %110, i32* %count.i.i.i.i, align 4
-  %119 = load i8*, i8** %buf.i.i.i.i, align 4
-  %add.ptr.i.i.i.i = getelementptr i8, i8* %119, i32 %110
-  %call.i22.i.i.i.i = call i32 @string_unescape(i8* inreg %add.ptr.i.i.i.i, i8* inreg %add.ptr.i.i.i.i, i32 inreg 0, i32 2) #21
+  store i32 %109, i32* %count.i.i.i.i, align 4
+  %118 = load i8*, i8** %buf.i.i.i.i, align 4
+  %add.ptr.i.i.i.i = getelementptr i8, i8* %118, i32 %109
+  %call.i22.i.i.i.i = call i32 @string_unescape(i8* inreg %add.ptr.i.i.i.i, i8* inreg %add.ptr.i.i.i.i, i32 inreg 0, i32 2) #20
   %cmp.i23.i.i.i.i = icmp slt i32 %call.i22.i.i.i.i, 0
   br i1 %cmp.i23.i.i.i.i, label %if.then.i26.i.i.i.i, label %do.body.i.i.i76.i.i
 
 if.then.i26.i.i.i.i:                              ; preds = %if.end5.i.i.i.i
-  %120 = load i32, i32* %.compoundliteral.sroa.6.0..sroa_idx20.i.i.i, align 4
+  %119 = load i32, i32* %.compoundliteral.sroa.6.0..sroa_idx20.i.i.i, align 4
   br label %cleanup.sink.split.i.i.i.i
 
 do.body.i.i.i76.i.i:                              ; preds = %if.end5.i.i.i.i
-  %121 = load i32, i32* %count.i.i.i.i, align 4
-  %add.i.i.i.i.i = add i32 %121, %call.i22.i.i.i.i
-  %122 = load i32, i32* %.compoundliteral.sroa.6.0..sroa_idx20.i.i.i, align 4
-  %cmp3.i.i.i.i.i = icmp ugt i32 %add.i.i.i.i.i, %122
+  %120 = load i32, i32* %count.i.i.i.i, align 4
+  %add.i.i.i.i.i = add i32 %120, %call.i22.i.i.i.i
+  %121 = load i32, i32* %.compoundliteral.sroa.6.0..sroa_idx20.i.i.i, align 4
+  %cmp3.i.i.i.i.i = icmp ugt i32 %add.i.i.i.i.i, %121
   br i1 %cmp3.i.i.i.i.i, label %do.body8.i.i.i.i.i, label %cleanup.sink.split.i.i.i.i, !prof !7
 
 do.body8.i.i.i.i.i:                               ; preds = %do.body.i.i.i76.i.i
@@ -550,26 +529,26 @@ do.body8.i.i.i.i.i:                               ; preds = %do.body.i.i.i76.i.i
   unreachable
 
 cleanup.sink.split.i.i.i.i:                       ; preds = %do.body.i.i.i76.i.i, %if.then.i26.i.i.i.i
-  %add.i.sink.i.i.i.i = phi i32 [ %120, %if.then.i26.i.i.i.i ], [ %add.i.i.i.i.i, %do.body.i.i.i76.i.i ]
+  %add.i.sink.i.i.i.i = phi i32 [ %119, %if.then.i26.i.i.i.i ], [ %add.i.i.i.i.i, %do.body.i.i.i76.i.i ]
   store i32 %add.i.sink.i.i.i.i, i32* %count.i.i.i.i, align 4
   br label %sw.epilog.i.i.i
 
 sw.epilog.i.i.i:                                  ; preds = %cleanup.sink.split.i.i.i.i, %if.end.i.i73.i.i, %show_path.exit.i.i.sw.epilog.i_crit_edge.i.i
-  %123 = phi i32 [ %.pre.i.i, %show_path.exit.i.i.sw.epilog.i_crit_edge.i.i ], [ %116, %if.end.i.i73.i.i ], [ %add.i.sink.i.i.i.i, %cleanup.sink.split.i.i.i.i ]
+  %122 = phi i32 [ %.pre.i.i, %show_path.exit.i.i.sw.epilog.i_crit_edge.i.i ], [ %115, %if.end.i.i73.i.i ], [ %add.i.sink.i.i.i.i, %cleanup.sink.split.i.i.i.i ]
   %ret.0.i.i.i = phi i32 [ %call.i.i.i69.i.i, %show_path.exit.i.i.sw.epilog.i_crit_edge.i.i ], [ -11, %if.end.i.i73.i.i ], [ 0, %cleanup.sink.split.i.i.i.i ]
-  %124 = call { i32, i1 } @llvm.uadd.with.overflow.i32(i32 %123, i32 512) #7
-  %125 = extractvalue { i32, i1 } %124, 1
-  br i1 %125, label %do_statmount.exit.i.i, label %if.end35.i79.i.i, !prof !7
+  %123 = call { i32, i1 } @llvm.uadd.with.overflow.i32(i32 %122, i32 512) #7
+  %124 = extractvalue { i32, i1 } %123, 1
+  br i1 %124, label %do_statmount.exit.i.i, label %if.end35.i79.i.i, !prof !7
 
 if.end35.i79.i.i:                                 ; preds = %sw.epilog.i.i.i
-  %126 = extractvalue { i32, i1 } %124, 0
-  %127 = load i32, i32* %.compoundliteral.sroa.3.0..sroa_idx12.i.i.i, align 4
-  %cmp.not.i78.i.i = icmp ult i32 %126, %127
+  %125 = extractvalue { i32, i1 } %123, 0
+  %126 = load i32, i32* %.compoundliteral.sroa.3.0..sroa_idx12.i.i.i, align 4
+  %cmp.not.i78.i.i = icmp ult i32 %125, %126
   br i1 %cmp.not.i78.i.i, label %if.end37.i.i.i, label %do_statmount.exit.i.i
 
 if.end37.i.i.i:                                   ; preds = %if.end35.i79.i.i
-  %128 = load i32, i32* %.compoundliteral.sroa.6.0..sroa_idx20.i.i.i, align 4
-  %cmp.i83.i.i.i = icmp eq i32 %123, %128
+  %127 = load i32, i32* %.compoundliteral.sroa.6.0..sroa_idx20.i.i.i, align 4
+  %cmp.i83.i.i.i = icmp eq i32 %122, %127
   br i1 %cmp.i83.i.i.i, label %do_statmount.exit.i.i, label %if.end46.i.i.i, !prof !7
 
 if.end46.i.i.i:                                   ; preds = %if.end37.i.i.i
@@ -577,51 +556,51 @@ if.end46.i.i.i:                                   ; preds = %if.end37.i.i.i
   br i1 %tobool47.not.i.i.i, label %if.end35.land.lhs.true37_crit_edge.i.i.i, label %do_statmount.exit.i.i
 
 if.end35.land.lhs.true37_crit_edge.i.i.i:         ; preds = %if.end46.i.i.i
-  %129 = load i8*, i8** %buf.i.i.i.i, align 4
-  %inc.i.i.i = add nuw i32 %123, 1
+  %128 = load i8*, i8** %buf.i.i.i.i, align 4
+  %inc.i.i.i = add nuw i32 %122, 1
   store i32 %inc.i.i.i, i32* %count.i.i.i.i, align 4
-  %arrayidx.i.i.i = getelementptr i8, i8* %129, i32 %123
+  %arrayidx.i.i.i = getelementptr i8, i8* %128, i32 %122
   store i8 0, i8* %arrayidx.i.i.i, align 1
-  %130 = load i64, i64* %mask.i.i.i.i, align 4
-  %or.i.i.i = or i64 %130, 8
+  %129 = load i64, i64* %mask.i.i.i.i, align 4
+  %or.i.i.i = or i64 %129, 8
   store i64 %or.i.i.i, i64* %mask.i.i.i.i, align 4
   %.pre110.i.i.i = load i64, i64* %.compoundliteral.sroa.414.0..sroa_idx15.i.i.i, align 4
   br label %land.lhs.true37.i.i.i
 
 land.lhs.true37.i.i.i:                            ; preds = %if.end35.land.lhs.true37_crit_edge.i.i.i, %land.lhs.true29.i.i.i
-  %131 = phi i64 [ %.pre110.i.i.i, %if.end35.land.lhs.true37_crit_edge.i.i.i ], [ %109, %land.lhs.true29.i.i.i ]
-  %and39.i.i.i = and i64 %131, 16
+  %130 = phi i64 [ %.pre110.i.i.i, %if.end35.land.lhs.true37_crit_edge.i.i.i ], [ %108, %land.lhs.true29.i.i.i ]
+  %and39.i.i.i = and i64 %130, 16
   %tobool40.not.i.i.i = icmp eq i64 %and39.i.i.i, 0
   br i1 %tobool40.not.i.i.i, label %do_statmount.exit.i.i, label %if.then41.i.i.i
 
 if.then41.i.i.i:                                  ; preds = %land.lhs.true37.i.i.i
-  %132 = load i32, i32* %count.i.i.i.i, align 4
-  store i32 %132, i32* %mnt_point.i.i.i.i, align 4
-  %133 = load %struct.vfsmount*, %struct.vfsmount** %.compoundliteral.sroa.4.0..sroa_idx13.i.i.i, align 4
+  %131 = load i32, i32* %count.i.i.i.i, align 4
+  store i32 %131, i32* %mnt_point.i.i.i.i, align 4
+  %132 = load %struct.vfsmount*, %struct.vfsmount** %.compoundliteral.sroa.4.0..sroa_idx13.i.i.i, align 4
   call void @llvm.lifetime.start.p0i8(i64 8, i8* nonnull %12) #7
   store i64 0, i64* %13, align 8, !annotation !73
-  store %struct.vfsmount* %133, %struct.vfsmount** %mnt2.i.i.i.i.i, align 8
-  %mnt_root.i81.i.i.i.i = getelementptr inbounds %struct.vfsmount, %struct.vfsmount* %133, i32 0, i32 0
-  %134 = load %struct.dentry*, %struct.dentry** %mnt_root.i81.i.i.i.i, align 4
-  store %struct.dentry* %134, %struct.dentry** %dentry.i.i.i.i.i, align 4
-  %call.i.i.i.i.i = call i32 @seq_path_root(%struct.seq_file* inreg %seq1.i.i.i.i, %struct.path* inreg nonnull %mnt_path.i.i.i.i.i, %struct.path* inreg %.compoundliteral.sroa.5.0..sroa_idx.i.i.i, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.25, i32 0, i32 0)) #21
+  store %struct.vfsmount* %132, %struct.vfsmount** %mnt2.i.i.i.i.i, align 8
+  %mnt_root.i81.i.i.i.i = getelementptr inbounds %struct.vfsmount, %struct.vfsmount* %132, i32 0, i32 0
+  %133 = load %struct.dentry*, %struct.dentry** %mnt_root.i81.i.i.i.i, align 4
+  store %struct.dentry* %133, %struct.dentry** %dentry.i.i.i.i.i, align 4
+  %call.i.i.i.i.i = call i32 @seq_path_root(%struct.seq_file* inreg %seq1.i.i.i.i, %struct.path* inreg nonnull %mnt_path.i.i.i.i.i, %struct.path* inreg %.compoundliteral.sroa.5.0..sroa_idx.i.i.i, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.25, i32 0, i32 0)) #20
   %cmp.i.i.i.i.i = icmp eq i32 %call.i.i.i.i.i, 1
   %cond.i.i.i.i.i = select i1 %cmp.i.i.i.i.i, i32 0, i32 %call.i.i.i.i.i
   call void @llvm.lifetime.end.p0i8(i64 8, i8* nonnull %12) #7
-  %135 = load i32, i32* %count.i.i.i.i, align 4
-  %136 = call { i32, i1 } @llvm.uadd.with.overflow.i32(i32 %135, i32 512) #7
-  %137 = extractvalue { i32, i1 } %136, 1
-  br i1 %137, label %do_statmount.exit.i.i, label %if.end35.i87.i.i.i, !prof !7
+  %134 = load i32, i32* %count.i.i.i.i, align 4
+  %135 = call { i32, i1 } @llvm.uadd.with.overflow.i32(i32 %134, i32 512) #7
+  %136 = extractvalue { i32, i1 } %135, 1
+  br i1 %136, label %do_statmount.exit.i.i, label %if.end35.i87.i.i.i, !prof !7
 
 if.end35.i87.i.i.i:                               ; preds = %if.then41.i.i.i
-  %138 = extractvalue { i32, i1 } %136, 0
-  %139 = load i32, i32* %.compoundliteral.sroa.3.0..sroa_idx12.i.i.i, align 4
-  %cmp.not.i86.i.i.i = icmp ult i32 %138, %139
+  %137 = extractvalue { i32, i1 } %135, 0
+  %138 = load i32, i32* %.compoundliteral.sroa.3.0..sroa_idx12.i.i.i, align 4
+  %cmp.not.i86.i.i.i = icmp ult i32 %137, %138
   br i1 %cmp.not.i86.i.i.i, label %if.end37.i90.i.i.i, label %do_statmount.exit.i.i
 
 if.end37.i90.i.i.i:                               ; preds = %if.end35.i87.i.i.i
-  %140 = load i32, i32* %.compoundliteral.sroa.6.0..sroa_idx20.i.i.i, align 4
-  %cmp.i83.i89.i.i.i = icmp eq i32 %135, %140
+  %139 = load i32, i32* %.compoundliteral.sroa.6.0..sroa_idx20.i.i.i, align 4
+  %cmp.i83.i89.i.i.i = icmp eq i32 %134, %139
   br i1 %cmp.i83.i89.i.i.i, label %do_statmount.exit.i.i, label %if.end46.i91.i.i.i, !prof !7
 
 if.end46.i91.i.i.i:                               ; preds = %if.end37.i90.i.i.i
@@ -629,83 +608,83 @@ if.end46.i91.i.i.i:                               ; preds = %if.end37.i90.i.i.i
   br i1 %tobool47.not.i.i.i.i, label %if.end49.i.i.i.i, label %do_statmount.exit.i.i
 
 if.end49.i.i.i.i:                                 ; preds = %if.end46.i91.i.i.i
-  %141 = load i8*, i8** %buf.i.i.i.i, align 4
-  %inc.i93.i.i.i = add nuw i32 %135, 1
+  %140 = load i8*, i8** %buf.i.i.i.i, align 4
+  %inc.i93.i.i.i = add nuw i32 %134, 1
   store i32 %inc.i93.i.i.i, i32* %count.i.i.i.i, align 4
-  %arrayidx.i94.i.i.i = getelementptr i8, i8* %141, i32 %135
+  %arrayidx.i94.i.i.i = getelementptr i8, i8* %140, i32 %134
   store i8 0, i8* %arrayidx.i94.i.i.i, align 1
-  %142 = load i64, i64* %mask.i.i.i.i, align 4
-  %or.i96.i.i.i = or i64 %142, 16
+  %141 = load i64, i64* %mask.i.i.i.i, align 4
+  %or.i96.i.i.i = or i64 %141, 16
   store i64 %or.i96.i.i.i, i64* %mask.i.i.i.i, align 4
   br label %do_statmount.exit.i.i
 
 do_statmount.exit.i.i:                            ; preds = %land.rhs.i.i.i.i, %if.end49.i.i.i.i, %if.end46.i91.i.i.i, %if.end37.i90.i.i.i, %if.end35.i87.i.i.i, %if.then41.i.i.i, %land.lhs.true37.i.i.i, %if.end46.i.i.i, %if.end37.i.i.i, %if.end35.i79.i.i, %sw.epilog.i.i.i, %if.end37.i.i.i.i, %if.end35.i.i.i.i, %if.then25.i.i.i, %if.end.i51.i.i, %is_path_reachable.exit.i.i.i
   %retval.0.i56.i.i = phi i32 [ -1, %is_path_reachable.exit.i.i.i ], [ %call6.i.i.i, %if.end.i51.i.i ], [ 0, %land.lhs.true37.i.i.i ], [ 0, %if.end49.i.i.i.i ], [ -75, %if.then41.i.i.i ], [ -75, %if.end35.i87.i.i.i ], [ -11, %if.end37.i90.i.i.i ], [ %cond.i.i.i.i.i, %if.end46.i91.i.i.i ], [ -11, %if.end37.i.i.i.i ], [ -75, %if.end35.i.i.i.i ], [ -75, %if.then25.i.i.i ], [ %ret.0.i.i.i, %if.end46.i.i.i ], [ -11, %if.end37.i.i.i ], [ -75, %if.end35.i79.i.i ], [ -75, %sw.epilog.i.i.i ], [ -1, %land.rhs.i.i.i.i ]
-  call void @path_put(%struct.path* inreg %.compoundliteral.sroa.5.0..sroa_idx.i.i.i) #21
-  call void @up_read(%struct.rw_semaphore* inreg nonnull @namespace_sem) #21
+  call void @path_put(%struct.path* inreg %.compoundliteral.sroa.5.0..sroa_idx.i.i.i) #20
+  call void @up_read(%struct.rw_semaphore* inreg nonnull @namespace_sem) #20
   %tobool18.not.i.i = icmp eq i32 %retval.0.i56.i.i, 0
   br i1 %tobool18.not.i.i, label %if.then19.i.i, label %if.end21.i.i
 
 if.then19.i.i:                                    ; preds = %do_statmount.exit.i.i
-  %143 = load i32, i32* %.compoundliteral.sroa.3.0..sroa_idx12.i.i.i, align 4
-  %cmp.i57.i.i = icmp ult i32 %143, 512
-  %cond.i.i.i = select i1 %cmp.i57.i.i, i32 %143, i32 512
-  %144 = load i32, i32* %count.i.i.i.i, align 4
-  %tobool.not.i58.i.i = icmp eq i32 %144, 0
+  %142 = load i32, i32* %.compoundliteral.sroa.3.0..sroa_idx12.i.i.i, align 4
+  %cmp.i57.i.i = icmp ult i32 %142, 512
+  %cond.i.i.i = select i1 %cmp.i57.i.i, i32 %142, i32 512
+  %143 = load i32, i32* %count.i.i.i.i, align 4
+  %tobool.not.i58.i.i = icmp eq i32 %143, 0
   br i1 %tobool.not.i58.i.i, label %if.end.i63.i.i, label %land.lhs.true.i60.i.i
 
 land.lhs.true.i60.i.i:                            ; preds = %if.then19.i.i
-  %cmp9.i.i.i.i.i = icmp slt i32 %144, 0
+  %cmp9.i.i.i.i.i = icmp slt i32 %143, 0
   br i1 %cmp9.i.i.i.i.i, label %do.body.i.i.i.i.i, label %copy_to_user.exit.i.i.i, !prof !7
 
 do.body.i.i.i.i.i:                                ; preds = %land.lhs.true.i60.i.i
   call void asm sideeffect "1:\09.byte 0x0f, 0x0b\0A.pushsection __bug_table,\22aw\22\0A2:\09.long 1b\09# bug_entry::bug_addr\0A\09.long ${0:c}\09# bug_entry::file\0A\09.word ${1:c}\09# bug_entry::line\0A\09.word ${2:c}\09# bug_entry::flags\0A\09.org 2b+${3:c}\0A.popsection\0A", "i,i,i,i,~{dirflag},~{fpsr},~{flags}"(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.21, i32 0, i32 0), i32 249, i32 2307, i32 12) #7, !srcloc !111
-  br label %if.end21.thread.i.i
+  br label %cleanup.sink.split.i.i
 
 copy_to_user.exit.i.i.i:                          ; preds = %land.lhs.true.i60.i.i
-  %145 = load i8*, i8** %.compoundliteral.sroa.518.0..sroa_idx19.i.i.i, align 4
-  %146 = load i8*, i8** %14, align 4
-  %add.ptr.i.i.i = getelementptr i8, i8* %146, i32 512
-  %call1.i.i.i.i = call i32 @_copy_to_user(i8* inreg %add.ptr.i.i.i, i8* inreg %145, i32 inreg %144) #21
+  %144 = load i8*, i8** %.compoundliteral.sroa.518.0..sroa_idx19.i.i.i, align 4
+  %145 = load i8*, i8** %14, align 4
+  %add.ptr.i.i.i = getelementptr i8, i8* %145, i32 512
+  %call1.i.i.i.i = call i32 @_copy_to_user(i8* inreg %add.ptr.i.i.i, i8* inreg %144, i32 inreg %143) #20
   %tobool5.not.i.i.i = icmp eq i32 %call1.i.i.i.i, 0
-  br i1 %tobool5.not.i.i.i, label %copy_to_user.exit.if.end_crit_edge.i.i.i, label %if.end21.thread.i.i
+  br i1 %tobool5.not.i.i.i, label %copy_to_user.exit.if.end_crit_edge.i.i.i, label %cleanup.sink.split.i.i
 
 copy_to_user.exit.if.end_crit_edge.i.i.i:         ; preds = %copy_to_user.exit.i.i.i
   %.pre.i61.i.i = load i32, i32* %count.i.i.i.i, align 4
   br label %if.end.i63.i.i
 
 if.end.i63.i.i:                                   ; preds = %copy_to_user.exit.if.end_crit_edge.i.i.i, %if.then19.i.i
-  %147 = phi i32 [ %.pre.i61.i.i, %copy_to_user.exit.if.end_crit_edge.i.i.i ], [ 0, %if.then19.i.i ]
-  %add.i.i.i = add i32 %147, %cond.i.i.i
+  %146 = phi i32 [ %.pre.i61.i.i, %copy_to_user.exit.if.end_crit_edge.i.i.i ], [ 0, %if.then19.i.i ]
+  %add.i.i.i = add i32 %146, %cond.i.i.i
   store i32 %add.i.i.i, i32* %size.i62.i.i, align 4
-  %148 = load i8*, i8** %14, align 4
-  %call1.i38.i.i.i = call i32 @_copy_to_user(i8* inreg %148, i8* inreg %15, i32 inreg %cond.i.i.i) #21
+  %147 = load i8*, i8** %14, align 4
+  %call1.i38.i.i.i = call i32 @_copy_to_user(i8* inreg %147, i8* inreg %15, i32 inreg %cond.i.i.i) #20
   %phi.cmp.i.i.i = icmp eq i32 %call1.i38.i.i.i, 0
   %phi.sel.i.i.i = select i1 %phi.cmp.i.i.i, i32 0, i32 -14
-  br label %if.end21.thread.i.i
-
-if.end21.thread.i.i:                              ; preds = %if.end.i63.i.i, %copy_to_user.exit.i.i.i, %do.body.i.i.i.i.i
-  %ret.0.ph.i.i = phi i32 [ %phi.sel.i.i.i, %if.end.i63.i.i ], [ -14, %do.body.i.i.i.i.i ], [ -14, %copy_to_user.exit.i.i.i ]
-  %149 = load i8*, i8** %.compoundliteral.sroa.518.0..sroa_idx19.i.i.i, align 4
-  call void @kvfree(i8* inreg %149) #21
-  br label %__se_sys_statmount.exit
+  br label %cleanup.sink.split.i.i
 
 if.end21.i.i:                                     ; preds = %do_statmount.exit.i.i
-  %150 = load i8*, i8** %.compoundliteral.sroa.518.0..sroa_idx19.i.i.i, align 4
-  call void @kvfree(i8* inreg %150) #21
+  %148 = load i8*, i8** %.compoundliteral.sroa.518.0..sroa_idx19.i.i.i, align 4
+  call void @kvfree(i8* inreg %148) #20
   %cmp.not.i65.i.i = icmp eq i32 %retval.0.i56.i.i, -11
   br i1 %cmp.not.i65.i.i, label %retry_statmount.exit.i.i, label %__se_sys_statmount.exit, !prof !7
 
 retry_statmount.exit.i.i:                         ; preds = %if.end21.i.i
-  %151 = call { i32, i1 } @llvm.umul.with.overflow.i32(i32 %seq_size.0.i.i, i32 2) #7
-  %152 = extractvalue { i32, i1 } %151, 1
-  %153 = extractvalue { i32, i1 } %151, 0
-  %cmp10.i.i.i = icmp ugt i32 %153, 2147479552
-  %154 = or i1 %152, %cmp10.i.i.i
-  br i1 %154, label %__se_sys_statmount.exit, label %retry.i.i
-
-__se_sys_statmount.exit:                          ; preds = %if.end21.i.i, %retry_statmount.exit.i.i, %entry, %if.end.i.i, %if.end.i.i.i, %if.end14.i.i.i, %if.then36.i.i.i.i, %if.end8.i.i.i.i.i.i, %prepare_kstatmount.exit.thread.i.i, %if.then11.i.i, %if.end21.thread.i.i
-  %retval.0.i.i = phi i32 [ -2, %if.then11.i.i ], [ -22, %entry ], [ %retval.0.i43.ph.i.i, %prepare_kstatmount.exit.thread.i.i ], [ -14, %if.end8.i.i.i.i.i.i ], [ %..i.i.i.i, %if.then36.i.i.i.i ], [ -22, %if.end14.i.i.i ], [ -7, %if.end.i.i.i ], [ -14, %if.end.i.i ], [ %ret.0.ph.i.i, %if.end21.thread.i.i ], [ %retval.0.i56.i.i, %if.end21.i.i ], [ -11, %retry_statmount.exit.i.i ]
+  %149 = call { i32, i1 } @llvm.umul.with.overflow.i32(i32 %seq_size.0.i.i, i32 2) #7
+  %150 = extractvalue { i32, i1 } %149, 1
+  %151 = extractvalue { i32, i1 } %149, 0
+  %cmp10.i.i.i = icmp ugt i32 %151, 2147479552
+  %152 = or i1 %150, %cmp10.i.i.i
+  br i1 %152, label %__se_sys_statmount.exit, label %retry.i.i
+
+cleanup.sink.split.i.i:                           ; preds = %if.end.i63.i.i, %copy_to_user.exit.i.i.i, %do.body.i.i.i.i.i, %if.then11.i.i
+  %retval.0.ph.i.i = phi i32 [ -2, %if.then11.i.i ], [ %phi.sel.i.i.i, %if.end.i63.i.i ], [ -14, %do.body.i.i.i.i.i ], [ -14, %copy_to_user.exit.i.i.i ]
+  %153 = load i8*, i8** %.compoundliteral.sroa.518.0..sroa_idx19.i.i.i, align 4
+  call void @kvfree(i8* inreg %153) #20
+  br label %__se_sys_statmount.exit
+
+__se_sys_statmount.exit:                          ; preds = %retry.i.i, %if.end21.i.i, %retry_statmount.exit.i.i, %entry, %if.end.i.i, %if.end.i.i.i, %if.end14.i.i.i, %if.then36.i.i.i.i, %if.end8.i.i.i.i.i.i, %retry.preheader.i.i, %cleanup.sink.split.i.i
+  %retval.0.i.i = phi i32 [ -22, %entry ], [ -14, %if.end8.i.i.i.i.i.i ], [ %..i.i.i.i, %if.then36.i.i.i.i ], [ -22, %if.end14.i.i.i ], [ -7, %if.end.i.i.i ], [ -14, %if.end.i.i ], [ -14, %retry.preheader.i.i ], [ %retval.0.ph.i.i, %cleanup.sink.split.i.i ], [ %retval.0.i56.i.i, %if.end21.i.i ], [ -12, %retry.i.i ], [ -11, %retry_statmount.exit.i.i ]
   call void @llvm.lifetime.end.p0i8(i64 612, i8* nonnull %7) #7
   call void @llvm.lifetime.end.p0i8(i64 24, i8* nonnull %6) #7
   ret i32 %retval.0.i.i

I am able to avoid this warning with the following diff (which just cause the allocations of the compound literal to be in prepare_kstatmount()) but I am not sure if that would be acceptable upstream.

diff --git a/fs/namespace.c b/fs/namespace.c
index 0771072dabed..7800adc1dafe 100644
--- a/fs/namespace.c
+++ b/fs/namespace.c
@@ -4950,6 +4950,9 @@ static inline bool retry_statmount(const long ret, size_t *seq_size)
 	return true;
 }
 
+#if defined(CONFIG_CC_IS_CLANG) && CONFIG_CLANG_VERSION < 140000
+noinline_for_stack
+#endif
 static int prepare_kstatmount(struct kstatmount *ks, struct mnt_id_req *kreq,
 			      struct statmount __user *buf, size_t bufsize,
 			      size_t seq_size)

[nickdesaulniers]

upstream issue for compound literals: llvm/llvm-project#68746

[nathanchance]

I see Arnd sent a patch for this tangentially: https://lore.kernel.org/20231212214819.247611-1-arnd@kernel.org/

[nathanchance]

Arnd's v2 got squashed into the original change. As there is an open issue around this already, I will close this up with a workaround applied label.