|
From: Christoph B. <bar...@or...> - 2007-07-19 22:24:09
|
Hi,
in ExeContext* VG_(record_ExeContext) ( ThreadId tid ) I find the following
comparison:
for (i = 0; i < n_ips; i++) {
if (list->ips[i] != ips[i]) {
same = False;
break;
}
}
Is it really guaranteed that list->ips also has n_ips entries?
Christoph
|
|
From: Nicholas N. <nj...@cs...> - 2007-07-19 22:31:52
|
On Fri, 20 Jul 2007, Christoph Bartoschek wrote:
> in ExeContext* VG_(record_ExeContext) ( ThreadId tid ) I find the following
> comparison:
>
> for (i = 0; i < n_ips; i++) {
> if (list->ips[i] != ips[i]) {
> same = False;
> break;
> }
> }
>
> Is it really guaranteed that list->ips also has n_ips entries?
Hmm, good question. I'm not sure. It should probably also be considering
list->n_ips.
One more to add to the list of "problems identified by Christoph that need
fixing" :)
Nick
|