File tree 1 file changed +11
-0
lines changed
1 file changed +11
-0
lines changed Original file line number Diff line number Diff line change @@ -175,6 +175,11 @@ jobs:
175
175
ocamlparam : ' _,w=-46,regalloc=cfg,vectorize=1'
176
176
check_arch : true
177
177
178
+ - name : address_sanitizer
179
+ config : --enable-middle-end=flambda2 --enable-address-sanitizer
180
+ os : ubuntu-latest
181
+ cc : clang
182
+
178
183
env :
179
184
J : " 3"
180
185
run_testsuite : " true"
@@ -190,6 +195,10 @@ jobs:
190
195
if : matrix.os == 'ubuntu-latest'
191
196
run : sudo apt-get install afl++
192
197
198
+ - name : Install clang
199
+ if : matrix.os == 'ubuntu-latest' && matrix.cc == 'clang'
200
+ run : sudo apt-get install clang
201
+
193
202
- name : Install AFL (for macOS workers)
194
203
# The "afl-fuzz" package is deprecated (2023-10) and can no longer be installed
195
204
if : matrix.os == 'macos-latest'
@@ -279,6 +288,8 @@ jobs:
279
288
- name : Configure Flambda backend
280
289
working-directory : flambda_backend
281
290
run : |
291
+ CC="${{matrix.cc}}"
292
+ export CC="${CC:-gcc}"
282
293
autoconf
283
294
./configure \
284
295
--prefix=$GITHUB_WORKSPACE/_install \
You can’t perform that action at this time.
0 commit comments