commit | c07100d793fc0cdb20bc4f0361c1d53987ba259b | [log] [tgz] |
---|---|---|
author | Jay Conrod <jayconrod@google.com> | Fri May 15 14:51:24 2020 -0400 |
committer | GitHub <noreply@github.com> | Fri May 15 14:51:24 2020 -0400 |
tree | 52130ef3925ad186936c353b4a09bff16cefaaf6 | |
parent | 930516755a7f39854500e146477906ea5a9e22e1 [diff] |
go: disable race and msan modes when pure mode is set (#2506) In go_transition, race and msan settings will be disabled if pure mode is explicitly enabled. If race or msan are explicitly enabled together with pure mode, an error will be reported, but this isn't fatal. In get_mode, --features=race and --features=msan will be ignored when pure mode is enabled. If race or msan are explicitly enabled together with pure mode, a fatal error will be reported. Fixes #2499