diff options
author | Chris Lattner <sabre@nondot.org> | 2010-11-12 00:19:41 +0000 |
---|---|---|
committer | Chris Lattner <sabre@nondot.org> | 2010-11-12 00:19:41 +0000 |
commit | 97928d136a15b30954c4bf7d4b57ba62301a830e (patch) | |
tree | a7fdccc5f9a027d2af34fcc85a9cdf9c44b584c9 /docs | |
parent | ccb5c677c66aea0a86878de69d5346ef802a6505 (diff) | |
download | external_llvm-97928d136a15b30954c4bf7d4b57ba62301a830e.zip external_llvm-97928d136a15b30954c4bf7d4b57ba62301a830e.tar.gz external_llvm-97928d136a15b30954c4bf7d4b57ba62301a830e.tar.bz2 |
describe the preferred approach to silencing 'unused variable warnings' due to asserts.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@118863 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'docs')
-rw-r--r-- | docs/CodingStandards.html | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/docs/CodingStandards.html b/docs/CodingStandards.html index e3ec3ff..416c29b 100644 --- a/docs/CodingStandards.html +++ b/docs/CodingStandards.html @@ -851,6 +851,38 @@ return 0; </pre> </div> +<p>Another issue is that values used only by assertions will produce an "unused + value" warning when assertions are disabled. For example, this code will warn: +</p> + +<div class="doc_code"> +<pre> + unsigned Size = V.size(); + assert(Size > 42 && "Vector smaller than it should be"); + + bool NewToSet = Myset.insert(Value); + assert(NewToSet && "The value shouldn't be in the set yet"); +</pre> +</div> + +<p>These are two interesting different cases: in the first case, the call to +V.size() is only useful for the assert, and we don't want it executed when +assertions are disabled. Code like this should move the call into the assert +itself. In the second case, the side effects of the call must happen whether +the assert is enabled or not. In this case, the value should be cast to void +to disable the warning. To be specific, it is preferred to write the code +like this:</p> + +<div class="doc_code"> +<pre> + assert(V.size() > 42 && "Vector smaller than it should be"); + + bool NewToSet = Myset.insert(Value); (void)NewToSet; + assert(NewToSet && "The value shouldn't be in the set yet"); +</pre> +</div> + + </div> <!-- _______________________________________________________________________ --> |