Mailinglist Archive: zypp-devel (57 mails)

< Previous Next >
Re: [zypp-devel] Re: sat-solver must not abort()
  • From: Michael Andres <ma@xxxxxxx>
  • Date: Tue, 8 Jan 2008 17:57:20 +0100
  • Message-id: <20080108165720.GA5104@xxxxxxx>
On Tue, Jan 08, Michael Schroeder wrote:

On Tue, Jan 08, 2008 at 05:06:17PM +0100, Klaus Kaempf wrote:
* Michael Schroeder <mls@xxxxxxx> [Jan 08. 2008 17:03]:
On Tue, Jan 08, 2008 at 05:00:15PM +0100, Klaus Kaempf wrote:
The current sat-solver implementation (solver.c) has almost
30 (thirty !) calls to abort().
Since C does not support exceptions, these calls should be replaced
by proper return values.

These are no exceptions, but assertions. It makes no sense to return
something.

Then please use assert().

Ok, will do.

IMO not acceptable for the solver lib to call abort (explicit or via
assert).

Please return some errorcode and let the applicatin handle it.
(and don't write to stdout/stderr)


#define SATTHROW( RET ) \
do { \
POOL_DEBUG( SAT_ERROR, "%s(%s):(%d) -> error %d\n", \
__FILE__, __FUNCTION__, __LINE, RET ); \
return RET; \
} while ( 0 )

--

cu,
Michael Andres

+------------------------------------------------------------------+
Key fingerprint = 2DFA 5D73 18B1 E7EF A862 27AC 3FB8 9E3A 27C6 B0E4
+------------------------------------------------------------------+
Michael Andres YaST Development ma@xxxxxxxxxx
SUSE LINUX Products GmbH, GF: Markus Rex, HRB 16746 (AG Nuernberg)
Maxfeldstrasse 5, D-90409 Nuernberg, Germany, ++49 (0)911 - 740 53-0
+------------------------------------------------------------------+

--
To unsubscribe, e-mail: zypp-devel+unsubscribe@xxxxxxxxxxxx
For additional commands, e-mail: zypp-devel+help@xxxxxxxxxxxx

< Previous Next >
Follow Ups