no simultaneous enable and disable on a same goto instruction is now an invariant.

Author: Remi Delmas

src/analyses/goto_check.cpp

@@ -1968,10 +1968,10 @@ void goto_checkt::goto_check(
       else if(d.first == "enable:pointer-primitive-check")
         seen = flag_resetter.set_flag(enable_pointer_primitive_check, true);
 
-      if(seen)
-        log.warning() << "Found enable and disable pragmas for "
-                      << d.first << " at " << i.source_location().pretty()
-                      << messaget::eom;
+      INVARIANT(
+        !seen,
+        "Found enable and disable pragmas for " + id2string(d.first) +
+          " at \n" + i.source_location().pretty());
     }
 
     new_code.clear();