1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
|
/* Reduced and adapted from Linux: fs/proc/inode.c: proc_reg_open
(GPL v2.0). */
/* Types. */
typedef unsigned char u8;
typedef _Bool bool;
typedef unsigned int gfp_t;
struct file;
struct kmem_cache;
struct proc_dir_entry;
struct inode { /* [...snip...] */ };
enum {
PROC_ENTRY_PERMANENT = 1U << 0,
};
struct proc_ops {
/* [...snip...] */
int (*proc_open)(struct inode *, struct file *);
/* [...snip...] */
int (*proc_release)(struct inode *, struct file *);
/* [...snip...] */
};
struct proc_dir_entry {
/* [...snip...] */
struct completion *pde_unload_completion;
/* [...snip...] */
union {
const struct proc_ops *proc_ops;
const struct file_operations *proc_dir_ops;
};
/* [...snip...] */
u8 flags;
/* [...snip...] */
};
struct pde_opener {
/* [...snip...] */
struct file *file;
/* [...snip...] */
};
struct proc_inode {
/* [...snip...] */
struct proc_dir_entry *pde;
/* [...snip...] */
struct inode vfs_inode;
};
/* Data. */
static struct kmem_cache *pde_opener_cache __attribute__((__section__(".data..ro_after_init")));
/* Functions. */
void *kmem_cache_alloc(struct kmem_cache *, gfp_t flags) __attribute__((__malloc__));
void kmem_cache_free(struct kmem_cache *, void *);
static inline bool pde_is_permanent(const struct proc_dir_entry *pde)
{
return pde->flags & PROC_ENTRY_PERMANENT;
}
static inline struct proc_inode *PROC_I(const struct inode *inode)
{
void *__mptr = (void *)(inode);
return ((struct proc_inode *)(__mptr - __builtin_offsetof(struct proc_inode, vfs_inode)));
}
static inline struct proc_dir_entry *PDE(const struct inode *inode)
{
return PROC_I(inode)->pde;
}
/* We don't want to emit bogus use of uninitialized value 'pdeo'
warnings from -Wanalyzer-use-of-uninitialized-value in this function;
these would require following infeasible paths in which "release" is
first NULL (to avoid the initialization of "pdeo") and then is non-NULL
(to access "pdeo").
"release" is sufficiently complicated in this function to hit the
complexity limit for symbolic values during enode exploration. */
static int proc_reg_open(struct inode *inode, struct file *file)
{
struct proc_dir_entry *pde = PDE(inode);
int rv = 0;
typeof(((struct proc_ops*)0)->proc_open) open;
typeof(((struct proc_ops*)0)->proc_release) release;
struct pde_opener *pdeo;
if (pde_is_permanent(pde)) {
open = pde->proc_ops->proc_open;
if (open)
rv = open(inode, file);
return rv;
}
/* [...snip...] */
release = pde->proc_ops->proc_release;
if (release) {
pdeo = kmem_cache_alloc(pde_opener_cache,
((( gfp_t)(0x400u|0x800u))
| (( gfp_t)0x40u)
| (( gfp_t)0x80u)));
if (!pdeo) {
rv = -12;
goto out_unuse;
}
}
open = pde->proc_ops->proc_open;
if (open)
rv = open(inode, file);
if (release) {
if (rv == 0) {
pdeo->file = file; /* { dg-bogus "uninit" } */
/* [...snip...] */
} else
kmem_cache_free(pde_opener_cache, pdeo); /* { dg-bogus "uninit" } */
}
out_unuse:
/* [...snip...] */
return rv;
}
|
