Do not tolerate warnings in benchmarks.
Do not tolerate warnings in benchmarks.

diku-dk/futhark,diku-dk/futhark,HIPERFIT/futhark,HIPERFIT/futhark,diku-dk/futhark,diku-dk/futhark,diku-dk/futhark,HIPERFIT/futhark