daicity.c garbage sellers[i]
S3_1, clang analyzer:
../../../../src/ai/default/daicity.c:883:11: warning: Assigned value is garbage or undefined [core.uninitialized.Assign] tmp = sellers[i];
S3_1, clang analyzer: