diff options
author | Gary E. Miller <gem@rellim.com> | 2015-03-30 16:14:33 -0700 |
---|---|---|
committer | Gary E. Miller <gem@rellim.com> | 2015-03-30 16:14:33 -0700 |
commit | 0aa319291f415b03fcf4a6814f1d211b5306463a (patch) | |
tree | 43e0aab713b31dfe4057f8d6e12cee4b0c973233 /ppsthread.c | |
parent | 810b5d4565350ed1f5948d582d7ec43579c0f776 (diff) | |
download | gpsd-0aa319291f415b03fcf4a6814f1d211b5306463a.tar.gz |
clang found a real bug, don't mask the bug.
Diffstat (limited to 'ppsthread.c')
-rw-r--r-- | ppsthread.c | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/ppsthread.c b/ppsthread.c index a1a14343..96ef164b 100644 --- a/ppsthread.c +++ b/ppsthread.c @@ -744,9 +744,7 @@ static void *gpsd_ppsmonitor(void *arg) pulse_tio[edge_tio] = clock_ts_tio; /* use this data */ -#ifndef __clang_analyzer__ ok = true; -#endif /* __clang_analyzer__ */ clock_ts = clock_ts_tio; state = edge_tio; edge = edge_tio; |