I am not sure this is a good idea to be an option, but rename the option for
authorChris Lattner <sabre@nondot.org>
Mon, 29 Oct 2007 03:14:55 +0000 (03:14 +0000)
committerChris Lattner <sabre@nondot.org>
Mon, 29 Oct 2007 03:14:55 +0000 (03:14 +0000)
now.  It conflicts with clang's -pedantic flag.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@43431 91177308-0d34-0410-b5e6-96231b3b80d8

lib/VMCore/Verifier.cpp

index 1d35d65e61280e4d2ef47f90876028a74679eea2..68c30bbc638ed4bdeb456b91cdc596e7b4567c01 100644 (file)
@@ -69,7 +69,7 @@ using namespace llvm;
 
 namespace {  // Anonymous namespace for class
   cl::opt<bool>
-  Pedantic("pedantic",
+  Pedantic("verify-pedantic",
            cl::desc("Reject code with undefined behaviour"));
     
   struct VISIBILITY_HIDDEN