/*
 * DD 2016-10-11
 * ClassCastException: de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.result.SkipResult cannot be cast to de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.result.ExpressionResult
 *
 */
__inline static void seqcount_lockdep_reader_access(  ) 
{ 
  void *tmp ;
  tmp = __builtin_return_address(0);
}