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
|
// This file is a part of Julia. License is MIT: https://julialang.org/license
// RUN: clang --analyze -Xanalyzer -analyzer-output=text -Xclang -load -Xclang libGCCheckerPlugin%shlibext -Xclang -verify -I%julia_home/src -I%julia_home/src/support -I%julia_home/usr/include ${CLANGSA_FLAGS} ${CPPFLAGS} ${CFLAGS} -Xclang -analyzer-checker=core,julia.GCChecker -x c++ %s
#include "julia.h"
void missingPop() {
jl_value_t *x = NULL;
JL_GC_PUSH1(&x); // expected-note{{GC frame changed here}}
} // expected-warning{{Non-popped GC frame present at end of function}}
// expected-note@-1{{Non-popped GC frame present at end of function}}
void missingPop2() {
jl_value_t **x;
JL_GC_PUSHARGS(x, 2); // expected-note{{GC frame changed here}}
} // expected-warning{{Non-popped GC frame present at end of function}}
// expected-note@-1{{Non-popped GC frame present at end of function}}
void superflousPop() {
JL_GC_POP(); // expected-warning{{JL_GC_POP without corresponding push}}
} // expected-note@-1{{JL_GC_POP without corresponding push}}
// From gc.c, jl_gc_push_arraylist creates a custom stack frame.
extern void jl_gc_push_arraylist(jl_ptls_t ptls, arraylist_t *list);
extern void run_finalizer(jl_ptls_t ptls, jl_value_t *o, jl_value_t *ff);
void jl_gc_run_finalizers_in_list(jl_ptls_t ptls, arraylist_t *list)
{
size_t len = list->len;
jl_value_t **items = (jl_value_t**)list->items;
jl_gc_push_arraylist(ptls, list);
(void)len; (void)items;
//for (size_t i = 2;i < len;i += 2)
// run_finalizer(ptls, items[i], items[i + 1]);
JL_GC_POP();
}
|
