--- Log opened Mon Feb 10 00:00:34 2020
02:02 < elichai2> nice. isn't the read-only covered by const qualifier though?
02:11 < gmaxwell> no, because you can cast out of const.
02:12 < gmaxwell> it actually covers that:
02:12 < gmaxwell> The read_only access mode specifies that the pointer to which it applies is used to read the referenced object but not write to it. Unless the argument specifying the size of the access denoted by size-index is zero, the referenced object must be initialized. The mode implies a stronger guarantee than the const qualifier which, when cast away from a pointer, does not prevent the pointed-to object from
02:12 < gmaxwell> being modified. Examples of the use of the read_only access mode is the argument to the puts function, or the second and third arguments to the memcpy function.
02:13 < gmaxwell> so read_only will also cause compiler warnings if it can prove the argument will be uninitilized (unless the size is zero)
02:52 -!- jonatack [~jon@2a01:e0a:53c:a200:bb54:3be5:c3d0:9ce5] has quit [Ping timeout: 256 seconds]
03:09 -!- ddustin [~ddustin@unaffiliated/ddustin] has joined #secp256k1
03:14 -!- ddustin [~ddustin@unaffiliated/ddustin] has quit [Ping timeout: 240 seconds]
03:30 -!- jonatack [~jon@213.152.162.94] has joined #secp256k1
03:31 -!- ddustin [~ddustin@unaffiliated/ddustin] has joined #secp256k1
03:33 -!- ddustin [~ddustin@unaffiliated/ddustin] has quit [Read error: Connection reset by peer]
04:30 -!- jonatack [~jon@213.152.162.94] has quit [Ping timeout: 260 seconds]
07:23 -!- roconnor [~roconnor@host-104-157-187-25.dyn.295.ca] has joined #secp256k1
08:01 -!- ddustin [~ddustin@unaffiliated/ddustin] has joined #secp256k1
08:07 -!- jonatack [~jon@54.76.13.109.rev.sfr.net] has joined #secp256k1
09:28 -!- jonatack [~jon@54.76.13.109.rev.sfr.net] has quit [Ping timeout: 265 seconds]
09:36 -!- ddustin [~ddustin@unaffiliated/ddustin] has quit [Remote host closed the connection]
09:36 -!- ddustin [~ddustin@unaffiliated/ddustin] has joined #secp256k1
09:37 -!- ddustin [~ddustin@unaffiliated/ddustin] has quit [Remote host closed the connection]
09:37 -!- ddustin [~ddustin@unaffiliated/ddustin] has joined #secp256k1
09:38 -!- ddustin [~ddustin@unaffiliated/ddustin] has quit [Remote host closed the connection]
09:38 -!- ddustin [~ddustin@unaffiliated/ddustin] has joined #secp256k1
09:39 -!- ddustin [~ddustin@unaffiliated/ddustin] has quit [Remote host closed the connection]
09:39 -!- ddustin [~ddustin@unaffiliated/ddustin] has joined #secp256k1
09:39 -!- ddustin [~ddustin@unaffiliated/ddustin] has quit [Remote host closed the connection]
10:20 -!- ddustin [~ddustin@unaffiliated/ddustin] has joined #secp256k1
10:24 -!- ddustin [~ddustin@unaffiliated/ddustin] has quit [Ping timeout: 240 seconds]
10:36 -!- ddustin [~ddustin@unaffiliated/ddustin] has joined #secp256k1
10:40 -!- ddustin [~ddustin@unaffiliated/ddustin] has quit [Ping timeout: 240 seconds]
10:52 -!- jonatack [~jon@2a01:e0a:53c:a200:bb54:3be5:c3d0:9ce5] has joined #secp256k1
13:04 < TD-Linux> is access only used for warnings or also for optimizations?
13:10 -!- ddustin [~ddustin@unaffiliated/ddustin] has joined #secp256k1
13:15 -!- ddustin [~ddustin@unaffiliated/ddustin] has quit [Ping timeout: 272 seconds]
13:17 < gmaxwell> Docs don't say.  The non-null attribute is used for optimizations (though there is a flag that disables that behavior)
13:17 < gmaxwell> I would bet right now they aren't used for optimizations but they might be in the future.
13:17 < gmaxwell> I think the way they're specified though doesn't open up a lot of optimizations.
13:18 < gmaxwell> Like write-only doesn't guarentee that you'll write... so it can't go and eliminate all earlier writes.
13:19 < gmaxwell> I guess read with a non-zero size implies initilized, which could be used to infer that code was dead if it can be proved to be unitilized.
14:50 -!- ddustin [~ddustin@unaffiliated/ddustin] has joined #secp256k1
14:50 -!- ddustin [~ddustin@unaffiliated/ddustin] has quit [Remote host closed the connection]
15:26 -!- ddustin [~ddustin@unaffiliated/ddustin] has joined #secp256k1
15:31 -!- ddustin [~ddustin@unaffiliated/ddustin] has quit [Ping timeout: 260 seconds]
--- Log closed Mon Feb 10 15:51:13 2020
--- Log opened Mon Feb 10 15:51:13 2020
15:55 -!- lukedashjr [~luke-jr@unaffiliated/luke-jr] has joined #secp256k1
15:58 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has quit [Ping timeout: 268 seconds]
16:00 -!- lukedashjr is now known as luke-jr
16:02 -!- lukedashjr [~luke-jr@unaffiliated/luke-jr] has joined #secp256k1
16:03 -!- luke-jr- [~luke-jr@unaffiliated/luke-jr] has joined #secp256k1
16:04 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has quit [Ping timeout: 240 seconds]
16:05 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has joined #secp256k1
16:07 -!- lukedashjr [~luke-jr@unaffiliated/luke-jr] has quit [Ping timeout: 265 seconds]
16:08 -!- lukedashjr [~luke-jr@unaffiliated/luke-jr] has joined #secp256k1
16:08 -!- luke-jr- [~luke-jr@unaffiliated/luke-jr] has quit [Ping timeout: 240 seconds]
16:09 -!- luke-jr- [~luke-jr@unaffiliated/luke-jr] has joined #secp256k1
16:11 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has quit [Ping timeout: 272 seconds]
16:13 -!- lukedashjr [~luke-jr@unaffiliated/luke-jr] has quit [Ping timeout: 260 seconds]
16:13 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has joined #secp256k1
16:14 -!- lukedashjr [~luke-jr@unaffiliated/luke-jr] has joined #secp256k1
16:15 -!- luke-jr- [~luke-jr@unaffiliated/luke-jr] has quit [Ping timeout: 240 seconds]
16:16 -!- luke-jr- [~luke-jr@unaffiliated/luke-jr] has joined #secp256k1
16:18 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has quit [Ping timeout: 260 seconds]
16:20 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has joined #secp256k1
16:20 -!- lukedashjr [~luke-jr@unaffiliated/luke-jr] has quit [Ping timeout: 265 seconds]
16:22 -!- luke-jr- [~luke-jr@unaffiliated/luke-jr] has quit [Ping timeout: 265 seconds]
16:28 -!- lukedashjr [~luke-jr@unaffiliated/luke-jr] has joined #secp256k1
16:31 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has quit [Ping timeout: 265 seconds]
16:33 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has joined #secp256k1
16:34 -!- lukedashjr [~luke-jr@unaffiliated/luke-jr] has quit [Ping timeout: 272 seconds]
16:44 -!- lukedashjr [~luke-jr@unaffiliated/luke-jr] has joined #secp256k1
16:45 -!- luke-jr- [~luke-jr@unaffiliated/luke-jr] has joined #secp256k1
16:47 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has quit [Ping timeout: 268 seconds]
16:47 -!- luke-jr| [~luke-jr@unaffiliated/luke-jr] has joined #secp256k1
16:49 -!- lukedashjr [~luke-jr@unaffiliated/luke-jr] has quit [Ping timeout: 268 seconds]
16:50 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has joined #secp256k1
16:51 -!- lukedashjr [~luke-jr@unaffiliated/luke-jr] has joined #secp256k1
16:51 -!- luke-jr- [~luke-jr@unaffiliated/luke-jr] has quit [Ping timeout: 265 seconds]
16:52 -!- luke-jr- [~luke-jr@unaffiliated/luke-jr] has joined #secp256k1
16:52 -!- luke-jr| [~luke-jr@unaffiliated/luke-jr] has quit [Ping timeout: 260 seconds]
16:54 -!- luke-jr| [~luke-jr@unaffiliated/luke-jr] has joined #secp256k1
16:55 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has quit [Ping timeout: 260 seconds]
16:55 -!- lukedashjr [~luke-jr@unaffiliated/luke-jr] has quit [Ping timeout: 260 seconds]
16:57 -!- luke-jr- [~luke-jr@unaffiliated/luke-jr] has quit [Ping timeout: 265 seconds]
16:58 -!- luke-jr| is now known as luke-jr
17:03 -!- lukedashjr [~luke-jr@unaffiliated/luke-jr] has joined #secp256k1
17:04 -!- luke-jr- [~luke-jr@unaffiliated/luke-jr] has joined #secp256k1
17:06 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has quit [Ping timeout: 272 seconds]
17:07 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has joined #secp256k1
17:08 -!- luke-jr| [~luke-jr@unaffiliated/luke-jr] has joined #secp256k1
17:08 -!- lukedashjr [~luke-jr@unaffiliated/luke-jr] has quit [Ping timeout: 268 seconds]
17:10 -!- luke-jr- [~luke-jr@unaffiliated/luke-jr] has quit [Ping timeout: 272 seconds]
17:12 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has quit [Ping timeout: 265 seconds]
17:12 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has joined #secp256k1
17:13 -!- luke-jr| [~luke-jr@unaffiliated/luke-jr] has quit [Ping timeout: 240 seconds]
17:14 -!- lukedashjr [~luke-jr@unaffiliated/luke-jr] has joined #secp256k1
17:18 -!- luke-jr- [~luke-jr@unaffiliated/luke-jr] has joined #secp256k1
17:18 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has quit [Ping timeout: 272 seconds]
17:19 -!- lukedashjr [~luke-jr@unaffiliated/luke-jr] has quit [Ping timeout: 240 seconds]
17:24 -!- luke-jr- [~luke-jr@unaffiliated/luke-jr] has quit [Ping timeout: 260 seconds]
17:25 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has joined #secp256k1
17:28 -!- lukedashjr [~luke-jr@unaffiliated/luke-jr] has joined #secp256k1
17:31 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has quit [Ping timeout: 272 seconds]
17:33 -!- lukedashjr [~luke-jr@unaffiliated/luke-jr] has quit [Ping timeout: 272 seconds]
17:34 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has joined #secp256k1
17:41 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has quit [Ping timeout: 268 seconds]
17:42 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has joined #secp256k1
17:43 -!- lukedashjr [~luke-jr@unaffiliated/luke-jr] has joined #secp256k1
17:46 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has quit [Ping timeout: 240 seconds]
17:49 -!- lukedashjr [~luke-jr@unaffiliated/luke-jr] has quit [Ping timeout: 272 seconds]
17:49 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has joined #secp256k1
19:15 -!- afk11 [~afk11@gateway/tor-sasl/afk11] has quit [Ping timeout: 240 seconds]
19:15 -!- sipa [~pw@gateway/tor-sasl/sipa1024] has quit [Ping timeout: 240 seconds]
19:29 -!- ddustin [~ddustin@unaffiliated/ddustin] has joined #secp256k1
19:47 -!- ddustin [~ddustin@unaffiliated/ddustin] has quit [Ping timeout: 272 seconds]
20:02 -!- sipa [~pw@gateway/tor-sasl/sipa1024] has joined #secp256k1
20:03 -!- afk11 [~afk11@gateway/tor-sasl/afk11] has joined #secp256k1
23:00 -!- ddustin [~ddustin@unaffiliated/ddustin] has joined #secp256k1
--- Log closed Tue Feb 11 00:00:39 2020