2dcbdbc75d
Preserve source, binary, and runtime evidence boundaries while making precision and performance regressions reproducible. - decompose analysis orchestration into bounded modules - add differential, metamorphic, organic, and Yams change-time gates - fix detector, P-Code, fuzz sanitizer, and report identity precision
11 lines
338 B
C++
11 lines
338 B
C++
__attribute__((noinline)) int readSlot() {
|
|
// Volatile preserves the invalid load for the runtime oracle at -O1 while
|
|
// leaving the constant bound visible to Fold's source analysis.
|
|
volatile int values[2] = {4, 8};
|
|
return values[2];
|
|
}
|
|
|
|
int main() {
|
|
volatile int result = readSlot();
|
|
return result == 8 ? 0 : 1;
|
|
}
|