Adrian Cochrane
In C semantics uninitialized variables/fields defaults to 0, but this does not apply to using Assembly regs. So GCC has a `pass_initialize_regs` pass which sets pseudoregs to 0 on uninitialized codepaths.
---
After reanalyzing dataflow with liveness analysis `pass_initialize_regs` iterates over codeblock, instructions therein, & use of each instruction skipping non-pseudo, PIC, already moved regs. It checks per-codeblock bitmasks to determine whether to emit a new store & update indices.
1/1
Adrian Cochrane
@ekaitz_zarraga O.K., maybe it's not C semantics. Just GCC making the behaviour less undefined after warning you about it?
tiflolinux.org - GNU Social is a social network, courtesy of tiflolinux.org. It runs on GNU social, version 2.0.1-beta0, available under the GNU Affero General Public License.
All tiflolinux.org - GNU Social content and data are available under the Creative Commons Attribution 3.0 license.