X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=check%2Fparser_bugs.cpp;h=af32c5ef89c81548eea433f16d9bd7ab882ed046;hp=a83f668a4b620a7bcbbcb74ab75306aa4fd4127c;hb=1261c54df6548cf558405a118b2134805f63376d;hpb=d4593e1981a168677f98e4d3b098696bd31088e2

diff --git a/check/parser_bugs.cpp b/check/parser_bugs.cpp
index a83f668a..af32c5ef 100644
--- a/check/parser_bugs.cpp
+++ b/check/parser_bugs.cpp
@@ -58,6 +58,22 @@ static int check3(std::ostream& err_str)
 	return 0;
 }
 
+/// parser happily accepted various junk like 'x^2()+1'
+static int check4(std::ostream& err_str)
+{
+	const std::string junk("x^2()+1");
+	parser reader;
+	ex e;
+	try {
+		e = reader(junk);
+		err_str << "parser accepts junk: \"" << junk << "\"" << std::endl;
+		return 1;
+	} catch (parse_error& err) {
+		// Ok, parser rejects the nonsense.
+		return 0;
+	}
+}
+
 int main(int argc, char** argv)
 {
 	std::cout << "checking for parser bugs. " << std::flush;
@@ -66,6 +82,7 @@ int main(int argc, char** argv)
 	errors += check1(err_str);
 	errors += check2(err_str);
 	errors += check3(err_str);
+	errors += check4(err_str);
 	if (errors) {
 		std::cout << "Yes, unfortunately:" << std::endl;
 		std::cout << err_str.str();