Hi Jeff, On Sun, 2024-12-01 at 08:56 -0700, Jeff Law wrote: > commit 148e20466c2c246df9472efed0f2ae94cb65a0f8 > Author: Matevos Mehrabyan <matevosmehrab...@gmail.com> > Date: Mon Nov 11 13:00:10 2024 -0700 > > [PATCH v6 09/12] Add symbolic execution support. > > Gives an opportunity to execute the code on bit level, assigning > symbolic values to the variables which don't have initial values. > Supports only CRC specific operations. > > Example: > > uint8_t crc; > uint8_t pol = 1; > crc = crc ^ pol; > > during symbolic execution crc's value will be: > crc(8), crc(7), ... crc(1), crc(0) ^ 1 > > gcc/ > * Makefile.in (OBJS): Add sym-exec/sym-exec-expression.o, > sym-exec/sym-exec-state.o, sym-exec/sym-exec-condition.o. > * configure (sym-exec): New subdir. > * sym-exec/sym-exec-condition.cc: New file. > * sym-exec/sym-exec-condition.h: New file. > * sym-exec/sym-exec-expr-is-a-helper.h: New file. > * sym-exec/sym-exec-expression.cc: New file. > * sym-exec/sym-exec-expression.h: New file. > * sym-exec/sym-exec-state.cc: New file. > * sym-exec/sym-exec-state.h: New file. > > Co-authored-by: Mariam Arutunian <mariamarutun...@gmail.com>
This updates configure without updating configure.ac. So when regenerating configure the change disappears. The autoregen buildbot doesn't like that: https://builder.sourceware.org/buildbot/#/builders/gcc-autoregen Cheers, Mark
