Rewrite assert statements.

bools.go

@@ -194,6 +194,16 @@ const (
 
 type BoolOp string
 
+func (op BoolOp) Negate() BoolOp {
+	switch op {
+	case BinOpAnd:
+		return BinOpOr
+	case BinOpOr:
+		return BinOpAnd
+	}
+	panic(op)
+}
+
 func (op BoolOp) GoToken() token.Token {
 	var tok token.Token
 	switch op {
@@ -253,7 +263,11 @@ func (e *BinaryBoolExpr) HasSideEffects() bool {
 }
 
 func (e *BinaryBoolExpr) Negate() BoolExpr {
-	return &Not{X: e}
+	return &BinaryBoolExpr{
+		X:  e.X.Negate(),
+		Op: e.Op.Negate(),
+		Y:  e.Y.Negate(),
+	}
 }
 
 func (e *BinaryBoolExpr) Uses() []types.Usage {

libs_test.go

@@ -38,8 +38,12 @@ void foo(int a) {
 `,
 		exp: `
 func foo(a int32) {
-	libc.Assert(a != 0)
-	libc.Assert(a != 5)
+	if a == 0 {
+		panic("assert failed")
+	}
+	if a == 5 {
+		panic("assert failed")
+	}
 	panic(0)
 	panic("fail")
 }

literals.go

@@ -355,6 +355,10 @@ func (l FloatLit) Uses() []types.Usage {
 	return nil
 }
 
+func (g *translator) stringLit(s string) StringLit {
+	return StringLit{typ: g.env.Go().String(), val: s}
+}
+
 func (g *translator) parseCStringLit(s string) (StringLit, error) {
 	return StringLit{typ: g.env.Go().String(), val: s}, nil
 }

postproc.go

@@ -217,6 +217,12 @@ func (g *translator) rewriteStmt(st CStmt) (CStmt, bool) {
 					if len(c.Args) == 1 && canAssignTo(c.Args[0]) {
 						return g.NewCAssignStmtP(c.Args[0], "", g.Nil()), true
 					}
+				case g.env.C().AssertFunc():
+					if len(c.Args) == 1 {
+						return g.NewCIfStmt(g.cNot(c.Args[0]), NewCExprStmt(
+							&CallExpr{Fun: FuncIdent{g.env.Go().PanicFunc()}, Args: []Expr{g.stringLit("assert failed")}},
+						), nil), true
+					}
 				}
 			}
 		}