<commit_before>// RUN: %clam -O0 --devirt-functions=types --crab-inter --crab-check=assert --crab-sanity-checks --lower-unsigned-icmp "%s" 2>&1 | OutputCheck %s
// CHECK: ^1  Number of total safe checks$
// CHECK: ^0  Number of total error checks$
// CHECK: ^1  Number of total warning checks$

extern void __CRAB_assert(int);

int a (void);
int b (void);
int c (void);
int d (void);<commit_msg>test: better results without bounce functions<commit_after>// RUN: %clam -O0 --devirt-functions=types --crab-inter --crab-check=assert --crab-sanity-checks --lower-unsigned-icmp "%s" 2>&1 | OutputCheck %s
// CHECK: ^2  Number of total safe checks$
// CHECK: ^0  Number of total error checks$
// CHECK: ^0  Number of total warning checks$

// If devirt-functions=types uses bounce functions then we cannot
// prove the two checks.

extern void __CRAB_assert(int);

int a (void);
int b (void);
int c (void);
int d (void);
{'fraction_non_alphanumeric': 0.1487964989059081, 'fraction_numerical': 0.01312910284463895, 'mean_word_length': 3.7409326424870466, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 5, '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': '5414037', 'n_tokens_mistral': 314, 'n_tokens_neox': 305, 'n_words': 115}