> On 17 Nov 2015, at 14:38, Neels Hofmeyr <[email protected]> wrote: > > Use unsigned int for nr_map, just large enough to fit the TEI space. > Adjust log output formats and casts accordingly. > > Fixes: TEIs are uint32_t, but the nr_map so far used int. This would cause > TEIs > from 0x80000000 on to be handled and printed as a negative value.
good! > -typedef int nr_t; > +typedef unsigned int nr_t; use uint32_t here then? and "nr_t" is that clear it refers to a tei? > + (unsigned int)nrm->orig, (unsigned int)nrm->repl); What is the explicit casting about? holger
