#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 */
int /*<<< orphan*/ isalnum(char);
int strlen(char *);
int sanitize_arg(char *string) {
  int i = 0;
  int z = 0;
  int len = 0;
  len = strlen(string);
  for (i = 0; i < len; i++) {
    if (!isalnum(string[i]) && string[i] != ' ' && string[i] != '%' &&
        string[i] != '@' && string[i] != '(' && string[i] != ')' &&
        string[i] != '-' && string[i] != '+' && string[i] != '=' &&
        string[i] != '#' && string[i] != '.' && string[i] != ',' &&
        string[i] != '/' && string[i] != '\\' && string[i] != ';' &&
        string[i] != ':' && string[i] != '[' && string[i] != ']' &&
        string[i] != '|' && string[i] != '!' && string[i] != '?' &&
        string[i] != '<' && string[i] != '>' && string[i] != '"' &&
        string[i] != '&' && string[i] != '$' && string[i] != '^' &&
        string[i] != '`') {
      z = 1;
    }
  }
  if (z == 1)
    return 1;
  else
    return 0;
}


x86 assembly (clang, -O0):
<sanitize_arg>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,-0x1c(%rbp)
movl   $0x0,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    13cb <sanitize_arg+0x2ab>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%edi
call   1040 <isalnum@plt>
cmp    $0x0,%eax
jne    13b8 <sanitize_arg+0x298>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x20,%eax
je     13b8 <sanitize_arg+0x298>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x25,%eax
je     13b8 <sanitize_arg+0x298>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x40,%eax
je     13b8 <sanitize_arg+0x298>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x28,%eax
je     13b8 <sanitize_arg+0x298>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x29,%eax
je     13b8 <sanitize_arg+0x298>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2d,%eax
je     13b8 <sanitize_arg+0x298>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2b,%eax
je     13b8 <sanitize_arg+0x298>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x3d,%eax
je     13b8 <sanitize_arg+0x298>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x23,%eax
je     13b8 <sanitize_arg+0x298>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2e,%eax
je     13b8 <sanitize_arg+0x298>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2c,%eax
je     13b8 <sanitize_arg+0x298>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2f,%eax
je     13b8 <sanitize_arg+0x298>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x5c,%eax
je     13b8 <sanitize_arg+0x298>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x3b,%eax
je     13b8 <sanitize_arg+0x298>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x3a,%eax
je     13b8 <sanitize_arg+0x298>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x5b,%eax
je     13b8 <sanitize_arg+0x298>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x5d,%eax
je     13b8 <sanitize_arg+0x298>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x7c,%eax
je     13b8 <sanitize_arg+0x298>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x21,%eax
je     13b8 <sanitize_arg+0x298>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x3f,%eax
je     13b8 <sanitize_arg+0x298>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x3c,%eax
je     13b8 <sanitize_arg+0x298>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x3e,%eax
je     13b8 <sanitize_arg+0x298>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x22,%eax
je     13b8 <sanitize_arg+0x298>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x26,%eax
je     13b8 <sanitize_arg+0x298>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x24,%eax
je     13b8 <sanitize_arg+0x298>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x5e,%eax
je     13b8 <sanitize_arg+0x298>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x60,%eax
je     13b8 <sanitize_arg+0x298>
movl   $0x1,-0x18(%rbp)
jmp    13bd <sanitize_arg+0x29d>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1154 <sanitize_arg+0x34>
cmpl   $0x1,-0x18(%rbp)
jne    13e1 <sanitize_arg+0x2c1>
movl   $0x1,-0x4(%rbp)
jmp    13e8 <sanitize_arg+0x2c8>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<sanitize_arg>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
mov    %rdi,%rbx
call   1030 <strlen@plt>
test   %eax,%eax
jle    1145 <sanitize_arg+0x25>
mov    %eax,%r14d
xor    %ebp,%ebp
lea    0xec0(%rip),%r12
xor    %r15d,%r15d
jmp    1169 <sanitize_arg+0x49>
xor    %r15d,%r15d
xor    %eax,%eax
cmp    $0x1,%r15d
sete   %al
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret
mov    $0x1,%r15d
add    $0x1,%rbp
cmp    %rbp,%r14
je     1148 <sanitize_arg+0x28>
movsbl (%rbx,%rbp,1),%edi
call   1040 <isalnum@plt>
test   %eax,%eax
jne    1160 <sanitize_arg+0x40>
movzbl (%rbx,%rbp,1),%eax
add    $0xe0,%al
cmp    $0x5c,%al
ja     115a <sanitize_arg+0x3a>
movzbl %al,%eax
movslq (%r12,%rax,4),%rax
add    %r12,%rax
jmp    *%rax

LLVM IR (-O0):
define i32 @sanitize_arg(i8* %0) {
%2 = alloca i32
%3 = alloca i8*
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
store i8* %0, i8** %3
store i32 0, i32* %4
store i32 0, i32* %5
store i32 0, i32* %6
%7 = load i8*, i8** %3
%8 = call i32 @strlen(i8* %7)
store i32 %8, i32* %6
store i32 0, i32* %4
br label %9
9: ; preds = %239, %1
%10 = load i32, i32* %4
%11 = load i32, i32* %6
%12 = icmp slt i32 %10, %11
br i1 %12, label %13, label %242
13: ; preds = %9
%14 = load i8*, i8** %3
%15 = load i32, i32* %4
%16 = sext i32 %15 to i64
%17 = getelementptr inbounds i8, i8* %14, i64 %16
%18 = load i8, i8* %17
%19 = call i32 @isalnum(i8 signext %18)
%20 = icmp ne i32 %19, 0
br i1 %20, label %238, label %21
21: ; preds = %13
%22 = load i8*, i8** %3
%23 = load i32, i32* %4
%24 = sext i32 %23 to i64
%25 = getelementptr inbounds i8, i8* %22, i64 %24
%26 = load i8, i8* %25
%27 = sext i8 %26 to i32
%28 = icmp ne i32 %27, 32
br i1 %28, label %29, label %238
29: ; preds = %21
%30 = load i8*, i8** %3
%31 = load i32, i32* %4
%32 = sext i32 %31 to i64
%33 = getelementptr inbounds i8, i8* %30, i64 %32
%34 = load i8, i8* %33
%35 = sext i8 %34 to i32
%36 = icmp ne i32 %35, 37
br i1 %36, label %37, label %238
37: ; preds = %29
%38 = load i8*, i8** %3
%39 = load i32, i32* %4
%40 = sext i32 %39 to i64
%41 = getelementptr inbounds i8, i8* %38, i64 %40
%42 = load i8, i8* %41
%43 = sext i8 %42 to i32
%44 = icmp ne i32 %43, 64
br i1 %44, label %45, label %238
45: ; preds = %37
%46 = load i8*, i8** %3
%47 = load i32, i32* %4
%48 = sext i32 %47 to i64
%49 = getelementptr inbounds i8, i8* %46, i64 %48
%50 = load i8, i8* %49
%51 = sext i8 %50 to i32
%52 = icmp ne i32 %51, 40
br i1 %52, label %53, label %238
53: ; preds = %45
%54 = load i8*, i8** %3
%55 = load i32, i32* %4
%56 = sext i32 %55 to i64
%57 = getelementptr inbounds i8, i8* %54, i64 %56
%58 = load i8, i8* %57
%59 = sext i8 %58 to i32
%60 = icmp ne i32 %59, 41
br i1 %60, label %61, label %238
61: ; preds = %53
%62 = load i8*, i8** %3
%63 = load i32, i32* %4
%64 = sext i32 %63 to i64
%65 = getelementptr inbounds i8, i8* %62, i64 %64
%66 = load i8, i8* %65
%67 = sext i8 %66 to i32
%68 = icmp ne i32 %67, 45
br i1 %68, label %69, label %238
69: ; preds = %61
%70 = load i8*, i8** %3
%71 = load i32, i32* %4
%72 = sext i32 %71 to i64
%73 = getelementptr inbounds i8, i8* %70, i64 %72
%74 = load i8, i8* %73
%75 = sext i8 %74 to i32
%76 = icmp ne i32 %75, 43
br i1 %76, label %77, label %238
77: ; preds = %69
%78 = load i8*, i8** %3
%79 = load i32, i32* %4
%80 = sext i32 %79 to i64
%81 = getelementptr inbounds i8, i8* %78, i64 %80
%82 = load i8, i8* %81
%83 = sext i8 %82 to i32
%84 = icmp ne i32 %83, 61
br i1 %84, label %85, label %238
85: ; preds = %77
%86 = load i8*, i8** %3
%87 = load i32, i32* %4
%88 = sext i32 %87 to i64
%89 = getelementptr inbounds i8, i8* %86, i64 %88
%90 = load i8, i8* %89
%91 = sext i8 %90 to i32
%92 = icmp ne i32 %91, 35
br i1 %92, label %93, label %238
93: ; preds = %85
%94 = load i8*, i8** %3
%95 = load i32, i32* %4
%96 = sext i32 %95 to i64
%97 = getelementptr inbounds i8, i8* %94, i64 %96
%98 = load i8, i8* %97
%99 = sext i8 %98 to i32
%100 = icmp ne i32 %99, 46
br i1 %100, label %101, label %238
101: ; preds = %93
%102 = load i8*, i8** %3
%103 = load i32, i32* %4
%104 = sext i32 %103 to i64
%105 = getelementptr inbounds i8, i8* %102, i64 %104
%106 = load i8, i8* %105
%107 = sext i8 %106 to i32
%108 = icmp ne i32 %107, 44
br i1 %108, label %109, label %238
109: ; preds = %101
%110 = load i8*, i8** %3
%111 = load i32, i32* %4
%112 = sext i32 %111 to i64
%113 = getelementptr inbounds i8, i8* %110, i64 %112
%114 = load i8, i8* %113
%115 = sext i8 %114 to i32
%116 = icmp ne i32 %115, 47
br i1 %116, label %117, label %238
117: ; preds = %109
%118 = load i8*, i8** %3
%119 = load i32, i32* %4
%120 = sext i32 %119 to i64
%121 = getelementptr inbounds i8, i8* %118, i64 %120
%122 = load i8, i8* %121
%123 = sext i8 %122 to i32
%124 = icmp ne i32 %123, 92
br i1 %124, label %125, label %238
125: ; preds = %117
%126 = load i8*, i8** %3
%127 = load i32, i32* %4
%128 = sext i32 %127 to i64
%129 = getelementptr inbounds i8, i8* %126, i64 %128
%130 = load i8, i8* %129
%131 = sext i8 %130 to i32
%132 = icmp ne i32 %131, 59
br i1 %132, label %133, label %238
133: ; preds = %125
%134 = load i8*, i8** %3
%135 = load i32, i32* %4
%136 = sext i32 %135 to i64
%137 = getelementptr inbounds i8, i8* %134, i64 %136
%138 = load i8, i8* %137
%139 = sext i8 %138 to i32
%140 = icmp ne i32 %139, 58
br i1 %140, label %141, label %238
141: ; preds = %133
%142 = load i8*, i8** %3
%143 = load i32, i32* %4
%144 = sext i32 %143 to i64
%145 = getelementptr inbounds i8, i8* %142, i64 %144
%146 = load i8, i8* %145
%147 = sext i8 %146 to i32
%148 = icmp ne i32 %147, 91
br i1 %148, label %149, label %238
149: ; preds = %141
%150 = load i8*, i8** %3
%151 = load i32, i32* %4
%152 = sext i32 %151 to i64
%153 = getelementptr inbounds i8, i8* %150, i64 %152
%154 = load i8, i8* %153
%155 = sext i8 %154 to i32
%156 = icmp ne i32 %155, 93
br i1 %156, label %157, label %238
157: ; preds = %149
%158 = load i8*, i8** %3
%159 = load i32, i32* %4
%160 = sext i32 %159 to i64
%161 = getelementptr inbounds i8, i8* %158, i64 %160
%162 = load i8, i8* %161
%163 = sext i8 %162 to i32
%164 = icmp ne i32 %163, 124
br i1 %164, label %165, label %238
165: ; preds = %157
%166 = load i8*, i8** %3
%167 = load i32, i32* %4
%168 = sext i32 %167 to i64
%169 = getelementptr inbounds i8, i8* %166, i64 %168
%170 = load i8, i8* %169
%171 = sext i8 %170 to i32
%172 = icmp ne i32 %171, 33
br i1 %172, label %173, label %238
173: ; preds = %165
%174 = load i8*, i8** %3
%175 = load i32, i32* %4
%176 = sext i32 %175 to i64
%177 = getelementptr inbounds i8, i8* %174, i64 %176
%178 = load i8, i8* %177
%179 = sext i8 %178 to i32
%180 = icmp ne i32 %179, 63
br i1 %180, label %181, label %238
181: ; preds = %173
%182 = load i8*, i8** %3
%183 = load i32, i32* %4
%184 = sext i32 %183 to i64
%185 = getelementptr inbounds i8, i8* %182, i64 %184
%186 = load i8, i8* %185
%187 = sext i8 %186 to i32
%188 = icmp ne i32 %187, 60
br i1 %188, label %189, label %238
189: ; preds = %181
%190 = load i8*, i8** %3
%191 = load i32, i32* %4
%192 = sext i32 %191 to i64
%193 = getelementptr inbounds i8, i8* %190, i64 %192
%194 = load i8, i8* %193
%195 = sext i8 %194 to i32
%196 = icmp ne i32 %195, 62
br i1 %196, label %197, label %238
197: ; preds = %189
%198 = load i8*, i8** %3
%199 = load i32, i32* %4
%200 = sext i32 %199 to i64
%201 = getelementptr inbounds i8, i8* %198, i64 %200
%202 = load i8, i8* %201
%203 = sext i8 %202 to i32
%204 = icmp ne i32 %203, 34
br i1 %204, label %205, label %238
205: ; preds = %197
%206 = load i8*, i8** %3
%207 = load i32, i32* %4
%208 = sext i32 %207 to i64
%209 = getelementptr inbounds i8, i8* %206, i64 %208
%210 = load i8, i8* %209
%211 = sext i8 %210 to i32
%212 = icmp ne i32 %211, 38
br i1 %212, label %213, label %238
213: ; preds = %205
%214 = load i8*, i8** %3
%215 = load i32, i32* %4
%216 = sext i32 %215 to i64
%217 = getelementptr inbounds i8, i8* %214, i64 %216
%218 = load i8, i8* %217
%219 = sext i8 %218 to i32
%220 = icmp ne i32 %219, 36
br i1 %220, label %221, label %238
221: ; preds = %213
%222 = load i8*, i8** %3
%223 = load i32, i32* %4
%224 = sext i32 %223 to i64
%225 = getelementptr inbounds i8, i8* %222, i64 %224
%226 = load i8, i8* %225
%227 = sext i8 %226 to i32
%228 = icmp ne i32 %227, 94
br i1 %228, label %229, label %238
229: ; preds = %221
%230 = load i8*, i8** %3
%231 = load i32, i32* %4
%232 = sext i32 %231 to i64
%233 = getelementptr inbounds i8, i8* %230, i64 %232
%234 = load i8, i8* %233
%235 = sext i8 %234 to i32
%236 = icmp ne i32 %235, 96
br i1 %236, label %237, label %238
237: ; preds = %229
store i32 1, i32* %5
br label %238
238: ; preds = %237, %229, %221, %213, %205, %197, %189, %181, %173, %165, %157, %149, %141, %133, %125, %117, %109, %101, %93, %85, %77, %69, %61, %53, %45, %37, %29, %21, %13
br label %239
239: ; preds = %238
%240 = load i32, i32* %4
%241 = add nsw i32 %240, 1
store i32 %241, i32* %4
br label %9
242: ; preds = %9
%243 = load i32, i32* %5
%244 = icmp eq i32 %243, 1
br i1 %244, label %245, label %246
245: ; preds = %242
store i32 1, i32* %2
br label %247
246: ; preds = %242
store i32 0, i32* %2
br label %247
247: ; preds = %246, %245
%248 = load i32, i32* %2
ret i32 %248
}

LLVM IR (-O2):
define i32 @sanitize_arg(i8* %0) {
%2 = tail call i32 @strlen(i8* %0)
%3 = icmp sgt i32 %2, 0
br i1 %3, label %4, label %20
4: ; preds = %1
%5 = zext i32 %2 to i64
br label %6
6: ; preds = %4, %16
%7 = phi i64 [ 0, %4 ], [ %18, %16 ]
%8 = phi i32 [ 0, %4 ], [ %17, %16 ]
%9 = getelementptr inbounds i8, i8* %0, i64 %7
%10 = load i8, i8* %9
%11 = tail call i32 @isalnum(i8 signext %10)
%12 = icmp eq i32 %11, 0
br i1 %12, label %13, label %16
13: ; preds = %6
%14 = load i8, i8* %9
switch i8 %14, label %15 [
i8 32, label %16
i8 37, label %16
i8 64, label %16
i8 40, label %16
i8 41, label %16
i8 45, label %16
i8 43, label %16
i8 61, label %16
i8 35, label %16
i8 46, label %16
i8 44, label %16
i8 47, label %16
i8 92, label %16
i8 59, label %16
i8 58, label %16
i8 91, label %16
i8 93, label %16
i8 124, label %16
i8 33, label %16
i8 63, label %16
i8 60, label %16
i8 62, label %16
i8 34, label %16
i8 38, label %16
i8 36, label %16
i8 94, label %16
i8 96, label %16
]
15: ; preds = %13
br label %16
16: ; preds = %13, %13, %13, %13, %13, %13, %13, %13, %13, %13, %13, %13, %13, %13, %13, %13, %13, %13, %13, %13, %13, %13, %13, %13, %13, %13, %13, %6, %15
%17 = phi i32 [ %8, %6 ], [ 1, %15 ], [ %8, %13 ], [ %8, %13 ], [ %8, %13 ], [ %8, %13 ], [ %8, %13 ], [ %8, %13 ], [ %8, %13 ], [ %8, %13 ], [ %8, %13 ], [ %8, %13 ], [ %8, %13 ], [ %8, %13 ], [ %8, %13 ], [ %8, %13 ], [ %8, %13 ], [ %8, %13 ], [ %8, %13 ], [ %8, %13 ], [ %8, %13 ], [ %8, %13 ], [ %8, %13 ], [ %8, %13 ], [ %8, %13 ], [ %8, %13 ], [ %8, %13 ], [ %8, %13 ], [ %8, %13 ]
%18 = add nuw nsw i64 %7, 1
%19 = icmp eq i64 %18, %5
br i1 %19, label %20, label %6
20: ; preds = %16, %1
%21 = phi i32 [ 0, %1 ], [ %17, %16 ]
%22 = icmp eq i32 %21, 1
%23 = zext i1 %22 to i32
ret i32 %23
}