Merge pull request #25129 from rzarzynski/wip-common-annotate
authorKefu Chai <tchaikov@gmail.com>
Tue, 27 Nov 2018 15:18:48 +0000 (23:18 +0800)
committerGitHub <noreply@github.com>
Tue, 27 Nov 2018 15:18:48 +0000 (23:18 +0800)
commitffd879580520c091d4b4465d1e79b7e94eab4745
tree781827a47622c8d7afdf3359eb07512f6ba28bd4
parentb284bcc62682ef8d1dcb6a3857207bae10372932
parentf24788ad325a1dd2df10d56e8fcbd4870bd4b9d8
Merge pull request #25129 from rzarzynski/wip-common-annotate

common: avoid the overhead of ANNOTATE_HAPPENS_* in NDEBUG builds.

Reviewed-by: Kefu Chai <kchai@redhat.com>