This is the mail archive of the gdb-patches@sourceware.org mailing list for the GDB project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: [PATCH 00/16] Add styling to the gdb CLI and TUI


> Date: Thu, 21 Mar 2019 11:02:00 -0400
> From: Simon Marchi <simark@simark.ca>
> Cc: tom@tromey.com, gdb-patches@sourceware.org
> 
> > I don't have a strong opinion, but I do have a weak one: the decimal
> > "encoding" makes it much easier for humans to construct version
> > numbers, they don't need to convert to hex.
> 
> There's not much difference in hex, you would just write "if 
> $_gdb_version >= 0x0901" for example, rather than "if $_gdb_version >= 
> 901".

That's true for small values of major/minor.  But imagine GDB 12.13
for a moment.

> But again, my argument for hex is weak too, it's easy enough to extract 
> the GDB version components using some "% 100" and "/ 100".  If there's 
> no more compelling argument for hex, I'm fine with decimal.

Maybe someone else have an opinion on this?

Thanks.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]