Commit f84104d6 authored by Poul-Henning Kamp's avatar Poul-Henning Kamp

Explain to FlexeLint that vsb_new()/vsb_delete() are alloc/free functions.


git-svn-id: http://www.varnish-cache.org/svn/trunk/varnish-cache@2612 d4fa192b-c00b-0410-8231-f00ffab90ce4
parent e6923cdc
......@@ -14,6 +14,8 @@
// Fix strchr() semtics, it can only return NULL if arg2 != 0
-sem(strchr, 1p, type(1), 2n == 0 ? (@p < 1p) : (@p < 1p || @p == 0 ))
-sem(vsb_new, @p == malloc(1))
-sem(vsb_delete, custodial(1))
-sem(lbv_assert, r_no)
-sem(lbv_xxxassert, r_no)
-sem(WS_Init, custodial(2))
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment