#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
void *malloc(int);
int /*<<< orphan*/ mystrcat(char *, char *);
int /*<<< orphan*/ strcpy(char *, char *);
int strlen(char *);
scalar_t__ strncmp(char *, char *, int);
char **getPathsAppendedWithCommand(char *command, char *envp[]) {
  int i, j = 0, k = 0;
  char *pathvar = NULL;
  char **paths = NULL;
  for (i = 0; envp[i]; i++) {
    if (strncmp(envp[i], "PATH", 4) == 0) {
      pathvar = malloc(strlen(envp[i]) - 4);
      strcpy(pathvar, envp[i] + 5);
      break;
    } else
      continue;
  }
  paths = malloc(sizeof(char *) * 128);
  for (i = 0; i < 128; i++) {
    paths[i] = NULL;
  }
  paths[0] = malloc(sizeof(char) * 128);
  for (i = 0; pathvar[i] != '\0'; i++) {
    if (pathvar[i] != ':') {
      paths[j][k] = pathvar[i];
      k++;
    } else {
      paths[j][k] = '\0';
      j++;
      paths[j] = malloc(sizeof(char) * 128);
      k = 0;
    }
  }
  paths[j][k] = '\0';
  for (i = 0; paths[i]; i++) {
    mystrcat(paths[i], "/");
    mystrcat(paths[i], command);
  }
  return paths;
}


x86 assembly (clang, -O0):
<getPathsAppendedWithCommand>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
movl   $0x0,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
movq   $0x0,-0x28(%rbp)
movq   $0x0,-0x30(%rbp)
movl   $0x0,-0x14(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
cmpq   $0x0,(%rax,%rcx,8)
je     120f <getPathsAppendedWithCommand+0xbf>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,8),%rdi
lea    0xe55(%rip),%rsi
mov    $0x4,%edx
call   1030 <strncmp@plt>
cmp    $0x0,%rax
jne    11fc <getPathsAppendedWithCommand+0xac>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,8),%rdi
call   1050 <strlen@plt>
mov    %eax,%edi
sub    $0x4,%edi
call   1070 <malloc@plt>
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rdi
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,8),%rsi
add    $0x5,%rsi
call   1040 <strcpy@plt>
jmp    120f <getPathsAppendedWithCommand+0xbf>
jmp    1201 <getPathsAppendedWithCommand+0xb1>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1185 <getPathsAppendedWithCommand+0x35>
mov    $0x400,%edi
call   1070 <malloc@plt>
mov    %rax,-0x30(%rbp)
movl   $0x0,-0x14(%rbp)
cmpl   $0x80,-0x14(%rbp)
jge    124f <getPathsAppendedWithCommand+0xff>
mov    -0x30(%rbp),%rax
movslq -0x14(%rbp),%rcx
movq   $0x0,(%rax,%rcx,8)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1224 <getPathsAppendedWithCommand+0xd4>
mov    $0x80,%edi
call   1070 <malloc@plt>
mov    %rax,%rcx
mov    -0x30(%rbp),%rax
mov    %rcx,(%rax)
movl   $0x0,-0x14(%rbp)
mov    -0x28(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     1310 <getPathsAppendedWithCommand+0x1c0>
mov    -0x28(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x3a,%eax
je     12c0 <getPathsAppendedWithCommand+0x170>
mov    -0x28(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x30(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x1c(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    12fd <getPathsAppendedWithCommand+0x1ad>
mov    -0x30(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x1c(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
mov    $0x80,%edi
call   1070 <malloc@plt>
mov    %rax,%rdx
mov    -0x30(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
movl   $0x0,-0x1c(%rbp)
jmp    1302 <getPathsAppendedWithCommand+0x1b2>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    126a <getPathsAppendedWithCommand+0x11a>
mov    -0x30(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x1c(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
movl   $0x0,-0x14(%rbp)
mov    -0x30(%rbp),%rax
movslq -0x14(%rbp),%rcx
cmpq   $0x0,(%rax,%rcx,8)
je     1379 <getPathsAppendedWithCommand+0x229>
mov    -0x30(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,8),%rdi
lea    0xcb4(%rip),%rsi
call   1060 <mystrcat@plt>
mov    -0x30(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,8),%rdi
mov    -0x8(%rbp),%rsi
call   1060 <mystrcat@plt>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    132b <getPathsAppendedWithCommand+0x1db>
mov    -0x30(%rbp),%rax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<getPathsAppendedWithCommand>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %rdi,%r14
mov    (%rsi),%rdi
xor    %ebx,%ebx
test   %rdi,%rdi
je     11b2 <getPathsAppendedWithCommand+0x52>
mov    %rsi,%r15
xor    %r13d,%r13d
lea    0xe7b(%rip),%r12
xor    %ebp,%ebp
nopw   0x0(%rax,%rax,1)
mov    %r12,%rsi
mov    $0x4,%edx
call   1030 <strncmp@plt>
test   %rax,%rax
je     11b7 <getPathsAppendedWithCommand+0x57>
mov    0x8(%r15,%rbp,8),%rdi
add    $0x1,%rbp
test   %rdi,%rdi
jne    1190 <getPathsAppendedWithCommand+0x30>
jmp    11dd <getPathsAppendedWithCommand+0x7d>
xor    %r13d,%r13d
jmp    11dd <getPathsAppendedWithCommand+0x7d>
mov    %ebp,%ebp
mov    (%r15,%rbp,8),%rdi
call   1050 <strlen@plt>
lea    -0x4(%rax),%edi
call   1080 <malloc@plt>
mov    %rax,%r13
mov    (%r15,%rbp,8),%rsi
add    $0x5,%rsi
mov    %rax,%rdi
call   1040 <strcpy@plt>
mov    $0x400,%edi
call   1080 <malloc@plt>
mov    %rax,%r15
lea    0x8(%rax),%r12
mov    $0x3f8,%edx
mov    %r12,%rdi
xor    %esi,%esi
call   1060 <memset@plt>
mov    $0x80,%edi
call   1080 <malloc@plt>
mov    %rax,(%r15)
jmp    1230 <getPathsAppendedWithCommand+0xd0>
nopl   0x0(%rax)
mov    (%r15,%rbx,8),%rcx
movb   $0x0,(%rcx,%rax,1)
lea    0x1(%rbx),%ebp
mov    $0x80,%edi
call   1080 <malloc@plt>
mov    %rax,0x8(%r15,%rbx,8)
add    $0x1,%r13
mov    %ebp,%ebx
xor    %eax,%eax
movzbl 0x0(%r13),%ecx
movslq %ebx,%rbx
cltq
cmp    $0x3a,%cl
je     1210 <getPathsAppendedWithCommand+0xb0>
test   %cl,%cl
je     1255 <getPathsAppendedWithCommand+0xf5>
mov    (%r15,%rbx,8),%rdx
mov    %cl,(%rdx,%rax,1)
add    $0x1,%eax
add    $0x1,%r13
jmp    1232 <getPathsAppendedWithCommand+0xd2>
mov    (%r15,%rbx,8),%rcx
movb   $0x0,(%rcx,%rax,1)
mov    (%r15),%rbx
test   %rbx,%rbx
je     1293 <getPathsAppendedWithCommand+0x133>
lea    0xd99(%rip),%r13
nopl   0x0(%rax)
mov    %rbx,%rdi
mov    %r13,%rsi
call   1070 <mystrcat@plt>
mov    %rbx,%rdi
mov    %r14,%rsi
call   1070 <mystrcat@plt>
mov    (%r12),%rbx
add    $0x8,%r12
test   %rbx,%rbx
jne    1270 <getPathsAppendedWithCommand+0x110>
mov    %r15,%rax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [5 x i8] c"PATH\00"
@.str.1 = [2 x i8] c"/\00"
define i8** @getPathsAppendedWithCommand(i8* %0, i8** %1) {
%3 = alloca i8*
%4 = alloca i8**
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i8*
%9 = alloca i8**
store i8* %0, i8** %3
store i8** %1, i8*** %4
store i32 0, i32* %6
store i32 0, i32* %7
store i8* null, i8** %8
store i8** null, i8*** %9
store i32 0, i32* %5
br label %10
10: ; preds = %43, %2
%11 = load i8**, i8*** %4
%12 = load i32, i32* %5
%13 = sext i32 %12 to i64
%14 = getelementptr inbounds i8*, i8** %11, i64 %13
%15 = load i8*, i8** %14
%16 = icmp ne i8* %15, null
br i1 %16, label %17, label %46
17: ; preds = %10
%18 = load i8**, i8*** %4
%19 = load i32, i32* %5
%20 = sext i32 %19 to i64
%21 = getelementptr inbounds i8*, i8** %18, i64 %20
%22 = load i8*, i8** %21
%23 = call i64 @strncmp(i8* %22, i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str, i64 0, i64 0), i32 4)
%24 = icmp eq i64 %23, 0
br i1 %24, label %25, label %42
25: ; preds = %17
%26 = load i8**, i8*** %4
%27 = load i32, i32* %5
%28 = sext i32 %27 to i64
%29 = getelementptr inbounds i8*, i8** %26, i64 %28
%30 = load i8*, i8** %29
%31 = call i32 @strlen(i8* %30)
%32 = sub nsw i32 %31, 4
%33 = call i8* @malloc(i32 %32)
store i8* %33, i8** %8
%34 = load i8*, i8** %8
%35 = load i8**, i8*** %4
%36 = load i32, i32* %5
%37 = sext i32 %36 to i64
%38 = getelementptr inbounds i8*, i8** %35, i64 %37
%39 = load i8*, i8** %38
%40 = getelementptr inbounds i8, i8* %39, i64 5
%41 = call i32 @strcpy(i8* %34, i8* %40)
br label %46
42: ; preds = %17
br label %43
43: ; preds = %42
%44 = load i32, i32* %5
%45 = add nsw i32 %44, 1
store i32 %45, i32* %5
br label %10
46: ; preds = %25, %10
%47 = call i8* @malloc(i32 1024)
%48 = bitcast i8* %47 to i8**
store i8** %48, i8*** %9
store i32 0, i32* %5
br label %49
49: ; preds = %57, %46
%50 = load i32, i32* %5
%51 = icmp slt i32 %50, 128
br i1 %51, label %52, label %60
52: ; preds = %49
%53 = load i8**, i8*** %9
%54 = load i32, i32* %5
%55 = sext i32 %54 to i64
%56 = getelementptr inbounds i8*, i8** %53, i64 %55
store i8* null, i8** %56
br label %57
57: ; preds = %52
%58 = load i32, i32* %5
%59 = add nsw i32 %58, 1
store i32 %59, i32* %5
br label %49
60: ; preds = %49
%61 = call i8* @malloc(i32 128)
%62 = load i8**, i8*** %9
%63 = getelementptr inbounds i8*, i8** %62, i64 0
store i8* %61, i8** %63
store i32 0, i32* %5
br label %64
64: ; preds = %113, %60
%65 = load i8*, i8** %8
%66 = load i32, i32* %5
%67 = sext i32 %66 to i64
%68 = getelementptr inbounds i8, i8* %65, i64 %67
%69 = load i8, i8* %68
%70 = sext i8 %69 to i32
%71 = icmp ne i32 %70, 0
br i1 %71, label %72, label %116
72: ; preds = %64
%73 = load i8*, i8** %8
%74 = load i32, i32* %5
%75 = sext i32 %74 to i64
%76 = getelementptr inbounds i8, i8* %73, i64 %75
%77 = load i8, i8* %76
%78 = sext i8 %77 to i32
%79 = icmp ne i32 %78, 58
br i1 %79, label %80, label %96
80: ; preds = %72
%81 = load i8*, i8** %8
%82 = load i32, i32* %5
%83 = sext i32 %82 to i64
%84 = getelementptr inbounds i8, i8* %81, i64 %83
%85 = load i8, i8* %84
%86 = load i8**, i8*** %9
%87 = load i32, i32* %6
%88 = sext i32 %87 to i64
%89 = getelementptr inbounds i8*, i8** %86, i64 %88
%90 = load i8*, i8** %89
%91 = load i32, i32* %7
%92 = sext i32 %91 to i64
%93 = getelementptr inbounds i8, i8* %90, i64 %92
store i8 %85, i8* %93
%94 = load i32, i32* %7
%95 = add nsw i32 %94, 1
store i32 %95, i32* %7
br label %112
96: ; preds = %72
%97 = load i8**, i8*** %9
%98 = load i32, i32* %6
%99 = sext i32 %98 to i64
%100 = getelementptr inbounds i8*, i8** %97, i64 %99
%101 = load i8*, i8** %100
%102 = load i32, i32* %7
%103 = sext i32 %102 to i64
%104 = getelementptr inbounds i8, i8* %101, i64 %103
store i8 0, i8* %104
%105 = load i32, i32* %6
%106 = add nsw i32 %105, 1
store i32 %106, i32* %6
%107 = call i8* @malloc(i32 128)
%108 = load i8**, i8*** %9
%109 = load i32, i32* %6
%110 = sext i32 %109 to i64
%111 = getelementptr inbounds i8*, i8** %108, i64 %110
store i8* %107, i8** %111
store i32 0, i32* %7
br label %112
112: ; preds = %96, %80
br label %113
113: ; preds = %112
%114 = load i32, i32* %5
%115 = add nsw i32 %114, 1
store i32 %115, i32* %5
br label %64
116: ; preds = %64
%117 = load i8**, i8*** %9
%118 = load i32, i32* %6
%119 = sext i32 %118 to i64
%120 = getelementptr inbounds i8*, i8** %117, i64 %119
%121 = load i8*, i8** %120
%122 = load i32, i32* %7
%123 = sext i32 %122 to i64
%124 = getelementptr inbounds i8, i8* %121, i64 %123
store i8 0, i8* %124
store i32 0, i32* %5
br label %125
125: ; preds = %146, %116
%126 = load i8**, i8*** %9
%127 = load i32, i32* %5
%128 = sext i32 %127 to i64
%129 = getelementptr inbounds i8*, i8** %126, i64 %128
%130 = load i8*, i8** %129
%131 = icmp ne i8* %130, null
br i1 %131, label %132, label %149
132: ; preds = %125
%133 = load i8**, i8*** %9
%134 = load i32, i32* %5
%135 = sext i32 %134 to i64
%136 = getelementptr inbounds i8*, i8** %133, i64 %135
%137 = load i8*, i8** %136
%138 = call i32 @mystrcat(i8* %137, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.1, i64 0, i64 0))
%139 = load i8**, i8*** %9
%140 = load i32, i32* %5
%141 = sext i32 %140 to i64
%142 = getelementptr inbounds i8*, i8** %139, i64 %141
%143 = load i8*, i8** %142
%144 = load i8*, i8** %3
%145 = call i32 @mystrcat(i8* %143, i8* %144)
br label %146
146: ; preds = %132
%147 = load i32, i32* %5
%148 = add nsw i32 %147, 1
store i32 %148, i32* %5
br label %125
149: ; preds = %125
%150 = load i8**, i8*** %9
ret i8** %150
}

LLVM IR (-O2):
@.str = [5 x i8] c"PATH\00"
@.str.1 = [2 x i8] c"/\00"
define noalias i8** @getPathsAppendedWithCommand(i8* %0, i8** nocapture %1) {
%3 = load i8*, i8** %1
%4 = icmp eq i8* %3, null
br i1 %4, label %25, label %5
5: ; preds = %2, %20
%6 = phi i64 [ %21, %20 ], [ 0, %2 ]
%7 = phi i8* [ %23, %20 ], [ %3, %2 ]
%8 = tail call i64 @strncmp(i8* %7, i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str, i64 0, i64 0), i32 4)
%9 = icmp eq i64 %8, 0
br i1 %9, label %10, label %20
10: ; preds = %5
%11 = and i64 %6, 4294967295
%12 = getelementptr inbounds i8*, i8** %1, i64 %11
%13 = load i8*, i8** %12
%14 = tail call i32 @strlen(i8* %13)
%15 = add nsw i32 %14, -4
%16 = tail call i8* @malloc(i32 %15)
%17 = load i8*, i8** %12
%18 = getelementptr inbounds i8, i8* %17, i64 5
%19 = tail call i32 @strcpy(i8* %16, i8* %18)
br label %25
20: ; preds = %5
%21 = add nuw i64 %6, 1
%22 = getelementptr inbounds i8*, i8** %1, i64 %21
%23 = load i8*, i8** %22
%24 = icmp eq i8* %23, null
br i1 %24, label %25, label %5
25: ; preds = %20, %2, %10
%26 = phi i8* [ %16, %10 ], [ null, %2 ], [ null, %20 ]
%27 = tail call dereferenceable_or_null(1024) i8* @malloc(i32 1024)
%28 = getelementptr inbounds i8, i8* %27, i64 8
%29 = bitcast i8* %27 to i8**
%30 = tail call dereferenceable_or_null(128) i8* @malloc(i32 128)
store i8* %30, i8** %29
br label %31
31: ; preds = %54, %25
%32 = phi i64 [ %57, %54 ], [ 0, %25 ]
%33 = phi i32 [ %55, %54 ], [ 0, %25 ]
%34 = phi i32 [ %56, %54 ], [ 0, %25 ]
%35 = getelementptr inbounds i8, i8* %26, i64 %32
%36 = load i8, i8* %35
switch i8 %36, label %37 [
i8 0, label %58
i8 58, label %44
]
37: ; preds = %31
%38 = sext i32 %33 to i64
%39 = getelementptr inbounds i8*, i8** %29, i64 %38
%40 = load i8*, i8** %39
%41 = sext i32 %34 to i64
%42 = getelementptr inbounds i8, i8* %40, i64 %41
store i8 %36, i8* %42
%43 = add nsw i32 %34, 1
br label %54
44: ; preds = %31
%45 = sext i32 %33 to i64
%46 = getelementptr inbounds i8*, i8** %29, i64 %45
%47 = load i8*, i8** %46
%48 = sext i32 %34 to i64
%49 = getelementptr inbounds i8, i8* %47, i64 %48
store i8 0, i8* %49
%50 = add nsw i32 %33, 1
%51 = tail call dereferenceable_or_null(128) i8* @malloc(i32 128)
%52 = sext i32 %50 to i64
%53 = getelementptr inbounds i8*, i8** %29, i64 %52
store i8* %51, i8** %53
br label %54
54: ; preds = %37, %44
%55 = phi i32 [ %33, %37 ], [ %50, %44 ]
%56 = phi i32 [ %43, %37 ], [ 0, %44 ]
%57 = add nuw i64 %32, 1
br label %31
58: ; preds = %31
%59 = sext i32 %33 to i64
%60 = getelementptr inbounds i8*, i8** %29, i64 %59
%61 = load i8*, i8** %60
%62 = sext i32 %34 to i64
%63 = getelementptr inbounds i8, i8* %61, i64 %62
store i8 0, i8* %63
%64 = load i8*, i8** %29
%65 = icmp eq i8* %64, null
br i1 %65, label %75, label %66
66: ; preds = %58, %66
%67 = phi i64 [ %71, %66 ], [ 0, %58 ]
%68 = phi i8* [ %73, %66 ], [ %64, %58 ]
%69 = tail call i32 @mystrcat(i8* %68, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.1, i64 0, i64 0))
%70 = tail call i32 @mystrcat(i8* %68, i8* %0)
%71 = add nuw i64 %67, 1
%72 = getelementptr inbounds i8*, i8** %29, i64 %71
%73 = load i8*, i8** %72
%74 = icmp eq i8* %73, null
br i1 %74, label %75, label %66
75: ; preds = %66, %58
ret i8** %29
}