projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 35d195a) | patch
Disable external initialization of `thread_local` variables (#7004)
authorAndres Noetzli <andres.noetzli@gmail.com>
Tue, 10 Aug 2021 20:04:21 +0000 (13:04 -0700)
committerGitHub <noreply@github.com>
Tue, 10 Aug 2021 20:04:21 +0000 (13:04 -0700)
commitdac8b872572f0ac9c9e0be93f5058d7b8b9cea91
tree4837fa0a3fdb707a60bbebb482691a5384fdc556tree
parent35d195a68dfd36dc64715dd94f4b96c856a5baf9commit | diff
Disable external initialization of `thread_local` variables (#7004)

This commit adds `-fno-extern-tls-init` to the list of compiler flags to
tell the compiler that it can assume that there is no dynamic
initialization of thread-local variables in non-defining translation
units. This option should result in better performance and works around
crashing issues with our Windows build.
CMakeLists.txt diff | blob | history