Validate malloc return value (#346)

henrybear327 · web-flow · commit cbab5b868caa · 2024-02-06T03:18:37.000+08:00
checking if it is NULL.

Co-authored-by: Chun-Hung Tseng &lt;chun-hung.tseng@swisscom.com&gt;
diff --git a/src/jit.c b/src/jit.c
@@ -1481,6 +1481,7 @@ uint32_t jit_translate(riscv_t *rv, block_t *block)
 struct jit_state *jit_state_init(size_t size)
 {
     struct jit_state *state = malloc(sizeof(struct jit_state));
+    assert(state);
     state->offset = 0;
     state->size = size;
     state->buf = mmap(0, size, PROT_READ | PROT_WRITE | PROT_EXEC,

Original file line number	Diff line number	Diff line change
`@@ -1481,6 +1481,7 @@ uint32_t jit_translate(riscv_t rv, block_t block)`
`1481`	`1481`	`struct jit_state *jit_state_init(size_t size)`
`1482`	`1482`	`{`
`1483`	`1483`	`struct jit_state *state = malloc(sizeof(struct jit_state));`
	`1484`	`+ assert(state);`
`1484`	`1485`	`state->offset = 0;`
`1485`	`1486`	`state->size = size;`
`1486`	`1487`	`state->buf = mmap(0, size, PROT_READ \| PROT_WRITE \| PROT_EXEC,`