|
From: | Chris Matrakidis |
Subject: | Re: [Bug-glpk] minisat: copying 32 bit integer to 64 bit pointer |
Date: | Thu, 19 Nov 2015 12:12:40 +0200 |
> #if 1 /* by mao; meaningless non-portable check */
If the check is necessary, the comment should be removed.
And of cause Andrew was right. The code (probably based on MiniSat-C
v1.14.1) is non-portable.
The easiest way to fix the code would be to use
struct storage {
char is_pointer;
union {
void *pointer;
int lit;
};
};
[Prev in Thread] | Current Thread | [Next in Thread] |