void saul_init_devs(void) {
  if (0) {
    extern void auto_init_saul_adc(void);
    auto_init_saul_adc();
  }
  if (0) {
    extern void auto_init_gpio(void);
    auto_init_gpio();
  }
  if (0) {
    extern void auto_init_saul_pwm(void);
    auto_init_saul_pwm();
  }
  if (0) {
    extern void auto_init_nrf_temperature(void);
    auto_init_nrf_temperature();
  }
  if (0) {
    extern void auto_init_nrf_vddh(void);
    auto_init_nrf_vddh();
  }
  if (0) {
    extern void auto_init_ad7746(void);
    auto_init_ad7746();
  }
  if (0) {
    extern void auto_init_adcxx1c(void);
    auto_init_adcxx1c();
  }
  if (0) {
    extern void auto_init_ads101x(void);
    auto_init_ads101x();
  }
  if (0) {
    extern void auto_init_adxl345(void);
    auto_init_adxl345();
  }
  if (0) {
    extern void auto_init_apds99xx(void);
    auto_init_apds99xx();
  }
  if (0) {
    extern void auto_init_bme680(void);
    auto_init_bme680();
  }
  if (0) {
    extern void auto_init_bmp180(void);
    auto_init_bmp180();
  }
  if (0) {
    extern void auto_init_bmx280(void);
    auto_init_bmx280();
  }
  if (0) {
    extern void auto_init_bmx055(void);
    auto_init_bmx055();
  }
  if (0) {
    extern void auto_init_ccs811(void);
    auto_init_ccs811();
  }
  if (0) {
    extern void auto_init_dht(void);
    auto_init_dht();
  }
  if (0) {
    extern void auto_init_ds18(void);
    auto_init_ds18();
  }
  if (0) {
    extern void auto_init_ds75lx(void);
    auto_init_ds75lx();
  }
  if (0) {
    extern void auto_init_efm32_coretemp(void);
    auto_init_efm32_coretemp();
  }
  if (0) {
    extern void auto_init_fxos8700(void);
    auto_init_fxos8700();
  }
  if (0) {
    extern void auto_init_gp2y10xx(void);
    auto_init_gp2y10xx();
  }
  if (0) {
    extern void auto_init_grove_ledbar(void);
    auto_init_grove_ledbar();
  }
  if (0) {
    extern void auto_init_hmc5883l(void);
    auto_init_hmc5883l();
  }
  if (0) {
    extern void auto_init_hdc1000(void);
    auto_init_hdc1000();
  }
  if (0) {
    extern void auto_init_hsc(void);
    auto_init_hsc();
  }
  if (0) {
    extern void auto_init_hts221(void);
    auto_init_hts221();
  }
  if (0) {
    extern void auto_init_ina2xx(void);
    auto_init_ina2xx();
  }
  if (0) {
    extern void auto_init_ina3221(void);
    auto_init_ina3221();
  }
  if (0) {
    extern void auto_init_io1_xplained(void);
    auto_init_io1_xplained();
  }
  if (0) {
    extern void auto_init_isl29020(void);
    auto_init_isl29020();
  }
  if (0) {
    extern void auto_init_itg320x(void);
    auto_init_itg320x();
  }
  if (0) {
    extern void auto_init_jc42(void);
    auto_init_jc42();
  }
  if (0) {
    extern void auto_init_l3g4200d(void);
    auto_init_l3g4200d();
  }
  if (0) {
    extern void auto_init_lis2dh12(void);
    auto_init_lis2dh12();
  }
  if (0) {
    extern void auto_init_lis3dh(void);
    auto_init_lis3dh();
  }
  if (0) {
    extern void auto_init_lis3mdl(void);
    auto_init_lis3mdl();
  }
  if (0) {
    extern void auto_init_lm75(void);
    auto_init_lm75();
  }
  if (0) {
    extern void auto_init_lpsxxx(void);
    auto_init_lpsxxx();
  }
  if (0) {
    extern void auto_init_lsm303dlhc(void);
    auto_init_lsm303dlhc();
  }
  if (0) {
    extern void auto_init_lsm6dsl(void);
    auto_init_lsm6dsl();
  }
  if (0) {
    extern void auto_init_ltc4150(void);
    auto_init_ltc4150();
  }
  if (0) {
    extern void auto_init_mag3110(void);
    auto_init_mag3110();
  }
  if (0) {
    extern void auto_init_mhz19(void);
    auto_init_mhz19();
  }
  if (0) {
    extern void auto_init_mma7660(void);
    auto_init_mma7660();
  }
  if (0) {
    extern void auto_init_mma8x5x(void);
    auto_init_mma8x5x();
  }
  if (0) {
    extern void auto_init_mpl3115a2(void);
    auto_init_mpl3115a2();
  }
  if (0) {
    extern void auto_init_mpu9x50(void);
    auto_init_mpu9x50();
  }
  if (0) {
    extern void auto_init_opt3001(void);
    auto_init_opt3001();
  }
  if (0) {
    extern void auto_init_pca9685(void);
    auto_init_pca9685();
  }
  if (0) {
    extern void auto_init_ph_oem(void);
    auto_init_ph_oem();
  }
  if (0) {
    extern void auto_init_pir(void);
    auto_init_pir();
  }
  if (0) {
    extern void auto_init_pulse_counter(void);
    auto_init_pulse_counter();
  }
  if (0) {
    extern void auto_init_qmc5883l(void);
    auto_init_qmc5883l();
  }
  if (0) {
    extern void auto_init_scd30(void);
    auto_init_scd30();
  }
  if (0) {
    extern void auto_init_sht2x(void);
    auto_init_sht2x();
  }
  if (0) {
    extern void auto_init_sdp3x(void);
    auto_init_sdp3x();
  }
  if (0) {
    extern void auto_init_seesaw_soil(void);
    auto_init_seesaw_soil();
  }
  if (0) {
    extern void auto_init_sgp30(void);
    auto_init_sgp30();
  }
  if (0) {
    extern void auto_init_sht3x(void);
    auto_init_sht3x();
  }
  if (0) {
    extern void auto_init_shtc1(void);
    auto_init_shtc1();
  }
  if (0) {
    extern void auto_init_sds011(void);
    auto_init_sds011();
  }
  if (0) {
    extern void auto_init_si1133(void);
    auto_init_si1133();
  }
  if (0) {
    extern void auto_init_si114x(void);
    auto_init_si114x();
  }
  if (0) {
    extern void auto_init_si70xx(void);
    auto_init_si70xx();
  }
  if (0) {
    extern void auto_init_sm_pwm_01c(void);
    auto_init_sm_pwm_01c();
  }
  if (0) {
    extern void auto_init_sps30(void);
    auto_init_sps30();
  }
  if (0) {
    extern void auto_init_tcs37727(void);
    auto_init_tcs37727();
  }
  if (0) {
    extern void auto_init_tmp00x(void);
    auto_init_tmp00x();
  }
  if (0) {
    extern void auto_init_tsl2561(void);
    auto_init_tsl2561();
  }
  if (0) {
    extern void auto_init_tsl4531x(void);
    auto_init_tsl4531x();
  }
  if (0) {
    extern void auto_init_vcnl40x0(void);
    auto_init_vcnl40x0();
  }
  if (0) {
    extern void auto_init_veml6070(void);
    auto_init_veml6070();
  }
}


x86 assembly (clang, -O0):
<saul_init_devs>:
push   %rbp
mov    %rsp,%rbp
pop    %rbp
ret

x86 assembly (clang, -O2):
<saul_init_devs>:
ret

LLVM IR (-O0):
define void @saul_init_devs() {
ret void
}

LLVM IR (-O2):
define void @saul_init_devs() {
ret void
}