|Subject:||Re: [Bug-glpk] minisat: copying 32 bit integer to 64 bit pointer|
|Date:||Thu, 19 Nov 2015 03:40:44 +0200|
on 64bit Windows unsigned long has 32 bits and a pointer has 64 bits.
The coding in minisat.c is definitely flawed.
clause_from_lit returns a pointer to memory Nirwana.
Furthermore the unjustified assumption is made that struct clause is two byte aligned.
This may be true for most architectures and compilers but at least on amd64 you could also
enforce a one byte alignment by compiling with Visual C and setting /Zp1.
Description: Binary data
|[Prev in Thread]||Current Thread||[Next in Thread]|