Add static analysis annotations for jloptions.c

tekverkp · Aug 21, 2018 · ee88b92 · ee88b92
1 parent 3708c64
commit ee88b92
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/julia.h b/src/julia.h
@@ -1297,7 +1297,7 @@ JL_DLLEXPORT jl_value_t *jl_array_to_string(jl_array_t *a);
 JL_DLLEXPORT jl_array_t *jl_alloc_vec_any(size_t n);
 JL_DLLEXPORT jl_value_t *jl_arrayref(jl_array_t *a, size_t i); // 0-indexed
 JL_DLLEXPORT jl_value_t *jl_ptrarrayref(jl_array_t *a JL_PROPAGATES_ROOT, size_t i) JL_NOTSAFEPOINT; // 0-indexed
-JL_DLLEXPORT void jl_arrayset(jl_array_t *a, jl_value_t *v, size_t i); // 0-indexed
+JL_DLLEXPORT void jl_arrayset(jl_array_t *a JL_ROOTING_ARGUMENT, jl_value_t *v JL_ROOTED_ARGUMENT, size_t i) JL_NOTSAFEPOINT; // 0-indexed
 JL_DLLEXPORT void jl_arrayunset(jl_array_t *a, size_t i); // 0-indexed
 JL_DLLEXPORT int jl_array_isassigned(jl_array_t *a, size_t i); // 0-indexed
 JL_DLLEXPORT void jl_array_grow_end(jl_array_t *a, size_t inc);