~ubuntu-branches/debian/sid/varnish/sid

« back to all changes in this revision

Viewing changes to bin/varnishtest/flint.lnt

  • Committer: Bazaar Package Importer
  • Author(s): Stig Sandbeck Mathisen
  • Date: 2011-03-21 10:16:07 UTC
  • mfrom: (24.1.2 experimental)
  • Revision ID: james.westby@ubuntu.com-20110321101607-528fzl583fqanas5
Tags: 2.1.5-2
ReleaseĀ forĀ unstable

Show diffs side-by-side

added added

removed removed

Lines of Context:
 
1
-passes=3
 
2
 
 
3
+libh mgt_event.h
 
4
+libh ../../config.h
 
5
 
 
6
-emacro((???),va_arg)   // the va_arg() macro can yield 415, 416, 661, 662
 
7
                        // 796 and 797 (out-of-bounds errors).
 
8
-elib(123)  // size is both a variable and a macro with args
 
9
-emacro(736, isnan)  // isnanf
 
10
-efile(766, ../../config.h)
 
11
 
 
12
-esym(850, av)
 
13
 
 
14
-esym(528, svnid)
 
15
 
 
16
-ffc    // No automatic custody
 
17
 
 
18
-e712   // 14      Info    712     Loss of precision (___) (___ to ___)
 
19
-e747   // 16      Info    747     Significant prototype coercion (___) ___ to ___
 
20
 
 
21
 
 
22
 
 
23
 
 
24
 
 
25
 
 
26
// -header(../../config.h)
 
27
 
 
28
// Fix strchr() semtics, it can only return NULL if arg2 != 0
 
29
-sem(strchr, 1p, type(1), 2n == 0 ? (@p < 1p) : (@p < 1p || @p == 0 ))
 
30
// 
 
31
// -sem(vsb_new, @p == malloc(1))
 
32
// -sem(vsb_delete, custodial(1))
 
33
-sem(lbv_assert, r_no)
 
34
-sem(lbv_xxxassert, r_no)
 
35
// -sem(WS_Init, custodial(2))
 
36
// -sem(http_Setup, custodial(2))
 
37
// 
 
38
// -ffc // No automatic custody
 
39
// 
 
40
-e763   // Redundant declaration for symbol '...' previously declared
 
41
// -e726        // Extraneous comma ignored
 
42
// -e728        // Symbol ... not explicitly initialized
 
43
-e716   // while(1) ... 
 
44
// -e785        // Too few initializers for aggregate 
 
45
// -e786        // String concatenation within initializer
 
46
// 
 
47
// -emacro(740, VTAILQ_PREV) // Unusual pointer cast (incompatible indirect types)
 
48
// -emacro(740, VTAILQ_LAST) // Unusual pointer cast (incompatible indirect types)
 
49
// -emacro((826), VTAILQ_PREV) // Suspicious pointer-to-pointer conversion (area too small)
 
50
// -emacro((826), VTAILQ_LAST) // Suspicious pointer-to-pointer conversion (area too small)
 
51
-emacro(506, VTAILQ_FOREACH_SAFE) // constant value boolean
 
52
-emacro(779, REPLACE)           // string constant !=
 
53
-emacro(774, REPLACE)           // if(bool) always true
 
54
-emacro(506, REPLACE)           // const bool
 
55
// 
 
56
-esym(534, sprintf)     // Ignoring return value of function
 
57
// -esym(534, asprintf) // Ignoring return value of function
 
58
-esym(534, printf)      // Ignoring return value of function
 
59
-esym(534, fprintf)     // Ignoring return value of function
 
60
-esym(534, memset)      // Ignoring return value of function
 
61
// -esym(534, memcpy)   // Ignoring return value of function
 
62
// -esym(534, memmove)  // Ignoring return value of function
 
63
// -esym(534, strcpy)   // Ignoring return value of function
 
64
-esym(534, vsb_printf)  // Ignoring return value of function
 
65
-esym(534, vsb_cat)     // Ignoring return value of function
 
66
-esym(534, vsb_bcat)    // Ignoring return value of function
 
67
-esym(534, vsb_putc)    // Ignoring return value of function
 
68
-esym(534, strcat)      // Ignoring return value of function
 
69
-esym(534, strcpy)      // Ignoring return value of function
 
70
-esym(534, strlcpy)     // Ignoring return value of function
 
71
// 
 
72
// -emacro(506, isnan)  // constant value boolean
 
73
// -emacro(747, isnan)  // significant coersion
 
74
// -emacro(506, assert) // constant value boolean
 
75
// -emacro(827, assert) // loop not reachable
 
76
// -emacro(774, assert) // booelan always true
 
77
// -emacro(774, HTTPH)  // always false
 
78
// 
 
79
// // cache.h
 
80
// -emacro(506, INCOMPL) // Constant value Boolean
 
81
// 
 
82
// // cache_center.c
 
83
// -efunc(525, CNT_Session)     // Negative indentation from line
 
84
// -efunc(525, http_FilterFields)       // Negative indentation from line
 
85
// -efunc(539, http_FilterFields)       // Positive indentation from line
 
86
// 
 
87
// // cache_vcl.c
 
88
// -efunc(525, vcl_handlingname)        // Negative indentation from line
 
89
// -esym(528, vcl_handlingname) // Not referenced
 
90
// -e641        // Converting enum 'cli_status_e' to int
 
91
// 
 
92
// // Review all below this line ///////////////////////////////////////////////
 
93
 
 
94
-e457 // unprotected write access 
 
95
-e459 // unprotected access 
 
96
-e458 // unprotected access 
 
97
// 
 
98
-e732   // Loss of sign (arg. no. 2) (int to unsigned
 
99
-e737   // [45]  Loss of sign in promotion from int to unsigned
 
100
-e713   // Loss of precision (assignment) (unsigned long long to long long)
 
101
-e574   // Signed-unsigned mix with relational
 
102
// -e712        // Loss of precision (assignment) (long long to
 
103
// -e747        // Significant prototype coercion (arg. no. 2) long
 
104
// 
 
105
// /*
 
106
// 
 
107
// -e767        // Macro redef (system queue.h vs ours )
 
108
// 
 
109
// -e506        // Constant value boolean
 
110
// -e818        // Pointer parameter '...' could be declared as pointing to const
 
111
// -e774        // Boolean within 'if' always evaluates to False
 
112
// -e534        // Ignoring return value of function
 
113
// -e557        // unrecog format
 
114
// 
 
115
// */