tree df9c05b8fc39175dba67f74f23c2fe8a4528c17d
parent ecae1f07ea9b755f69b2d8cf14af51ae0acba323
author Sameer Agarwal <sameeragarwal@google.com> 1379999424 -0700
committer Sameer Agarwal <sameeragarwal@google.com> 1380090282 -0700

Fix Problem::RemoveParameterBlock after calling solve.

The indexing parameter in the parameter block is expected
to be the same as its position in the program. However,
when Solve is called, the parameter blocks are made
members of a new program and the same indexing parameter
is used to store the position of the parameter block
in this new reordered program.

So when the user calls RemoveParameterBlock after calling
Solve, and ProblemImpl checks the invariant on the
indexing parameter it does not match and causes a crash.

The fix is to make sure that before returning from Solve,
the state of the indexing parameter's values are restored
to their original values corresponding to their positions
in the Program object contained in the ProblemImpl object.

Thanks to Simon Lynen for reporting this.

Change-Id: I060745026cd23a688c1fb5e2c9e6053e9ba1c78f