ChanServ changed the topic of #armlinux to: ARM kernel talk [Upstream kernel, find your vendor forums for questions about their kernels] | https://libera.irclog.whitequark.org/armlinux
apritzel has quit [Ping timeout: 252 seconds]
heat_ has joined #armlinux
heat has quit [Read error: Connection reset by peer]
lain6141 has quit [Read error: Connection reset by peer]
lain6141 has joined #armlinux
heat_ is now known as heat
jclsn has quit [Ping timeout: 260 seconds]
jclsn has joined #armlinux
rvalue has quit [Ping timeout: 244 seconds]
rvalue has joined #armlinux
heat has quit [Read error: Connection reset by peer]
lain6141 has quit [Read error: Connection reset by peer]
cmarinas has joined #armlinux
lain6141 has joined #armlinux
monstr has joined #armlinux
<dmart>
maz: ^ I thought it was something like that. I got a moan from someone about static checkers moaning about the default unreachable() in the non-exhaustive switches, but I'm tempted to say "this is mature code, and anyway this is what UBSAN is for"...
<maz>
dmart: I'll let people moan. gives them a sense of purpose!
<maz>
more seriously, if you go down that road, you start adding checks for values that the HW cannot return for example. where do you stop?
iivanov has quit [Remote host closed the connection]
iivanov has joined #armlinux
Livio has quit [Ping timeout: 245 seconds]
headless has joined #armlinux
lag has quit [Ping timeout: 252 seconds]
<dmart>
maz: I have nothing to add there. I guess the static checker might be happer if the unreachable() were deleted, so that the code just did the wrong thing in this case :P
heat has joined #armlinux
heat has quit [Read error: Connection reset by peer]
heat has joined #armlinux
snalty has quit [Ping timeout: 248 seconds]
headless has quit [Quit: Konversation terminated!]
headless has joined #armlinux
lain6141 has quit [Read error: Connection reset by peer]
lain6141 has joined #armlinux
heat has quit [Read error: Connection reset by peer]
heat_ has joined #armlinux
monstr has quit [Remote host closed the connection]
rockosov has joined #armlinux
frieder has quit [Remote host closed the connection]