[tor-bugs] #31560 [Core Tor/Tor]: Should we CI-build with --disable-module-dirauth and -O0?

[Tor Bug Tracker & Wiki]

#31560: Should we CI-build with --disable-module-dirauth and -O0?
------------------------------+------------------------------
     Reporter:  nickm         |      Owner:  (none)
         Type:  task          |     Status:  new
     Priority:  Medium        |  Milestone:  Tor: unspecified
    Component:  Core Tor/Tor  |    Version:
     Severity:  Normal        |   Keywords:  tor-ci
Actual Points:                |  Parent ID:
       Points:                |   Reviewer:
      Sponsor:                |
------------------------------+------------------------------
 In #31552, I diagnosed a bug that only appears in two circumstances:
    * on Android with LTO and --disable-module-dirauth
    * elsewhere with -O0 and --disable-module-dirauth

 Is it worthwhile adding a CI case for this, perhaps on a cron job?

--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/31560>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online