forked from GPSBabel/gpsbabel
-
Notifications
You must be signed in to change notification settings - Fork 0
/
coverity_model.cc
41 lines (36 loc) · 1.05 KB
/
coverity_model.cc
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);
}