clangassume.cpp

#define assume(cond) do { if (!(cond)) __builtin_unreachable(); } while (0)

int func(int x){
  assume(x >=0 && x <= 10);

    if ( x > 11 ){
      return 2;
    }else{
      return 17;
    }
}

#undef assume
#define assume(cond) do { if (!(cond)) detail::unreachable(); } while (0)

namespace detail {
  [[noreturn]] void unreachable(){}
}

int func2(int x){
  assume(x >=0 && x <= 10);

    if ( x > 11 ){
      return 2;
    }else{
      return 17;
    }
}

#undef assume
#define assume(cond) __builtin_assume(cond)

int func3(int x){
  assume(x >=0 && x <= 10);

    if ( x > 11 ){
      return 2;
    }else{
      return 17;
    }
}