Генерация undefined behavior (__builtin_unreachable, __assume, std::unreachable) - что должно произойти?

#include <iostream>
#include <map>
 
int main()
{
    void test();
 
    test();
    return 0;
}
 
namespace my
{
    enum Color
    {
        kRed,
        kGreen,
        kBlue,
        kUnexistingColor
    };
 
    const char* foo(Color color)
    {
        switch (color)
        {
            case kRed:
                return "red";
            case kGreen:
                return "green";
            case kBlue:
                return "blue";
            case kUnexistingColor:
            default:
#if 1
                __builtin_unreachable();
#else
                return "that color is not exist";
#endif
 
        }
        return "";
    }
 
    void test()
    {
        using std::cout;
        using std::cin;
        using std::endl;
 
        std::map<std::string, Color> strToColor
        {
            std::make_pair("red", kRed),
            std::make_pair("green", kGreen),
            std::make_pair("blue", kBlue),
        };
 
        Color color{kUnexistingColor};
 
        cout << "Type name of some color and press Enter" << endl;
 
        std::string userInput;
 
        cin >> userInput;
        auto it = strToColor.find(userInput);
        if (strToColor.end() != it)
        {
            color = it->second;
        }
 
        const char* colorNameResult = foo(color);
        if (colorNameResult[0] == 'g')
        {
            colorNameResult = "grey";
            __builtin_unreachable();
        }
        cout << colorNameResult << endl;
    }
}
 
 
void test()
{
    my::test();
}