Better typing and type verification

src/compiler/generic-node-inl.h

Index: src/compiler/generic-node-inl.h
diff --git a/src/compiler/generic-node-inl.h b/src/compiler/generic-node-inl.h
index 51d1a50162d5ff7904621bf813a4f30bf3a2a2c8..3e34860d8dafa91e7b060159cfc75ed6c176d95e 100644
--- a/src/compiler/generic-node-inl.h
+++ b/src/compiler/generic-node-inl.h
@@ -23,7 +23,8 @@ GenericNode<B, S>::GenericNode(GenericGraphBase* graph, int input_count)
       use_count_(0),
       first_use_(NULL),
       last_use_(NULL) {
-  inputs_.static_ = reinterpret_cast<Input*>(this + 1), AssignUniqueID(graph);
+  inputs_.static_ = reinterpret_cast<Input*>(this + 1);

[titzer, 2014/08/28 13:12:31]

That's a nice little gift

[Benedikt Meurer, 2014/08/29 07:00:58]

Ahem, can we please get rid of this undefined behaviour here? Even if we assume
that alignof is less than sizeof the concrete GenericNode (which we do not
ensure in any way), it is still not safe in general.

[rossberg, 2014/08/29 07:23:42]

I agree. Since this problem has nothing to do with this CL, feel free to fix it.
:)

+  AssignUniqueID(graph);
 }
 
 template <class B, class S>