<div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
+<br>
+ConstraintManager* clang::CreateRangeConstraintManager(GRStateManager& StateMgr)<br>
+{<br>
+  return new RangeConstraintManager(StateMgr);<br>
+}<br>
+<br>
+RegisterConstraintManager X(CreateRangeConstraintManager);</blockquote><div><br>Hi Ben, Ted, <br></div><div><br>This means RangeConstraintManager will be used regardless whether we specify -analyzer-range-constraints in the command line. Is this intended?<br>
<br></div></div><br>