我在C中写了一个Lisp解释器的流控制警告

时间:2015-01-27 02:28:27

标签: c lisp

我一直在研究SICP并尝试创建一个LISP interprater。我一直收到以下警告:

$ make littleLisp
cc     littleLisp.c   -o littleLisp
littleLisp.c:309:1: warning: control may reach end of non-void function [-Wreturn-type]
}
^
1 warning generated.
$ make littleLisp
make: `littleLisp' is up to date.
$ ./littleLisp 
warning: this program uses gets(), which is unsafe.
5.000000

我不太确定这是指什么,因为我的主要方法是返回0.我的“in.lisp”文件没有被正确调用?

以下是代码:

https://gist.github.com/rahul1346/8596118b834ecf41b1d9

有什么想法吗?

另外,您对interperater本身有何看法?

这是以309结尾的fxn:

long interpret_list(long scope, long first, long last) {
    parent[first] = scope;
//  printf("interpret_list %d %d %d\n", scope, first, last);
    long i, j, brace;
    if (last>=first && in_special(first)) {
//      puts("OK");
        special(scope, first, last);
    } else {
        child_count[scope] = 0;
        i = j = first; brace = 0;
        while ( i <= last) {
            if (!strcmp(seg[i], "(")) brace++;
            if (!strcmp(seg[i], ")")) brace--;
            if (brace == 0) {
                interpret(scope, j, i);
                child[scope][child_count[scope]++] = j;
                j = i + 1;
            }
            i++;
        }
        if (brace) {
//          puts("Format error!!");
            exit(2);
        }
        if (is_function(seg[first])) {
            apply_function(seg[first], scope);
        } else {
            return scope;
        }
    }
}

1 个答案:

答案 0 :(得分:3)

您的功能有两种方式可以在不返回的情况下脱离结束:

  1. last>=first && in_special(first)为真时。
  2. is_function(seg[first])为真时。