Lines Matching refs:v
27 size_t, bool, u8, u16, u32, u64} v;
31 \( v = e \| &v \)
33 (\( v@p < 0 \| v@p <= 0 \| v@p >= 0 \| v@p > 0 \))
39 expression c, e, v;
44 v = f(...)@vs;
45 ... when != v = e;
46 * (\( v@p <=@e 0 \| v@p >@e 0 \))
50 (\( v@p < 0 \| v@p <= 0 \)) || ... || (\( v >= c \| v > c \))
52 (\( v >= c \| v > c \)) || ... || (\( v@p < 0 \| v@p <= 0 \))
54 (\( v@p >= 0 \| v@p > 0 \)) && ... && (\( v < c \| v <= c \))
56 ((\( v < c \| v <= c \) && ... && \( v@p >= 0 \| v@p > 0 \)))
58 * (\( v@p <@e 0 \| v@p >=@e 0 \))