disable builtins by default

[r22187]

diff --git a/main.c b/main.c
index b137518..d75333d 100644 (file)
--- a/main.c
+++ b/main.c
@@ -567,7 +567,7 @@ int main(int argc, char **argv)
        default:
        case 4:
                set_option("strict-aliasing");
-               use_builtins = true;
+               /* use_builtins = true; */
                /* fallthrough */
        case 3:
                set_option("cond-eval");