Merge pull request #80 from shubhamnarlawar77/csmith-gcc-c-extension

Added support for Aligned Function Attribute

src/Attribute.cpp

@@ -63,3 +63,20 @@ MultiChoiceAttribute::make_random()
 	else
 		return "";
 }
+
+AlignedAttribute::AlignedAttribute(string name, int prob, int alignment_factor)
+	: Attribute(name, prob), alignment(alignment_factor)
+{
+}
+
+string
+AlignedAttribute::make_random()
+{
+	if(rnd_flipcoin(prob)){
+		ostringstream oss;
+		oss << (1 << rnd_upto(alignment));
+		return name + "(" + oss.str() + ")";
+	}
+	else
+		return "";
+}

src/Attribute.h

@@ -3,6 +3,7 @@
 
 #include <string>
 #include <vector>
+#include <sstream>
 using namespace std;
 
 class AttributeGenerator;
@@ -38,6 +39,17 @@ class MultiChoiceAttribute : public Attribute
 	string make_random();
 };
 
+//Generates alignment attribute
+class AlignedAttribute : public Attribute
+{
+public:
+	//alignment factor - [functions] = 16 and [types] = 8 i.e. functions can take alignment upto 2^16 where as type can take upto 2^8
+	int alignment;
+	AlignedAttribute(string, int, int);
+	string make_random();
+};
+
+//Generates function and types attributes
 class AttributeGenerator
 {
 public:

src/Function.cpp

@@ -135,6 +135,7 @@ Function::InitializeAttributes()
 
 		func_attr_generator.attributes.push_back(new MultiChoiceAttribute("visibility", FuncAttrProb, visibility_choices));
 		func_attr_generator.attributes.push_back(new MultiChoiceAttribute("no_sanitize", FuncAttrProb, sanitize_choices));
+		func_attr_generator.attributes.push_back(new AlignedAttribute("aligned", FuncAttrProb, 16));
 	}
 }