---

brson · brson · commit 44d53e7c3d9c · 2011-05-23T19:52:57.000-04:00
yaml --- r: 2750 b: refs/heads/master c: 2505a23 h: refs/heads/master v: v3
diff --git a/[refs] b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 8637c09cf920725c0e813f2c9e69cdb12683030b
+refs/heads/master: 2505a2312eeae17cbf261833af5c2cab40f698e2
diff --git a/trunk/src/comp/back/link.rs b/trunk/src/comp/back/link.rs
@@ -115,6 +115,10 @@ mod write {
             }
         }
 
+        if (opts.verify) {
+            llvm::LLVMAddVerifierPass(pm.llpm);
+        }
+
         // FIXME: This is mostly a copy of the bits of opt's -O2 that are
         // available in the C api.
         // FIXME2: We might want to add optimization levels like -O1, -O2,

Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,2 @@`
`1`	`1`	`---`
`2`		`-refs/heads/master: 8637c09cf920725c0e813f2c9e69cdb12683030b`
	`2`	`+refs/heads/master: 2505a2312eeae17cbf261833af5c2cab40f698e2`
Original file line number	Diff line number	Diff line change
`@@ -115,6 +115,10 @@ mod write {`
`115`	`115`	`}`
`116`	`116`	`}`
`117`	`117`
	`118`	`+ if (opts.verify) {`
	`119`	`+ llvm::LLVMAddVerifierPass(pm.llpm);`
	`120`	`+ }`
	`121`	`+`
`118`	`122`	`// FIXME: This is mostly a copy of the bits of opt's -O2 that are`
`119`	`123`	`// available in the C api.`
`120`	`124`	`// FIXME2: We might want to add optimization levels like -O1, -O2,`