Fix WPDSLinearConstantAnalysis constructor (initialise ZeroValue properly)

Author: MMory

lib/PhasarLLVM/DataFlowSolver/WPDS/Problems/WPDSLinearConstantAnalysis.cpp

@@ -26,6 +26,11 @@ WPDSLinearConstantAnalysis::WPDSLinearConstantAnalysis(
           WPDSLinearConstantAnalysis::m_t, WPDSLinearConstantAnalysis::t_t,
           WPDSLinearConstantAnalysis::v_t, WPDSLinearConstantAnalysis::l_t,
           WPDSLinearConstantAnalysis::i_t>(IRDB, TH, ICF, PT, EntryPoints),
-      IDELinearConstantAnalysis(IRDB, TH, ICF, PT, EntryPoints) {}
+      IDELinearConstantAnalysis(IRDB, TH, ICF, PT, EntryPoints) {
+  WPDSProblem<WPDSLinearConstantAnalysis::n_t, WPDSLinearConstantAnalysis::d_t,
+              WPDSLinearConstantAnalysis::m_t, WPDSLinearConstantAnalysis::t_t,
+              WPDSLinearConstantAnalysis::v_t, WPDSLinearConstantAnalysis::l_t,
+              WPDSLinearConstantAnalysis::i_t>::ZeroValue = IDELinearConstantAnalysis::createZeroValue();
+}
 
 } // namespace psr