Coverage Report

Created: 2025-11-02 06:30

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
/src/cpython/Python/future.c
Line
Count
Source
1
#include "Python.h"
2
#include "pycore_ast.h"           // _PyAST_GetDocString()
3
#include "pycore_symtable.h"      // _PyFutureFeatures
4
#include "pycore_unicodeobject.h" // _PyUnicode_EqualToASCIIString()
5
6
9
#define UNDEFINED_FUTURE_FEATURE "future feature %.100s is not defined"
7
8
static int
9
future_check_features(_PyFutureFeatures *ff, stmt_ty s, PyObject *filename)
10
235
{
11
235
    Py_ssize_t i;
12
13
235
    assert(s->kind == ImportFrom_kind);
14
15
235
    asdl_alias_seq *names = s->v.ImportFrom.names;
16
465
    for (i = 0; i < asdl_seq_LEN(names); i++) {
17
239
        alias_ty name = (alias_ty)asdl_seq_GET(names, i);
18
239
        const char *feature = PyUnicode_AsUTF8(name->name);
19
239
        if (!feature)
20
0
            return 0;
21
239
        if (strcmp(feature, FUTURE_NESTED_SCOPES) == 0) {
22
19
            continue;
23
220
        } else if (strcmp(feature, FUTURE_GENERATORS) == 0) {
24
1
            continue;
25
219
        } else if (strcmp(feature, FUTURE_DIVISION) == 0) {
26
1
            continue;
27
218
        } else if (strcmp(feature, FUTURE_ABSOLUTE_IMPORT) == 0) {
28
43
            continue;
29
175
        } else if (strcmp(feature, FUTURE_WITH_STATEMENT) == 0) {
30
6
            continue;
31
169
        } else if (strcmp(feature, FUTURE_PRINT_FUNCTION) == 0) {
32
2
            continue;
33
167
        } else if (strcmp(feature, FUTURE_UNICODE_LITERALS) == 0) {
34
5
            continue;
35
162
        } else if (strcmp(feature, FUTURE_BARRY_AS_BDFL) == 0) {
36
10
            ff->ff_features |= CO_FUTURE_BARRY_AS_BDFL;
37
152
        } else if (strcmp(feature, FUTURE_GENERATOR_STOP) == 0) {
38
54
            continue;
39
98
        } else if (strcmp(feature, FUTURE_ANNOTATIONS) == 0) {
40
89
            ff->ff_features |= CO_FUTURE_ANNOTATIONS;
41
89
        } else if (strcmp(feature, "braces") == 0) {
42
0
            PyErr_SetString(PyExc_SyntaxError,
43
0
                            "not a chance");
44
0
            PyErr_RangedSyntaxLocationObject(filename,
45
0
                                             name->lineno,
46
0
                                             name->col_offset + 1,
47
0
                                             name->end_lineno,
48
0
                                             name->end_col_offset + 1);
49
0
            return 0;
50
9
        } else {
51
9
            PyErr_Format(PyExc_SyntaxError,
52
9
                         UNDEFINED_FUTURE_FEATURE, feature);
53
9
            PyErr_RangedSyntaxLocationObject(filename,
54
9
                                             name->lineno,
55
9
                                             name->col_offset + 1,
56
9
                                             name->end_lineno,
57
9
                                             name->end_col_offset + 1);
58
9
            return 0;
59
9
        }
60
239
    }
61
226
    return 1;
62
235
}
63
64
static int
65
future_parse(_PyFutureFeatures *ff, mod_ty mod, PyObject *filename)
66
6.57k
{
67
6.57k
    if (!(mod->kind == Module_kind || mod->kind == Interactive_kind)) {
68
66
        return 1;
69
66
    }
70
71
6.51k
    Py_ssize_t n = asdl_seq_LEN(mod->v.Module.body);
72
6.51k
    if (n == 0) {
73
658
        return 1;
74
658
    }
75
76
5.85k
    Py_ssize_t i = 0;
77
5.85k
    if (_PyAST_GetDocString(mod->v.Module.body) != NULL) {
78
521
        i++;
79
521
    }
80
81
6.07k
    for (; i < n; i++) {
82
5.77k
        stmt_ty s = (stmt_ty)asdl_seq_GET(mod->v.Module.body, i);
83
84
        /* The only things that can precede a future statement
85
         *  are another future statement and a doc string.
86
         */
87
88
5.77k
        if (s->kind == ImportFrom_kind && s->v.ImportFrom.level == 0) {
89
266
            identifier modname = s->v.ImportFrom.module;
90
266
            if (modname &&
91
266
                _PyUnicode_EqualToASCIIString(modname, "__future__")) {
92
235
                if (!future_check_features(ff, s, filename)) {
93
9
                    return 0;
94
9
                }
95
226
                ff->ff_location = SRC_LOCATION_FROM_AST(s);
96
226
            }
97
31
            else {
98
31
                return 1;
99
31
            }
100
266
        }
101
5.50k
        else {
102
5.50k
            return 1;
103
5.50k
        }
104
5.77k
    }
105
307
    return 1;
106
5.85k
}
107
108
109
int
110
_PyFuture_FromAST(mod_ty mod, PyObject *filename, _PyFutureFeatures *ff)
111
6.57k
{
112
6.57k
    ff->ff_features = 0;
113
6.57k
    ff->ff_location = (_Py_SourceLocation){-1, -1, -1, -1};
114
115
6.57k
    if (!future_parse(ff, mod, filename)) {
116
9
        return 0;
117
9
    }
118
6.56k
    return 1;
119
6.57k
}