[LFSC] Fix memory leaks when creating CExprs
authorAndres Notzli <andres.noetzli@gmail.com>
Thu, 22 Dec 2016 04:03:29 +0000 (20:03 -0800)
committerAndres Notzli <andres.noetzli@gmail.com>
Wed, 28 Dec 2016 19:00:29 +0000 (20:00 +0100)
commitb8a588e63cb25ce496a38fc57904bd6a1643e9a2
treed0d12582a972625633674cd51add611a5aef2674
parent67fd8cc104ec9861ca234bb3170c7f992eea3868
[LFSC] Fix memory leaks when creating CExprs

In certain cases, LFSC was creating CExprs with the single-argument
constructor, which allocates an array of one child, only to immediately
replace it with a new array (without deleting the old one).
Additionally, this commit fixes the construction of TYPE/KIND/MPZ/MPQ
expressions (the null pointer is appended automatically by the single
argument constructor, an array with two null pointer entries should not
be necessary).
proofs/lfsc_checker/check.cpp
proofs/lfsc_checker/expr.cpp