X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=driver%2Ffirm_cmdline.c;h=6d2dfb882077d2faf55041d305b53f979830f232;hb=8100b4a9336172bceb7d67992aed642b26a4508e;hp=a77ec876d3bbe7bc1e6fbb5539bcf69ab2cd3e54;hpb=340fb9d9bc75026f3f0235c1f50746288a81a45e;p=cparser

diff --git a/driver/firm_cmdline.c b/driver/firm_cmdline.c
index a77ec87..6d2dfb8 100644
--- a/driver/firm_cmdline.c
+++ b/driver/firm_cmdline.c
@@ -39,7 +39,7 @@ struct a_firm_opt firm_opt = {
   /* cc_opt          = */ TRUE,
   /* freestanding;   = */ FALSE,
   /* fp_model        = */ fp_model_precise,
-  /* vrfy            = */ FIRM_VERIFICATION_ON,
+  /* verify          = */ FIRM_VERIFICATION_ON,
   /* check_all       = */ FALSE,
   /* lower           = */ TRUE,
   /* os_support      = */ DEFAULT_OS,
@@ -49,7 +49,7 @@ struct a_firm_opt firm_opt = {
   /* clone_threshold = */ DEFAULT_CLONE_THRESHOLD,
   /* inline_maxsize  = */ 750,
   /* inline_threshold= */ 0,
-  /* vrfy_edges      = */ FALSE,
+  /* verify_edges    = */ FALSE,
   /* grs_simd_opt    = */ 0,
   /* grs_create_pattern = */ 0,
   /* spare_size      = */ 128,
@@ -138,13 +138,13 @@ static const struct params {
   { X("restrict"),               &firm_opt.honor_restrict,   1, "firm: honor restrict keyword" },
   { X("no-restrict"),            &firm_opt.honor_restrict,   1, "firm: restrict keyword is meaningless" },
   { X("no-lower"),               &firm_opt.lower,            0, "firm: disable lowering" },
-  { X("vrfy-off"),               &firm_opt.vrfy,             FIRM_VERIFICATION_OFF, "firm: disable node verification" },
-  { X("vrfy-on"),                &firm_opt.vrfy,             FIRM_VERIFICATION_ON, "firm: enable node verification" },
-  { X("vrfy-report"),            &firm_opt.vrfy,             FIRM_VERIFICATION_REPORT, "firm: node verification, report only" },
+  { X("verify-off"),             &firm_opt.verify,           FIRM_VERIFICATION_OFF, "firm: disable node verification" },
+  { X("verify-on"),              &firm_opt.verify,           FIRM_VERIFICATION_ON, "firm: enable node verification" },
+  { X("verify-report"),          &firm_opt.verify,           FIRM_VERIFICATION_REPORT, "firm: node verification, report only" },
   { X("check-all"),              &firm_opt.check_all,        1, "firm: enable checking all Firm phases" },
   { X("no-check-all"),           &firm_opt.check_all,        0, "firm: disable checking all Firm phases" },
-  { X("vrfy-edges-on"),          &firm_opt.vrfy_edges,       1, "firm: enable out edge verification" },
-  { X("vrfy-edges-off"),         &firm_opt.vrfy_edges,       0, "firm: disable out edge verification" },
+  { X("verify-edges-on"),        &firm_opt.verify_edges,     1, "firm: enable out edge verification" },
+  { X("verify-edges-off"),       &firm_opt.verify_edges,     0, "firm: disable out edge verification" },
 
   /* dumping */
 #if defined(_DEBUG) || defined(FIRM_DEBUG)