projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 487e610) | patch
Ensure that assignment gestures through CDMap iterators like:
authorMorgan Deters <mdeters@gmail.com>
Fri, 2 Sep 2011 19:23:18 +0000 (19:23 +0000)
committerMorgan Deters <mdeters@gmail.com>
Fri, 2 Sep 2011 19:23:18 +0000 (19:23 +0000)
commit74770f1071e6102795393cf65dd0c651038db6b4
treee1ae141b4d74bd7a603631830303fe3f1ea439d9tree
parent487e610b88f2a634e3285886ff96717c103338decommit | diff
Ensure that assignment gestures through CDMap iterators like:

  (*myCDMap.find(foo)).second = bar;

fail with a compile-time error (rather than being silently ignored, like
they had been).

Resolves bug #276.
src/context/cdmap.h diff | blob | history