[fix] Disable AlignSymbolicPointers in error guided mode

misonijnik · Nov 22, 2022 · 8b67688 · 8b67688
1 parent d8a07ff
commit 8b67688
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp
@@ -5745,6 +5745,7 @@ void Executor::runThroughLocations(llvm::Function *f, int argc, char **argv,
   guidanceKind = GuidanceKind::ErrorGuidance;
   MockAllExternalCalls = true;
   ForkPartialValidity = true;
+  AlignSymbolicPointers = false;
   ExecutionState *state = formState(f, argc, argv, envp);
   bindModuleConstants(llvm::APFloat::rmNearestTiesToEven);