./sv-sanitizers.py -j 8 --property /mnt/goblint-svcomp/goblint-bench/bench/concrat/properties/no-data-race.prp --data-model LP64 /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c


--------------------------------------------------------------------------------


/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c: In function ‘release_qoutinfo’:
/mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7430:68: warning: format ‘%x’ expects argument of type ‘unsigned int’, but argument 2 has type ‘mbuf_type *’ {aka ‘struct _mem_buf *’} [-Wformat=]
 7430 |     printf((char const   * __restrict  )"del list val =0, mbuf:0x%0x\n", mbuf);
      |                                                                  ~~^     ~~~~
      |                                                                    |     |
      |                                                                    |     mbuf_type * {aka struct _mem_buf *}
      |                                                                    unsigned int
........