<commit_before>extern char *malloc(int);
extern int nondetpos();

// pmr: Shape inference is fine without array annots; ditch?
char *__attribute__((array)) strncpy (char *__attribute__((array)) dest, const char *__attribute__((array)) src, unsigned int n)
{
  char c;
  char *s = dest;

  unsigned int n4 = n / 4;	// JHALA
  unsigned int m4 = n % 4;	// JHALA

  //modular arith axiom: (n != (4 * n4) + m4), faked by assume
  if (n != (4 * n4) + m4) { STUCK: goto STUCK;}

  if (n4 >= 1) // n >= 4
    {
      //unsigned int n4 = n / 4;// n >> 2;

      for (;;)
	{
          validptr(src);
          validptr(dest);
	  c = *src++;
	  *dest++ = c;
	  
	  if (c == 0)
	    break;
          validptr(src);
          validptr(dest);
	  c = *src++;
	  *dest++ = c;
	  
	  if (c == 0)
	    break;
          validptr(src);<commit_msg>Bogus assertion in strcpy should fail but doesn't<commit_after>extern char *malloc(int);
extern int nondetpos();

// pmr: Shape inference is fine without array annots; ditch?
char *__attribute__((array)) strncpy (char *__attribute__((array)) dest, const char *__attribute__((array)) src, unsigned int n)
{
  char c;
  char *s = dest;

  unsigned int n4 = n / 4;	// JHALA
  unsigned int m4 = n % 4;	// JHALA

  //modular arith axiom: (n != (4 * n4) + m4), faked by assume
  if (n != (4 * n4) + m4) { STUCK: goto STUCK;}

  if (n4 >= 1) // n >= 4
    {
      //unsigned int n4 = n / 4;// n >> 2;

      for (;;)
	{
          validptr(src);
          validptr(dest);
	  c = *src++;
	  *dest++ = c;
	  
      // pmr: TOTALLY BOGUS
      assert (c == 0);
	  if (c == 0)
	    break;
          validptr(src);
          validptr(dest);
	  c = *src++;
	  *dest++ = c;
	  
	  if (c == 0)
	    break;
          validptr(src);
{'fraction_non_alphanumeric': 0.16829408385985067, 'fraction_numerical': 0.02125215393452039, 'mean_word_length': 2.1107142857142858, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 11, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '7415479', 'n_tokens_mistral': 720, 'n_tokens_neox': 651, 'n_words': 206}