diff options
| author | Artem Dergachev <artem.dergachev@gmail.com> | 2018-05-31 18:30:41 +0000 |
|---|---|---|
| committer | Artem Dergachev <artem.dergachev@gmail.com> | 2018-05-31 18:30:41 +0000 |
| commit | 38f7bb779854c3812ddd98cae4032788fa2722c4 (patch) | |
| tree | 192d242db1175da215230b69087a4f49999fa0b4 /clang/lib/CodeGen | |
| parent | d44a6eab40eade8be920228c2ccfbc15220d2e62 (diff) | |
| download | bcm5719-llvm-38f7bb779854c3812ddd98cae4032788fa2722c4.tar.gz bcm5719-llvm-38f7bb779854c3812ddd98cae4032788fa2722c4.zip | |
[analyzer] Annotate ProgramState update methods with LLVM_NODISCARD.
Because our program states are immutable, methods like "add<>", "set<>", "bind"
create a copy of the program state instead of mutating the existing state.
If the updated state is discarded, it clearly indicates a bug.
Such bugs are introduced frequently, hence the warn_unused_result annotation.
Differential Revision: https://reviews.llvm.org/D47499
llvm-svn: 333679
Diffstat (limited to 'clang/lib/CodeGen')
0 files changed, 0 insertions, 0 deletions
