Changeset 3322


Ignore:
Timestamp:
Sep 12, 2014 6:29:34 AM (6 years ago)
Author:
bradbell
Message:

Add all three argument cases to assert_arg_before_result.

test_one.sh.in: change name of boost threading library (for Fedora 20).

Location:
trunk
Files:
4 edited

Legend:

Unmodified
Added
Removed
  • trunk/cppad/local/load_op.hpp

    r3301 r3322  
    277277        CPPAD_ASSERT_UNKNOWN( NumRes(LdvOp) == 1 );
    278278        CPPAD_ASSERT_UNKNOWN( 0 < arg[0] );
    279         CPPAD_ASSERT_UNKNOWN( size_t(arg[1]) < i_z );
    280279        CPPAD_ASSERT_UNKNOWN( arg[2] < play->num_load_op_rec() );
    281280
  • trunk/cppad/local/op_code.hpp

    r3321 r3322  
    871871                // ------------------------------------------------------------------
    872872
     873                // 3 arguments, none variables
     874                case LdpOp:
     875                case StppOp:
     876                break;
     877
     878                // 3 arguments, second variable, one result
     879                case LdvOp:
     880                CPPAD_ASSERT_UNKNOWN( size_t(arg[1]) < result );
     881                break;
     882               
     883                // 3 arguments, third variable, no result
     884                case StpvOp:
     885                CPPAD_ASSERT_UNKNOWN( size_t(arg[2]) <= result );
     886                break;
     887
     888                // 3 arguments, second variable, no result
     889                case StvpOp:
     890                CPPAD_ASSERT_UNKNOWN( size_t(arg[1]) <= result );
     891                break;
     892
     893                // 3 arguments, second and third variable, no result
     894                case StvvOp:
     895                CPPAD_ASSERT_UNKNOWN( size_t(arg[1]) <= result );
     896                CPPAD_ASSERT_UNKNOWN( size_t(arg[2]) <= result );
     897                break;
     898
     899
     900                // ------------------------------------------------------------------
    873901                // These cases are executed by and checked during sweep routines
    874902                case UsrapOp:
  • trunk/cppad/local/store_op.hpp

    r3301 r3322  
    106106\li 0 <  arg[0]
    107107\li if y is a parameter, arg[2] < num_par
    108 \li if x is a variable, arg[1] <= i_z
    109 \li if y is a variable, arg[2] <= i_z
    110108*/
    111109template <class Base>
     
    260258        CPPAD_ASSERT_UNKNOWN( NumRes(StpvOp) == 0 );
    261259        CPPAD_ASSERT_UNKNOWN( 0 < arg[0] );
    262         CPPAD_ASSERT_UNKNOWN( size_t(arg[2]) <= i_z );
    263260
    264261        isvar_by_ind[ arg[0] + i_vec ]  = true;
     
    281278        size_t*        index_by_ind   )
    282279{       
    283         CPPAD_ASSERT_UNKNOWN( size_t(arg[1]) <= i_z );
    284280        size_t i_vec = Integer( taylor[ arg[1] * cap_order + 0 ] );
    285281        CPPAD_ASSERT_KNOWN(
     
    312308        size_t*        index_by_ind   )
    313309{       
    314         CPPAD_ASSERT_UNKNOWN( size_t(arg[1]) <= i_z );
    315310        size_t i_vec = Integer( taylor[ arg[1] * cap_order + 0 ] );
    316311        CPPAD_ASSERT_KNOWN(
     
    322317        CPPAD_ASSERT_UNKNOWN( NumRes(StvpOp) == 0 );
    323318        CPPAD_ASSERT_UNKNOWN( 0 < arg[0] );
    324         CPPAD_ASSERT_UNKNOWN( size_t(arg[2]) <= i_z );
    325319
    326320        isvar_by_ind[ arg[0] + i_vec ]  = true;
  • trunk/example/test_one.sh.in

    r3116 r3322  
    5151        -g
    5252        -fopenmp
    53         -lboost_thread-mt
     53        -lboost_thread
    5454        -lpthread
    5555        -std=c++11 -DCPPAD_ADOLC_EXAMPLES -DCPPAD_EIGEN_EXAMPLES
Note: See TracChangeset for help on using the changeset viewer.