Codebase list gpsbabel / HEAD coverity_model.cc
HEAD

Tree @HEAD (Download .tar.gz)

coverity_model.cc @HEAD — raw · history · blame 

 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
37
38
39
40
41
// This file is never compiled or linked into GPSBabel itself; it exists
// solely so we can VC the model of things we have to tell Coverity about
// to shush bogus positives.

void fatal(const char *msg, ...) {
  __coverity_panic__();
}

// Forward decls to make the signature match.
class Waypoint;
class route_head;
class QString;
class route;

// These functions "claim" their arguments
void
waypt_add(Waypoint* wpt) {
  __coverity_escape__(wpt);
}


void track_add_head(route_head* rte) {
  __coverity_escape__(rte);
}
void route_add_head(route_head* rte) {
  __coverity_escape__(rte);
}
void route_add_wpt(route_head* rte, Waypoint* wpt) {
  __coverity_escape__(wpt);
}
void track_add_wpt(route_head* rte, Waypoint* wpt) {
  __coverity_escape__(wpt);
}
void route_add_wpt_named(route_head* rte, Waypoint* wpt,
                         const QString& namepart, int number_digits) {
  __coverity_escape__(wpt);
}
void track_add_wpt_named(route_head* rte, Waypoint* wpt,
                         const QString& namepart, int number_digits) {
  __coverity_escape__(wpt);
}