Message193825
Coverity Scan may have found an issue in listobject's merge code. I'm not familiar with the code so I don't know if ssb.value can be NULL here.
3. Condition "ssb.values != NULL", taking false branch
4. var_compare_op: Comparing "ssb.values" to null implies that "ssb.values" might be null.
1642 if (ssb.values != NULL)
1643 ssb.values = ms->a.values + nb - 1;
[...]
CID 715348 (#1 of 2): Dereference after null check (FORWARD_NULL)
18. var_deref_model: Passing "&ssb" to function "sortslice_copy_decr(sortslice *, sortslice *)", which dereferences null "ssb.values".
1711 sortslice_copy_decr(&dest, &ssb);
http://hg.python.org/cpython/file/tip/Objects/listobject.c#l1711 |
|
Date |
User |
Action |
Args |
2013-07-28 13:20:06 | christian.heimes | set | recipients:
+ christian.heimes, tim.peters, vstinner |
2013-07-28 13:20:05 | christian.heimes | set | messageid: <1375017605.96.0.0484069196925.issue18579@psf.upfronthosting.co.za> |
2013-07-28 13:20:05 | christian.heimes | link | issue18579 messages |
2013-07-28 13:20:05 | christian.heimes | create | |
|