gcc style error messages for goto-cc#463

Closed

kroening wants to merge 169 commits intomasterfrom

gcc-errors

Commits on Jan 22, 2017

Commits on Feb 8, 2017

fix for multi-ary fixed-bv multiplication
kroening
committed
Added CEGIS control benchmark 4

pkesseli
authored and
kroening
committed
Generalise dominators template (#422)

smowton
authored and
kroening
committed
Implement local variable live range merging

smowton
authored and
kroening
committed
Replace old variable table implementation

smowton
authored and
kroening
committed
Factor the jbcm type and LVT functions into individual files

smowton
authored and
kroening
committed
Use a total order when top-sorting variables

smowton
authored and
kroening
committed
Local variable table: tolerate impossible flows

smowton
authored and
kroening
committed
Fix hole-in-variable-live-range test

smowton
authored and
kroening
committed
Style fixes

smowton
authored and
kroening
committed
Add documentation

smowton
authored and
kroening
committed
Add tests for local variable live ranges with holes

smowton
authored and
kroening
committed
Cleanup of operands() accesses

tautschnig
authored and
kroening
committed
Consistently resize instead of just reserving in codet classes

tautschnig
authored and
kroening
committed
Fix package_friendly1 test

smowton
authored and
kroening
committed
Enable Java regression tests

smowton
authored and
kroening
committed
Fixed CEGIS control vector solution nondet

pkesseli
authored and
kroening
committed
Fixed nondet returns in benchmark

pkesseli
authored and
kroening
committed
Fixing simple linting errors in CVC

thk123
authored and
kroening
committed
Split convert_expr into a collection of smaller functions

thk123
authored and
kroening
committed
Replaced loop with simpler expression

thk123
authored and
kroening
committed
Replaced a for loop with a ranged based for loop

thk123
authored and
kroening
committed
Parse the exception table

smowton
authored and
kroening
committed
Make the method object, and thus the exception table, available to dominator analysis

smowton
authored and
kroening
committed
Add exception edges to the CFG for dominator computation

smowton
authored and
kroening
committed
Style fixes for local variable table

smowton
authored and
kroening
committed
Make JAR/zip support optional in regression tests

tautschnig
authored and
kroening
committed
fixup! Consistently resize instead of just reserving in codet classes

tautschnig
authored and
kroening
committed
Don't reference CPROVER_memory from Java code. Fixes #197.

smowton
authored and
kroening
committed
Make symex language mode symbol clearer

smowton
authored and
kroening
committed
Add comment that goto_program_dereference doesn't specify language mode

smowton
authored and
kroening
committed
Don't use potentially-invalid downcasts to read an object's clsid if possible

smowton
authored and
kroening
committed
Include child types when creating a virtual function dispatch tree

smowton
authored and
kroening
committed
Call least-derived virtual function for unknown clsid

smowton
authored and
kroening
committed
Add test for virtual dispatch against child type

smowton
authored and
kroening
committed
Style and documentation fixes

smowton
authored and
kroening
committed
fixup! wmm/musketeer: Use wmm_grapht::node_indext instead of unsigned

tautschnig
authored and
kroening
committed
cegis uses labels for marking instructions

tautschnig
authored and
kroening
committed
std::string::c_str() is non-const on Mac OS

tautschnig
authored and
kroening
committed
cegis: remove unused variables and namespace-local functions

tautschnig
authored and
kroening
committed
Make unused return value explicit in source

tautschnig
authored and
kroening
committed
cegis: uniform copyright headers, added missing ones

tautschnig
authored and
kroening
committed
cegis: fix include guards to match coding conventions

tautschnig
authored and
kroening
committed
clobber: update to current APIs

tautschnig
authored and
kroening
committed
memory-models: Use ID_c_enum as ID_enum no longer exists

tautschnig
authored and
kroening
committed
Merge improvements from aa-symex

tautschnig
authored and
kroening
committed
aa-symex: share files with symex, path-symex

tautschnig
authored and
kroening
committed
Support building aa-symex, clobber, memory-model

tautschnig
authored and
kroening
committed
Revert "also don't build memory-models.dir and clobber.dir"

tautschnig
authored and
kroening
committed
Revert "do not build aa-symex.dir"

tautschnig
authored and
kroening
committed
Fix address space limit test. Fixes #243

smowton
authored and
kroening
committed
Add address space size limit regression test

smowton
authored and
kroening
committed
restructure expr2java

mgudemann
authored and
kroening
committed
pre-load java.lang.Object / String in class queue

mgudemann
authored and
kroening
committed
correct array type for Java

mgudemann
authored and
kroening
committed
nondeterministic initialization

mgudemann
authored and
kroening
committed
exception table parser

mgudemann
authored and
kroening
committed
handle java.lang.String literals

mgudemann
authored and
kroening
committed
handle array length and runtime checks for Java

mgudemann
authored and
kroening
committed
Java assertion handling

mgudemann
authored and
kroening
committed
class conversion runtime checks / array handling

mgudemann
authored and
kroening
committed
java bytecode index in source location

mgudemann
authored and
kroening
committed
Correct parsing / generation of source filename

mgudemann
authored and
kroening
committed
Clean up Java pointer cast handling

Matthias Güdemann
authored and
kroening
committed
extract java bytecode convert method class

mgudemann
authored and
kroening
committed
Java entry point / main function

Matthias Güdemann
authored and
kroening
committed
Correct java type width handling

mgudemann
authored and
kroening
committed
pacify cpplint

mgudemann
authored and
kroening
committed
take comments into account

mgudemann
authored and
kroening
committed
fix linter warnings after rebase

mgudemann
authored and
kroening
committed
remove static method is_string_array

mgudemann
authored and
kroening
committed
take comments into account

mgudemann
authored and
kroening
committed
remove cast_if_necessary

mgudemann
authored and
kroening
committed
is_constructor and is_virtual as class methods

mgudemann
authored and
kroening
committed
make param const reference in clean_deref

mgudemann
authored and
kroening
committed
irep ID_java_super_method_call

mgudemann
authored and
kroening
committed
comments for java object factory

mgudemann
authored and
kroening
committed
documentation block gen_nondeet_array_init

mgudemann
authored and
kroening
committed
remove default values from object factory

mgudemann
authored and
kroening
committed
export as_number to java_utils.cpp

mgudemann
authored and
kroening
committed
take tautschnig's comments into account

mgudemann
authored and
kroening
committed
remove namespace from vtable

mgudemann
authored and
kroening
committed
remove const_cast

mgudemann
authored and
kroening
committed
add java_utils.cpp

mgudemann
authored and
kroening
committed
Peter's comments

mgudemann
authored and
kroening
committed
remove superfluous std::move from conversion

mgudemann
authored and
kroening
committed
adapt NullPointer[1-4] regression tests

mgudemann
authored and
kroening
committed
default ctor for java_convert_methodt::variablet

mgudemann
authored and
kroening
committed
take tautschnig's comments into account

mgudemann
authored and
kroening
committed
assert known Java object size

mgudemann
authored and
kroening
committed
remove unused skip_initialize

mgudemann
authored and
kroening
committed
remove TODOs from expr2java

mgudemann
authored and
kroening
committed
beautification

mgudemann
authored and
kroening
committed
change "* "->" *", too

mgudemann
authored and
kroening
committed
adapt NullPointer2 regression test

mgudemann
authored and
kroening
committed
adapt interface in CEGIS with default values

mgudemann
authored and
kroening
committed
whitespace in front of {

mgudemann
authored and
kroening
committed
get_language options to language API (#480)

mgudemann
authored and
kroening
committed
Added check for div by zero in CEGIS control rational back end.

pkesseli
authored and
kroening
committed
missing header for S_IRUSR
kroening
committed
Factor class identifier extraction out of remove virtuals

smowton
authored and
kroening
committed
Remove virtuals style improvements

smowton
authored and
kroening
committed
Discover lexical scopes for anonymous variables

smowton
authored and
kroening
committed
Add test for anonymous local scoping

smowton
authored and
kroening
committed
Replace gen_zero/gen_one by from_integer where possible

tautschnig
authored and
kroening
committed
Use null_pointer_exprt instead of gen_zero

tautschnig
authored and
kroening
committed
zero_initializer without message_handlert

tautschnig
authored and
kroening
committed
Use zero_initializer instead of gen_zero

tautschnig
authored and
kroening
committed
Added file copyright header as noted by linter

tautschnig
authored and
kroening
committed
cbmc-java: Print details of errors in regression tests

tautschnig
authored and
kroening
committed
Make from_integer fail an assertion for unsupported types

tautschnig
authored and
kroening
committed
Makefile tweaks to enable re-use of Makefiles in vpath builds

tautschnig
authored and
kroening
committed
Script to prepare out-of-tree (aka vpath) builds

tautschnig
authored and
kroening
committed
Use vpath builds for coverage measurement

tautschnig
authored and
kroening
committed
ignore recursion set if class is subtype

mgudemann
authored and
kroening
committed
loop unwinding in static init of Java enum

mgudemann
authored and
kroening
committed
Keep SSA L1 IDs as an attribute

smowton
authored and
kroening
committed
Replaced all instances of show-goto-functions a define

thk123
authored and
kroening
committed
Renamed the GOTO_CHECK defintions according to the new naming convention

thk123
authored and
kroening
committed
Do not add named vars to used_local_names

smowton
authored and
kroening
committed
CPPlint on travis change: it will run, but not produce errors. (#473)

forejtv
authored and
kroening
committed
Mark internal functions static

tautschnig
authored and
kroening
committed
remove_complex: modify expressions only when necessary

tautschnig
authored and
kroening
committed
remove_vector: modify expressions only when necessary

tautschnig
authored and
kroening
committed
Apply adjust_float_expressions, rewrite_union just once per expression

tautschnig
authored and
kroening
committed
rewrite_union, adjust_float_expressions: modify expressions only when necessary

tautschnig
authored and
kroening
committed
Add remove_instanceof pass

smowton
authored and
kroening
committed
Use container-based Travis builds (#488)

tautschnig
authored and
kroening
committed
Make the pre-commit hook report non-temporary path names (#477)

tautschnig
authored and
kroening
committed
Keep track of types for structs and unions

thk123
authored and
kroening
committed
Correcting test and adding to the suite

thk123
authored and
kroening
committed
Added tests for different cases

thk123
authored and
kroening
committed
Removed zip package

pkesseli
authored and
kroening
committed
specify initial values for Boolean in struct optiont

mgudemann
authored and
kroening
committed
Additions to the gitignore

thk123
authored and
kroening
committed
initialize Boolean values in c_typecheck_baset

Matthias Güdemann
authored and
kroening
committed
add explicit undef value to format string enums

mgudemann
authored and
kroening
committed
Use remove_instanceof in driver programs

smowton
authored and
kroening
committed
Add instanceof test cases

smowton
authored and
kroening
committed
goto-instrument: remove virt calls and RTTI

smowton
authored and
kroening
committed
read ACC_ABSTRACT attribute in Java class files

Matthias Güdemann
authored and
kroening
committed
Check static array bounds of dynamic objects

smowton
authored and
kroening
committed
mode!=ID_java is trivially true in this branch

tautschnig
authored and
kroening
committed
Limit dereferencing checks to actual access size

tautschnig
authored and
kroening
committed
Making check methods of refinement virtual

romainbrenguier
authored and
kroening
committed
Adding identifiers for string expressions and functions

romainbrenguier
authored and
kroening
committed
Added a to_unsigned_integer function to arith_tools

romainbrenguier
authored and
kroening
committed
Class for string types used in the string solver

romainbrenguier
authored and
kroening
committed
Class for string expressions to be used by the string solver

romainbrenguier
authored and
kroening
committed
Class for string constraints.

romainbrenguier
authored and
kroening
committed
Class for generating string constraints from string functions

romainbrenguier
authored and
kroening
committed
String refinement class

romainbrenguier
authored and
kroening
committed
Remove virtual functions: shorten dispatch table

smowton
authored and
kroening
committed
If the only dispatch option is abstract, erase the call

smowton
authored and
kroening
committed
Make test more tolerant of formatting differences

smowton
authored and
kroening
committed
Add test for vtable abbreviation

smowton
authored and
kroening
committed
Add source locations to virt calls

smowton
authored and
kroening
committed
Make string literal tables global

smowton
authored and
kroening
committed
Correct return value test of to_integer (#508)

allredj
authored and
kroening
committed
Fixed use of inline

NathanJPhillips
authored and
kroening
committed
Added regression tests for full-slice option

lucasccordeiro
authored and
kroening
committed
moved full-slice test cases from cbmc to goto-instrument

lucasccordeiro
authored and
kroening
committed
Fix adjustment of goto targets in the loop unwinder

danpoe
authored and
kroening
committed
gcc style error messages for goto-cc
kroening
committed
merge
kroening
committed
Merge branch 'master' into gcc-errors
kroening
committed

gcc style error messages for goto-cc#463kroening wants to merge 169 commits intomasterdiffblue/cbmc:masterfrom gcc-errorsdiffblue/cbmc:gcc-errorsCopy head branch name to clipboard

Commits

Commits on Jan 22, 2017

Commits on Feb 8, 2017

gcc style error messages for goto-cc#463
kroening wants to merge 169 commits intomasterfrom
gcc-errors