#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 */
struct stat {
  int /*<<< orphan*/ st_mode;
};

/* Variables and functions */
int /*<<< orphan*/ O_RDONLY;
scalar_t__ S_ISLNK(int /*<<< orphan*/);
int /*<<< orphan*/ X_OK;
scalar_t__ access(char *, int /*<<< orphan*/);
int /*<<< orphan*/ close(int);
int /*<<< orphan*/ free(char *);
scalar_t__ lstat(char const *, struct stat *);
int open(char const *, int /*<<< orphan*/);
int read(int, char *, int);
char *realpath(char const *, int /*<<< orphan*/ *);
char *strdup(char const *);
scalar_t__ strendcmp(char const *, char *);
bool gcc_check(const char *path, char *const argv[], char *const envv[]) {
  char **argp;
  struct stat st;
  char she_bang[2];
  bool gcc_found = false;
  char *gcc_path = NULL;
  int gcc_fd = -1;
  if (strendcmp(path, "gcc") != 0 && strendcmp(path, "g++") != 0 &&
      strendcmp(path, "c++") != 0) {
    goto exit;
  }
  if (lstat(path, &st) == 0) {
    gcc_fd = open(path, O_RDONLY);
    if (gcc_fd < 0) {
      goto exit;
    }
    if (read(gcc_fd, she_bang, 2) >= 2) {
      if (she_bang[0] == '#' && she_bang[1] == '!') {
        goto exit;
      }
    }
    if (S_ISLNK(st.st_mode)) {
      gcc_path = realpath(path, NULL);
    }
  }
  if (gcc_path == NULL)
    gcc_path = strdup(path);
  if (access(gcc_path, X_OK) != 0) {
    goto exit;
  }
  for (argp = (char **)argv; *argp != NULL; argp++) {
    if (strendcmp(*argp, "save-temps") == 0)
      goto exit;
  }
  gcc_found = true;
exit:
  if (gcc_fd >= 0)
    close(gcc_fd);
  if (gcc_path != NULL)
    free(gcc_path);
  return gcc_found;
}


x86 assembly (clang, -O0):
<gcc_check>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
movl   $0x0,-0x30(%rbp)
movq   $0x0,-0x38(%rbp)
movl   $0xffffffff,-0x3c(%rbp)
mov    -0x8(%rbp),%rdi
lea    0xe2b(%rip),%rsi
call   1050 <strendcmp@plt>
cmp    $0x0,%rax
je     121d <gcc_check+0x7d>
mov    -0x8(%rbp),%rdi
lea    0xe15(%rip),%rsi
call   1050 <strendcmp@plt>
cmp    $0x0,%rax
je     121d <gcc_check+0x7d>
mov    -0x8(%rbp),%rdi
lea    0xdff(%rip),%rsi
call   1050 <strendcmp@plt>
cmp    $0x0,%rax
je     121d <gcc_check+0x7d>
jmp    134c <gcc_check+0x1ac>
mov    -0x8(%rbp),%rdi
lea    -0x28(%rbp),%rsi
call   1080 <lstat@plt>
cmp    $0x0,%rax
jne    12be <gcc_check+0x11e>
mov    -0x8(%rbp),%rdi
mov    0x2da9(%rip),%rax
mov    (%rax),%esi
call   10a0 <open@plt>
mov    %eax,-0x3c(%rbp)
cmpl   $0x0,-0x3c(%rbp)
jge    1258 <gcc_check+0xb8>
jmp    134c <gcc_check+0x1ac>
mov    -0x3c(%rbp),%edi
lea    -0x2a(%rbp),%rsi
mov    $0x2,%edx
call   1070 <read@plt>
cmp    $0x2,%eax
jl     1296 <gcc_check+0xf6>
movsbl -0x2a(%rbp),%eax
cmp    $0x23,%eax
jne    1291 <gcc_check+0xf1>
movsbl -0x29(%rbp),%eax
cmp    $0x21,%eax
jne    1291 <gcc_check+0xf1>
jmp    134c <gcc_check+0x1ac>
jmp    1296 <gcc_check+0xf6>
mov    -0x28(%rbp),%edi
call   1040 <S_ISLNK@plt>
cmp    $0x0,%rax
je     12b9 <gcc_check+0x119>
mov    -0x8(%rbp),%rdi
xor    %eax,%eax
mov    %eax,%esi
call   1090 <realpath@plt>
mov    %rax,-0x38(%rbp)
jmp    12be <gcc_check+0x11e>
cmpq   $0x0,-0x38(%rbp)
jne    12d6 <gcc_check+0x136>
mov    -0x8(%rbp),%rdi
call   10c0 <strdup@plt>
mov    %rax,-0x38(%rbp)
mov    -0x38(%rbp),%rdi
mov    0x2cff(%rip),%rax
mov    (%rax),%esi
call   10b0 <access@plt>
cmp    $0x0,%rax
je     12f7 <gcc_check+0x157>
jmp    134c <gcc_check+0x1ac>
mov    -0x10(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
cmpq   $0x0,(%rax)
je     1345 <gcc_check+0x1a5>
mov    -0x20(%rbp),%rax
mov    (%rax),%rdi
lea    0xcf1(%rip),%rsi
call   1050 <strendcmp@plt>
cmp    $0x0,%rax
jne    132f <gcc_check+0x18f>
jmp    134c <gcc_check+0x1ac>
jmp    1334 <gcc_check+0x194>
mov    -0x20(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x20(%rbp)
jmp    12ff <gcc_check+0x15f>
movl   $0x1,-0x30(%rbp)
cmpl   $0x0,-0x3c(%rbp)
jl     135e <gcc_check+0x1be>
mov    -0x3c(%rbp),%edi
call   1060 <close@plt>
cmpq   $0x0,-0x38(%rbp)
je     1372 <gcc_check+0x1d2>
mov    -0x38(%rbp),%rdi
call   1030 <free@plt>
mov    -0x30(%rbp),%eax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<gcc_check>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
sub    $0x10,%rsp
mov    %rsi,%rbx
mov    %rdi,%rbp
lea    0xe47(%rip),%rsi
call   1050 <strendcmp@plt>
test   %rax,%rax
je     11f2 <gcc_check+0x52>
lea    0xe3a(%rip),%rsi
mov    %rbp,%rdi
call   1050 <strendcmp@plt>
test   %rax,%rax
je     11f2 <gcc_check+0x52>
lea    0xe2a(%rip),%rsi
mov    %rbp,%rdi
call   1050 <strendcmp@plt>
xor    %r12d,%r12d
test   %rax,%rax
jne    12ff <gcc_check+0x15f>
lea    0x8(%rsp),%rsi
mov    %rbp,%rdi
call   1080 <lstat@plt>
mov    $0xffffffff,%r14d
test   %rax,%rax
je     128b <gcc_check+0xeb>
mov    %rbp,%rdi
call   10c0 <strdup@plt>
mov    %rax,%r15
mov    0x2dc0(%rip),%rax
mov    (%rax),%esi
mov    %r15,%rdi
call   10b0 <access@plt>
xor    %r12d,%r12d
test   %rax,%rax
jne    126f <gcc_check+0xcf>
mov    (%rbx),%rdi
test   %rdi,%rdi
je     1269 <gcc_check+0xc9>
add    $0x8,%rbx
lea    0xdc7(%rip),%rbp
cs nopw 0x0(%rax,%rax,1)
nop
mov    %rbp,%rsi
call   1050 <strendcmp@plt>
test   %rax,%rax
je     126f <gcc_check+0xcf>
mov    (%rbx),%rdi
add    $0x8,%rbx
test   %rdi,%rdi
jne    1250 <gcc_check+0xb0>
mov    $0x1,%r12d
test   %r14d,%r14d
js     127c <gcc_check+0xdc>
mov    %r14d,%edi
call   1060 <close@plt>
test   %r15,%r15
je     12ff <gcc_check+0x15f>
mov    %r15,%rdi
call   1030 <free@plt>
jmp    12ff <gcc_check+0x15f>
mov    0x2d56(%rip),%rax
mov    (%rax),%esi
mov    %rbp,%rdi
call   10a0 <open@plt>
test   %eax,%eax
js     12fc <gcc_check+0x15c>
mov    %eax,%r14d
lea    0x6(%rsp),%rsi
mov    %eax,%edi
mov    $0x2,%edx
call   1070 <read@plt>
cmp    $0x2,%eax
jl     12cf <gcc_check+0x12f>
cmpb   $0x23,0x6(%rsp)
jne    12cf <gcc_check+0x12f>
cmpb   $0x21,0x7(%rsp)
jne    12cf <gcc_check+0x12f>
xor    %r15d,%r15d
xor    %r12d,%r12d
jmp    1274 <gcc_check+0xd4>
mov    0x8(%rsp),%edi
call   1040 <S_ISLNK@plt>
test   %rax,%rax
je     120e <gcc_check+0x6e>
mov    %rbp,%rdi
xor    %esi,%esi
call   1090 <realpath@plt>
mov    %rax,%r15
test   %rax,%rax
jne    1219 <gcc_check+0x79>
jmp    120e <gcc_check+0x6e>
xor    %r12d,%r12d
mov    %r12d,%eax
add    $0x10,%rsp
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
%struct.stat = type { i32 }
@.str = [4 x i8] c"gcc\00"
@.str.1 = [4 x i8] c"g++\00"
@.str.2 = [4 x i8] c"c++\00"
@O_RDONLY = global i32 0
@X_OK = global i32 0
@.str.3 = [11 x i8] c"save-temps\00"
define i32 @gcc_check(i8* %0, i8** %1, i8** %2) {
%4 = alloca i8*
%5 = alloca i8**
%6 = alloca i8**
%7 = alloca i8**
%8 = alloca %struct.stat
%9 = alloca [2 x i8]
%10 = alloca i32
%11 = alloca i8*
%12 = alloca i32
store i8* %0, i8** %4
store i8** %1, i8*** %5
store i8** %2, i8*** %6
store i32 0, i32* %10
store i8* null, i8** %11
store i32 -1, i32* %12
%13 = load i8*, i8** %4
%14 = call i64 @strendcmp(i8* %13, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str, i64 0, i64 0))
%15 = icmp ne i64 %14, 0
br i1 %15, label %16, label %25
16: ; preds = %3
%17 = load i8*, i8** %4
%18 = call i64 @strendcmp(i8* %17, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.1, i64 0, i64 0))
%19 = icmp ne i64 %18, 0
br i1 %19, label %20, label %25
20: ; preds = %16
%21 = load i8*, i8** %4
%22 = call i64 @strendcmp(i8* %21, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.2, i64 0, i64 0))
%23 = icmp ne i64 %22, 0
br i1 %23, label %24, label %25
24: ; preds = %20
br label %91
25: ; preds = %20, %16, %3
%26 = load i8*, i8** %4
%27 = call i64 @lstat(i8* %26, %struct.stat* %8)
%28 = icmp eq i64 %27, 0
br i1 %28, label %29, label %62
29: ; preds = %25
%30 = load i8*, i8** %4
%31 = load i32, i32* @O_RDONLY
%32 = call i32 @open(i8* %30, i32 %31)
store i32 %32, i32* %12
%33 = load i32, i32* %12
%34 = icmp slt i32 %33, 0
br i1 %34, label %35, label %36
35: ; preds = %29
br label %91
36: ; preds = %29
%37 = load i32, i32* %12
%38 = getelementptr inbounds [2 x i8], [2 x i8]* %9, i64 0, i64 0
%39 = call i32 @read(i32 %37, i8* %38, i32 2)
%40 = icmp sge i32 %39, 2
br i1 %40, label %41, label %53
41: ; preds = %36
%42 = getelementptr inbounds [2 x i8], [2 x i8]* %9, i64 0, i64 0
%43 = load i8, i8* %42
%44 = sext i8 %43 to i32
%45 = icmp eq i32 %44, 35
br i1 %45, label %46, label %52
46: ; preds = %41
%47 = getelementptr inbounds [2 x i8], [2 x i8]* %9, i64 0, i64 1
%48 = load i8, i8* %47
%49 = sext i8 %48 to i32
%50 = icmp eq i32 %49, 33
br i1 %50, label %51, label %52
51: ; preds = %46
br label %91
52: ; preds = %46, %41
br label %53
53: ; preds = %52, %36
%54 = getelementptr inbounds %struct.stat, %struct.stat* %8, i32 0, i32 0
%55 = load i32, i32* %54
%56 = call i64 @S_ISLNK(i32 %55)
%57 = icmp ne i64 %56, 0
br i1 %57, label %58, label %61
58: ; preds = %53
%59 = load i8*, i8** %4
%60 = call i8* @realpath(i8* %59, i32* null)
store i8* %60, i8** %11
br label %61
61: ; preds = %58, %53
br label %62
62: ; preds = %61, %25
%63 = load i8*, i8** %11
%64 = icmp eq i8* %63, null
br i1 %64, label %65, label %68
65: ; preds = %62
%66 = load i8*, i8** %4
%67 = call i8* @strdup(i8* %66)
store i8* %67, i8** %11
br label %68
68: ; preds = %65, %62
%69 = load i8*, i8** %11
%70 = load i32, i32* @X_OK
%71 = call i64 @access(i8* %69, i32 %70)
%72 = icmp ne i64 %71, 0
br i1 %72, label %73, label %74
73: ; preds = %68
br label %91
74: ; preds = %68
%75 = load i8**, i8*** %5
store i8** %75, i8*** %7
br label %76
76: ; preds = %87, %74
%77 = load i8**, i8*** %7
%78 = load i8*, i8** %77
%79 = icmp ne i8* %78, null
br i1 %79, label %80, label %90
80: ; preds = %76
%81 = load i8**, i8*** %7
%82 = load i8*, i8** %81
%83 = call i64 @strendcmp(i8* %82, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.3, i64 0, i64 0))
%84 = icmp eq i64 %83, 0
br i1 %84, label %85, label %86
85: ; preds = %80
br label %91
86: ; preds = %80
br label %87
87: ; preds = %86
%88 = load i8**, i8*** %7
%89 = getelementptr inbounds i8*, i8** %88, i32 1
store i8** %89, i8*** %7
br label %76
90: ; preds = %76
store i32 1, i32* %10
br label %91
91: ; preds = %90, %85, %73, %51, %35, %24
%92 = load i32, i32* %12
%93 = icmp sge i32 %92, 0
br i1 %93, label %94, label %97
94: ; preds = %91
%95 = load i32, i32* %12
%96 = call i32 @close(i32 %95)
br label %97
97: ; preds = %94, %91
%98 = load i8*, i8** %11
%99 = icmp ne i8* %98, null
br i1 %99, label %100, label %103
100: ; preds = %97
%101 = load i8*, i8** %11
%102 = call i32 @free(i8* %101)
br label %103
103: ; preds = %100, %97
%104 = load i32, i32* %10
ret i32 %104
}

LLVM IR (-O2):
%struct.stat = type { i32 }
@.str = [4 x i8] c"gcc\00"
@.str.1 = [4 x i8] c"g++\00"
@.str.2 = [4 x i8] c"c++\00"
@O_RDONLY = global i32 0
@X_OK = global i32 0
@.str.3 = [11 x i8] c"save-temps\00"
define i32 @gcc_check(i8* %0, i8** nocapture %1, i8** nocapture readnone %2) {
%4 = alloca %struct.stat
%5 = alloca [2 x i8]
%6 = bitcast %struct.stat* %4 to i8*
%7 = getelementptr inbounds [2 x i8], [2 x i8]* %5, i64 0, i64 0
%8 = tail call i64 @strendcmp(i8* %0, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str, i64 0, i64 0))
%9 = icmp eq i64 %8, 0
br i1 %9, label %16, label %10
10: ; preds = %3
%11 = tail call i64 @strendcmp(i8* %0, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.1, i64 0, i64 0))
%12 = icmp eq i64 %11, 0
br i1 %12, label %16, label %13
13: ; preds = %10
%14 = tail call i64 @strendcmp(i8* %0, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.2, i64 0, i64 0))
%15 = icmp eq i64 %14, 0
br i1 %15, label %16, label %76
16: ; preds = %13, %10, %3
%17 = call i64 @lstat(i8* %0, %struct.stat* %4)
%18 = icmp eq i64 %17, 0
br i1 %18, label %19, label %41
19: ; preds = %16
%20 = load i32, i32* @O_RDONLY
%21 = tail call i32 @open(i8* %0, i32 %20)
%22 = icmp slt i32 %21, 0
br i1 %22, label %76, label %23
23: ; preds = %19
%24 = call i32 @read(i32 %21, i8* %7, i32 2)
%25 = icmp sgt i32 %24, 1
br i1 %25, label %26, label %33
26: ; preds = %23
%27 = load i8, i8* %7
%28 = icmp eq i8 %27, 35
%29 = getelementptr inbounds [2 x i8], [2 x i8]* %5, i64 0, i64 1
%30 = load i8, i8* %29
%31 = icmp eq i8 %30, 33
%32 = select i1 %28, i1 %31, i1 false
br i1 %32, label %65, label %33
33: ; preds = %26, %23
%34 = getelementptr inbounds %struct.stat, %struct.stat* %4, i64 0, i32 0
%35 = load i32, i32* %34
%36 = tail call i64 @S_ISLNK(i32 %35)
%37 = icmp eq i64 %36, 0
br i1 %37, label %41, label %38
38: ; preds = %33
%39 = tail call i8* @realpath(i8* %0, i32* null)
%40 = icmp eq i8* %39, null
br i1 %40, label %41, label %44
41: ; preds = %16, %33, %38
%42 = phi i32 [ %21, %38 ], [ -1, %16 ], [ %21, %33 ]
%43 = tail call i8* @strdup(i8* %0)
br label %44
44: ; preds = %41, %38
%45 = phi i32 [ %42, %41 ], [ %21, %38 ]
%46 = phi i8* [ %43, %41 ], [ %39, %38 ]
%47 = load i32, i32* @X_OK
%48 = tail call i64 @access(i8* %46, i32 %47)
%49 = icmp eq i64 %48, 0
br i1 %49, label %50, label %62
50: ; preds = %44
%51 = load i8*, i8** %1
%52 = icmp eq i8* %51, null
br i1 %52, label %62, label %56
53: ; preds = %56
%54 = load i8*, i8** %61
%55 = icmp eq i8* %54, null
br i1 %55, label %62, label %56
56: ; preds = %50, %53
%57 = phi i8* [ %54, %53 ], [ %51, %50 ]
%58 = phi i8** [ %61, %53 ], [ %1, %50 ]
%59 = tail call i64 @strendcmp(i8* %57, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.3, i64 0, i64 0))
%60 = icmp eq i64 %59, 0
%61 = getelementptr inbounds i8*, i8** %58, i64 1
br i1 %60, label %62, label %53
62: ; preds = %56, %53, %50, %44
%63 = phi i32 [ 0, %44 ], [ 1, %50 ], [ 0, %56 ], [ 1, %53 ]
%64 = icmp sgt i32 %45, -1
br i1 %64, label %65, label %70
65: ; preds = %26, %62
%66 = phi i32 [ %45, %62 ], [ %21, %26 ]
%67 = phi i8* [ %46, %62 ], [ null, %26 ]
%68 = phi i32 [ %63, %62 ], [ 0, %26 ]
%69 = tail call i32 @close(i32 %66)
br label %70
70: ; preds = %65, %62
%71 = phi i8* [ %67, %65 ], [ %46, %62 ]
%72 = phi i32 [ %68, %65 ], [ %63, %62 ]
%73 = icmp eq i8* %71, null
br i1 %73, label %76, label %74
74: ; preds = %70
%75 = tail call i32 @free(i8* %71)
br label %76
76: ; preds = %13, %19, %74, %70
%77 = phi i32 [ %72, %74 ], [ %72, %70 ], [ 0, %19 ], [ 0, %13 ]
ret i32 %77
}