Throw custom error exception for preprocessor #error statements

Author: bahnwaerter

trunk/examples/programs/regression/c/preprocessor/preprocessor-error.c

@@ -0,0 +1,14 @@
+//#Unafe
+/*-----------------------------------------------------------------------------
+ * C program with preprocessor error statement
+ *-----------------------------------------------------------------------------
+ * Author: Manuel Bentele
+ *   Date: 2025-01-17
+ *---------------------------------------------------------------------------*/
+
+#error This is an preprocessor error in the program
+
+int main(void)
+{
+    return 0;
+}

trunk/source/CACSL2BoogieTranslator/src/de/uni_freiburg/informatik/ultimate/cdt/translation/implementation/base/PreprocessorHandler.java

@@ -46,7 +46,7 @@
 import org.eclipse.cdt.core.dom.ast.IASTPreprocessorUndefStatement;
 
 import de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.LocationFactory;
-import de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.exception.IncorrectSyntaxException;
+import de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.exception.PreprocessorErrorException;
 import de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.exception.UnsupportedSyntaxException;
 import de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.result.Result;
 import de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.result.SkipResult;
@@ -92,9 +92,9 @@ public Result visit(final IDispatcher main, final IASTPreprocessorEndifStatement
 
 	@Override
 	public Result visit(final IDispatcher main, final IASTPreprocessorErrorStatement node) {
-		final String msg = "PreprocessorHandler: There was an error while parsing the preprocessor statements!";
+		final String msg = "PreprocessorHandler: " + node.toString();
 		final ILocation loc = mLocationFactory.createCLocation(node);
-		throw new IncorrectSyntaxException(loc, msg);
+		throw new PreprocessorErrorException(loc, msg);
 	}
 
 	@Override

trunk/source/CACSL2BoogieTranslator/src/de/uni_freiburg/informatik/ultimate/cdt/translation/implementation/exception/PreprocessorErrorException.java

@@ -0,0 +1,50 @@
+/*
+ * Copyright (C) 2025 Manuel Bentele (bentele@informatik.uni-freiburg.de)
+ *
+ * This file is part of the ULTIMATE CACSL2BoogieTranslator plug-in.
+ *
+ * The ULTIMATE CACSL2BoogieTranslator plug-in is free software: you can redistribute it and/or modify
+ * it under the terms of the GNU Lesser General Public License as published
+ * by the Free Software Foundation, either version 3 of the License, or
+ * (at your option) any later version.
+ *
+ * The ULTIMATE CACSL2BoogieTranslator plug-in is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU Lesser General Public License for more details.
+ *
+ * You should have received a copy of the GNU Lesser General Public License
+ * along with the ULTIMATE CACSL2BoogieTranslator plug-in. If not, see <http://www.gnu.org/licenses/>.
+ *
+ * Additional permission under GNU GPL version 3 section 7:
+ * If you modify the ULTIMATE CACSL2BoogieTranslator plug-in, or any covered work, by linking
+ * or combining it with Eclipse RCP (or a modified version of Eclipse RCP),
+ * containing parts covered by the terms of the Eclipse Public License, the
+ * licensors of the ULTIMATE CACSL2BoogieTranslator plug-in grant you additional permission
+ * to convey the resulting work.
+ */
+package de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.exception;
+
+import de.uni_freiburg.informatik.ultimate.core.model.models.ILocation;
+
+/**
+ * Exception for a preprocessor #error statement.
+ *
+ * @author Manuel Bentele (bentele@informatik.uni-freiburg.de)
+ */
+public class PreprocessorErrorException extends CACSL2BoogieTranslationException {
+
+	private static final long serialVersionUID = 1L;
+
+	/**
+	 * Create a new exception for a preprocessor #error statement.
+	 *
+	 * @param location
+	 *            Location of the preprocessor statement.
+	 * @param msg
+	 *            Detailed error message.
+	 */
+	public PreprocessorErrorException(final ILocation location, final String msg) {
+		super(location, msg);
+	}
+}