runtimeverification / llvm-backend

KORE to llvm translation
BSD 3-Clause "New" or "Revised" License
34 stars 19 forks source link

have clang tidy report non const globals #1058

Closed dwightguth closed 1 month ago

dwightguth commented 1 month ago

Right now I'm just creating this PR to get CI to report to me all the non-const global variables in the llvm backend runtime. I will come up with a slightly less intrusive version of this change later in order to address the issue moving forward once I have dealt with the global variables I need to deal with in a separate PR.

Don't merge this.