[tor-bugs] #23054 [Core Tor/Tor]: BUG() macros shouldn't be warned as dead-code under coverity.

2017-07-28 Thread Tor Bug Tracker & Wiki
#23054: BUG() macros shouldn't be warned as dead-code under coverity. --+ Reporter: nickm | Owner: Type: defect| Status: new Priority: Medium| Milestone: Tor: 0.3.2.x-final Comp

Re: [tor-bugs] #23054 [Core Tor/Tor]: BUG() macros shouldn't be warned as dead-code under coverity.

2017-07-28 Thread Tor Bug Tracker & Wiki
#23054: BUG() macros shouldn't be warned as dead-code under coverity. --+ Reporter: nickm | Owner: Type: defect| Status: closed Priority: Medium| Milestone: Tor: 0.3.2.x-final Compo