"Fossies" - the Fresh Open Source Software Archive  

Source code changes of the file "projects/CodeThorn/src/CodeThornCommandLineOptions.C" between
rose-0.11.53.0.tar.gz and rose-0.11.54.0.tar.gz

About: ROSE is a compiler infrastructure to build source-to-source program transformation and analysis tools for large-scale C, C++, UPC, Fortran, OpenMP, Java, Python and PHP applications.

CodeThornCommandLineOptions.C  (rose-0.11.53.0):CodeThornCommandLineOptions.C  (rose-0.11.54.0)
skipping to change at line 190 skipping to change at line 190
("normalize-extended", po::value<bool >(&ctOpt.extendedNormalizedCppFunction Calls)->default_value(false)->implicit_value(true),"Normalize CPP function calls .") ("normalize-extended", po::value<bool >(&ctOpt.extendedNormalizedCppFunction Calls)->default_value(false)->implicit_value(true),"Normalize CPP function calls .")
("normalize-phase-info", po::value<bool > (&ctOpt.normalizePhaseInfo)->defau lt_value(false)->implicit_value(true),"Print phase progression info on stdout du ring normalization.") ("normalize-phase-info", po::value<bool > (&ctOpt.normalizePhaseInfo)->defau lt_value(false)->implicit_value(true),"Print phase progression info on stdout du ring normalization.")
("strict-checking", po::value<bool >(&ctOpt.strictChecking)->default_value(f alse)->implicit_value(true),"Perform strict checking in semantics (mostly useful for testing), otherwise compute conservative value.") ("strict-checking", po::value<bool >(&ctOpt.strictChecking)->default_value(f alse)->implicit_value(true),"Perform strict checking in semantics (mostly useful for testing), otherwise compute conservative value.")
("inline", po::value< bool >(&ctOpt.inlineFunctions)->default_value(false)-> implicit_value(false),"inline functions before analysis .") ("inline", po::value< bool >(&ctOpt.inlineFunctions)->default_value(false)-> implicit_value(false),"inline functions before analysis .")
("inlinedepth",po::value< int >(&ctOpt.inlineFunctionsDepth)->default_value( 10),"Default value is 10. A higher value inlines more levels of function calls." ) ("inlinedepth",po::value< int >(&ctOpt.inlineFunctionsDepth)->default_value( 10),"Default value is 10. A higher value inlines more levels of function calls." )
("annotate-terms", po::value< bool >(&ctOpt.annotateTerms)->default_value(fa lse)->implicit_value(true),"Annotate term representation of expressions in unpar sed program.") ("annotate-terms", po::value< bool >(&ctOpt.annotateTerms)->default_value(fa lse)->implicit_value(true),"Annotate term representation of expressions in unpar sed program.")
("eliminate-stg-back-edges", po::value< bool >(&ctOpt.eliminateSTGBackEdges) ->default_value(false)->implicit_value(true), "Eliminate STG back-edges (STG bec omes a tree).") ("eliminate-stg-back-edges", po::value< bool >(&ctOpt.eliminateSTGBackEdges) ->default_value(false)->implicit_value(true), "Eliminate STG back-edges (STG bec omes a tree).")
("generate-assertions", po::value< bool >(&ctOpt.generateAssertions)->defaul t_value(false)->implicit_value(true),"Generate assertions (pre-conditions) in pr ogram and output program (using ROSE unparser).") ("generate-assertions", po::value< bool >(&ctOpt.generateAssertions)->defaul t_value(false)->implicit_value(true),"Generate assertions (pre-conditions) in pr ogram and output program (using ROSE unparser).")
("precision-exact-constraints", po::value< bool >(&ctOpt.precisionExactConst raints)->default_value(false)->implicit_value(true),"Use precise constraint extr action.") ("precision-exact-constraints", po::value< bool >(&ctOpt.precisionExactConst raints)->default_value(false)->implicit_value(true),"Use precise constraint extr action.")
("stg-trace-file", po::value< string >(&ctOpt.stgTraceFileName), "Generate S TG computation trace and write to file <arg>.") ("stg-trace-file", po::value< string >(&ctOpt.stgTraceFileName), "Generate S TG computation trace and write to file <arg>.")
("rw-trace",po::value< bool >(&ctOpt.readWriteTrace)->default_value(false)-> implicit_value(true),"Print read-write trace.")
("arrays-not-in-state", po::value< bool >(&ctOpt.arraysNotInState)->default_ value(false)->implicit_value(true),"Arrays are not represented in state. Only co rrect if all arrays are read-only (manual optimization - to be eliminated).") ("arrays-not-in-state", po::value< bool >(&ctOpt.arraysNotInState)->default_ value(false)->implicit_value(true),"Arrays are not represented in state. Only co rrect if all arrays are read-only (manual optimization - to be eliminated).")
// ("z3", po::value< bool >(&ctOpt.z3BasedReachabilityAnalysis)->default_val ue(false)->implicit_value(true), "RERS specific reachability analysis using z3." ) // ("z3", po::value< bool >(&ctOpt.z3BasedReachabilityAnalysis)->default_val ue(false)->implicit_value(true), "RERS specific reachability analysis using z3." )
// ("rers-upper-input-bound", po::value< int >(&ctOpt.z3UpperInputBound)->de fault_value(-1), "RERS specific parameter for z3.") // ("rers-upper-input-bound", po::value< int >(&ctOpt.z3UpperInputBound)->de fault_value(-1), "RERS specific parameter for z3.")
("rers-verifier-error-number",po::value< int >(&ctOpt.z3VerifierErrorNumber) ->default_value(-1), "RERS specific parameter for z3.") ("rers-verifier-error-number",po::value< int >(&ctOpt.z3VerifierErrorNumber) ->default_value(-1), "RERS specific parameter for z3.")
("ssa", po::value< bool >(&ctOpt.ssa)->default_value(false)->implicit_value (true), "Generate SSA form (only works for programs without function calls, loop s, jumps, pointers and returns).") ("ssa", po::value< bool >(&ctOpt.ssa)->default_value(false)->implicit_value (true), "Generate SSA form (only works for programs without function calls, loop s, jumps, pointers and returns).")
("null-pointer",po::value< bool >(&ctOpt.nullPointerAnalysis)->default_value (false)->implicit_value(true),"Perform null pointer analysis and print results." ) ("null-pointer",po::value< bool >(&ctOpt.nullPointerAnalysis)->default_value (false)->implicit_value(true),"Perform null pointer analysis and print results." )
("out-of-bounds",po::value< bool >(&ctOpt.outOfBoundsAnalysis)->default_valu e(false)->implicit_value(true),"Perform out-of-bounds analysis and print results .") ("out-of-bounds",po::value< bool >(&ctOpt.outOfBoundsAnalysis)->default_valu e(false)->implicit_value(true),"Perform out-of-bounds analysis and print results .")
("uninitialized",po::value< bool >(&ctOpt.uninitializedMemoryAnalysis)->defa ult_value(false)->implicit_value(true),"Perform uninitialized analysis and print results.") ("uninitialized",po::value< bool >(&ctOpt.uninitializedMemoryAnalysis)->defa ult_value(false)->implicit_value(true),"Perform uninitialized analysis and print results.")
("dead-code",po::value< bool >(&ctOpt.deadCodeAnalysis)->default_value(false )->implicit_value(true),"Perform uninitialized analysis and print results.") ("dead-code",po::value< bool >(&ctOpt.deadCodeAnalysis)->default_value(false )->implicit_value(true),"Perform uninitialized analysis and print results.")
 End of changes. 1 change blocks. 
0 lines changed or deleted 1 lines changed or added

Home  |  About  |  Features  |  All  |  Newest  |  Dox  |  Diffs  |  RSS Feeds  |  Screenshots  |  Comments  |  Imprint  |  Privacy  |  HTTP(S)